6 commits

Author	SHA1	Message	Date
evancz	721ce4f192	Continue reorganizing the code-base. ... Remove uses of uniplate, introduces a regression in testing the ordering of Defs in let-expressions.	2013-06-13 22:45:08 -07:00
evancz	339ad77c46	Begin getting the parser to match the new SourceSyntax modules.	2013-06-13 18:35:37 -07:00
evancz	6fc30322ce	Print out a bunch of extra information about type checking.	2013-06-09 11:15:03 -07:00
evancz	ce6467266f	Clean up imports in many files.	2013-05-28 06:47:36 -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/Unify.hs (Browse further)