log src/elab_ops.sml

age author description
2012-05-02 Adam Chlipala In simplifying constructors for error messages, unfold constructor synonyms from modules
2012-04-21 Adam Chlipala Add another rule to simplify record concatenations for pretty-printing
2012-04-16 Adam Chlipala Do a lot more type simplification for error messages
2011-12-18 Adam Chlipala Add a new scoping check for unification variables, to fix a type inference bug
2011-11-05 Adam Chlipala Tweaks to choices of source positions to use in error messages, including for subSgn
2010-10-10 Adam Chlipala Hopeful fix for the Great Unification Bug
2009-11-17 Adam Chlipala Hooks for measuring how much interesting proving is going on in elaboration
2009-10-06 Adam Chlipala Fix a de Bruijn index bug in map fusion
2009-08-09 Adam Chlipala Library improvements; proper list [un]urlification; remove server-side ServerCalls; eta reduction in type inference
2009-02-24 Adam Chlipala Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
2009-02-22 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2009-02-21 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
2008-11-27 Adam Chlipala Optimized ElabOps.subConInCon
2008-11-12 Adam Chlipala Map distributivity rule in hnormCon
2008-10-04 Adam Chlipala Merge CDisjoint and TDisjoint
2008-09-14 Adam Chlipala Crud supports INSERT
2008-09-13 Adam Chlipala foldTR2
2008-09-11 Adam Chlipala Fixed a mind-numbing De Bruijn bug
2008-09-11 Adam Chlipala Crud list works
2008-08-16 Adam Chlipala Stub WHERE support
2008-08-14 Adam Chlipala Non-star SELECT
2008-07-01 Adam Chlipala Factor some operations into ElabOps