log src/elaborate.sml

age author description
2011-01-20 Adam Chlipala Some fixes for tasks and onError handlers
2011-01-15 Adam Chlipala Fix type-checking of views to match change to sql_query type
2011-01-07 Adam Chlipala Handle opening of modules that define signatures
2010-12-23 Adam Chlipala Recursive record unification errors, for more detail
2010-12-20 Adam Chlipala Implement constrained type kinding properly; bump mono inline threshhold
2010-12-18 Adam Chlipala Change tasks to support parametric code; add clientLeaves
2010-12-18 Adam Chlipala postBody type
2010-12-16 Adam Chlipala Restore behavior of not complaining about undetermined unification variables when there are other errors
2010-12-16 Adam Chlipala Fiddly tweaks
2010-12-15 Adam Chlipala Smarter record unification
2010-12-02 Adam Chlipala Instantiate any Unit unification variables that remain after elaboration
2010-11-13 Adam Chlipala More hnormKind for isUnitCon
2010-10-19 Adam Chlipala Smarter handling of unification variables for 'kindof' on projections
2010-10-11 Adam Chlipala :::_ notation; switch to TooDeep error message
2010-10-10 Adam Chlipala Fix infinite looping bug in Great Unification Fix
2010-10-10 Adam Chlipala Tweaking unification fix to apply to demo/more
2010-10-10 Adam Chlipala Hopeful fix for the Great Unification Bug
2010-10-10 Adam Chlipala Flex kinds for type-level tuples; ::_ notation
2010-09-16 Adam Chlipala Fix typing of cut operators; fix lexing of XML comments
2010-09-07 Adam Chlipala Server-side 'onError'
2010-06-13 Adam Chlipala More generous wildification, covering map-records
2010-06-03 Adam Chlipala Undo fancy wildification; instead, client code should include extra wildcard con declarations
2010-06-01 Adam Chlipala Try harder to place wildified 'con' declarations properly
2010-06-01 Adam Chlipala Improve consNeq to detect unequal projected cons
2010-05-27 Adam Chlipala Fix bug in module path generation with module roots; push wildification through substructures
2010-04-11 Adam Chlipala Tweaks to table signatures and MonoOpt summarizing
2010-04-04 Adam Chlipala Pushing policies through
2010-03-25 Adam Chlipala Subquery expressions
2010-03-09 Adam Chlipala Spiffed-up Split1; remove spurious error message triggered by 'open'ing a module containing a functor
2009-12-26 Adam Chlipala Make summary unification more conservative; infer implicit arguments after applications
2009-12-15 Adam Chlipala Convert to task syntax
2009-12-13 Adam Chlipala Fixing a bug in DInitializer elaboration
2009-12-13 Adam Chlipala Initializers and setval
2009-12-13 Adam Chlipala Better record summary error messages; more tweaking SQL usability
2009-11-25 Adam Chlipala Hint about disallowed attributes
2009-11-02 Adam Chlipala Start of Decision
2009-10-31 Adam Chlipala Start of bidding implementation compiles
2009-10-15 Adam Chlipala Better subSgn error locations
2009-10-05 Adam Chlipala Better location calculation for record unification error messages; infer kind arguments to module-projected variables
2009-08-25 Adam Chlipala Fix structure wildification to take concrete con decls into account
2009-08-06 Adam Chlipala Fix type class resolution infinite loop, discovered while meeting with Ezra
2009-07-19 Adam Chlipala Working on Grid; have gone from one dynamic table bizareness to another
2009-06-16 Adam Chlipala Fix a bug in type class enrichment from substructures
2009-06-13 Adam Chlipala Fix MonoReduce unsoundness with lets and fns
2009-06-07 Adam Chlipala Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
2009-06-06 Adam Chlipala List library additions; fix another substructure unification bug
2009-06-02 Adam Chlipala Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
2009-06-02 Adam Chlipala Tweak -- precedence; use right env for final exhaustiveness errors
2009-06-02 Adam Chlipala Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module
2009-05-31 Adam Chlipala Expose resolveClass from Elaborate
2009-05-30 Adam Chlipala Defer pattern-matching exhaustiveness checks and normalize pattern types more thoroughly
2009-05-28 Adam Chlipala Destructing local let, to the point where demo compiles
2009-05-28 Adam Chlipala fn-pattern code in but not tested yet; hello compiles
2009-05-26 Adam Chlipala Chars and more string operations
2009-05-23 Adam Chlipala Switch to Maranget's pattern exhaustiveness algorithm
2009-05-16 Adam Chlipala Mutual datatypes through Elaborate
2009-05-14 Adam Chlipala cselect.onchange
2009-05-12 Adam Chlipala Improvements while working on Graftid
2009-05-03 Adam Chlipala outer demo
2009-04-28 Adam Chlipala A view query works