log src/elab_util.sig

age author description
2011-12-18 Adam Chlipala Add a new scoping check for unification variables, to fix a type inference bug
2011-10-29 Adam Chlipala Shorter, more focused error messages about undetermined unification variables
2010-12-16 Adam Chlipala Fiddly tweaks
2010-10-10 Adam Chlipala Hopeful fix for the Great Unification Bug
2009-06-06 Adam Chlipala List library additions; fix another substructure unification bug
2009-05-12 Adam Chlipala Improvements while working on Graftid
2009-04-09 Adam Chlipala Made type class system very general; demo compiles
2009-02-22 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2008-11-01 Adam Chlipala First Unnest tests working
2008-09-13 Adam Chlipala foldTR2
2008-08-16 Adam Chlipala Initial type class support
2008-08-09 Adam Chlipala 'Option' datatype encoding
2008-08-03 Adam Chlipala Datatype representation optimization
2008-06-29 Adam Chlipala Broaden unification context
2008-06-22 Adam Chlipala Subsignatures
2008-06-17 Adam Chlipala Elaborating module projection
2008-06-08 Adam Chlipala Lifting cons in ElabEnv
2008-03-28 Adam Chlipala Simple elaboration working
2008-03-28 Adam Chlipala Start of elaborating expressions
2008-01-26 Adam Chlipala Check for leftover kind unifs
2008-01-26 Adam Chlipala Elaborating cons and decls
2008-01-26 Adam Chlipala Start of elaboration