4 Commits

Author	SHA1	Message	Date
James Shubin	d51029e86c	lang: Rename old fail3 variable to failUnify ... Cleanups...	2021-05-08 04:17:21 -04:00
James Shubin	2f7e202f40	lang, lang: types: Add automatic stringer generation ... It's more useful if we know the string representation of Kind's.	2019-05-05 09:32:03 -04:00
James Shubin	170e56b34a	lang: Improve test case with more specific errors	2019-03-09 17:37:58 -05:00
James Shubin	43f0ddd25d	lang: unification: Catch unification error on typed if expr ... I found a case where we had two missing unification rules. Now fixed in the previous commits, and including this test to show I'm responsible. I've added the same test in two locations for redundancy and as an example.	2019-01-20 04:19:39 -05:00