4 commits

Author	SHA1	Message	Date
evancz	7d03f69f8c	Provide a way to define super-types in type annotations. Should not be used outside of core libraries.	2013-04-09 19:50:56 -07:00
evancz	c2fc03ca0f	Dealias more reliably during unification	2013-04-09 10:05:00 -07:00
evancz	87fa86c7e8	Get type dealiasing working.	2013-04-05 09:55:30 -07:00
evancz	1822ebc160	Move the compiler down a directory, mostly.	2013-03-16 12:04:05 -07:00

Renamed from compiler/src/Types/Solver.hs (Browse further)