4 Commits

Author	SHA1	Message	Date
Danila Fedorin	c7b2a4959f	Add prototype impl of case specialization. ... Boolean cases could be translated to ifs, and integer cases to jumps. That's still in progress.	2020-09-09 22:49:35 -07:00
Danila Fedorin	1f7a53ccf6	Add sources for unification type errors.	2020-09-09 15:26:18 -07:00
Danila Fedorin	34357163cd	Print locations in non-unification type errors.	2020-09-09 15:15:25 -07:00
Danila Fedorin	e7367ef86e	Fork off version 13 of the compiler.	2020-09-08 18:38:05 -07:00