log src/elaborate.sml

age author description
Sat, 15 Oct 2011 10:31:30 -0400 Adam Chlipala Change error message display order: only show disjointness/type class failures if all record unifications succeeded
Sat, 08 Oct 2011 14:16:13 -0400 Adam Chlipala Fix wildification for signatures with synonyms
Sat, 03 Sep 2011 08:57:13 -0400 Adam Chlipala Better detection of type class witnesses in local bindings
Sun, 07 Aug 2011 16:53:06 -0400 Adam Chlipala '-dumpTypes'
Sat, 06 Aug 2011 13:07:50 -0400 Adam Chlipala Better wildification, avoiding some unintentional variable capture
Thu, 04 Aug 2011 16:44:05 -0400 Adam Chlipala Fix opening of shadowing, principal-signatured modules that open other modules
Tue, 14 Jun 2011 08:54:45 -0400 Adam Chlipala Implicit argument insertion for local variables
Thu, 20 Jan 2011 15:11:45 -0500 Adam Chlipala Some fixes for tasks and onError handlers
Sat, 15 Jan 2011 15:06:33 -0500 Adam Chlipala Fix type-checking of views to match change to sql_query type
Thu, 06 Jan 2011 19:26:31 -0500 Adam Chlipala Handle opening of modules that define signatures
Thu, 23 Dec 2010 11:23:31 -0500 Adam Chlipala Recursive record unification errors, for more detail
Mon, 20 Dec 2010 09:34:10 -0500 Adam Chlipala Implement constrained type kinding properly; bump mono inline threshhold
Sat, 18 Dec 2010 14:17:45 -0500 Adam Chlipala Change tasks to support parametric code; add clientLeaves
Sat, 18 Dec 2010 10:56:31 -0500 Adam Chlipala postBody type
Thu, 16 Dec 2010 18:40:49 -0500 Adam Chlipala Restore behavior of not complaining about undetermined unification variables when there are other errors
Thu, 16 Dec 2010 13:35:40 -0500 Adam Chlipala Fiddly tweaks
Wed, 15 Dec 2010 09:37:36 -0500 Adam Chlipala Smarter record unification
Thu, 02 Dec 2010 14:11:18 -0500 Adam Chlipala Instantiate any Unit unification variables that remain after elaboration
Sat, 13 Nov 2010 14:38:06 -0500 Adam Chlipala More hnormKind for isUnitCon
Tue, 19 Oct 2010 10:13:24 -0400 Adam Chlipala Smarter handling of unification variables for 'kindof' on projections
Sun, 10 Oct 2010 20:33:10 -0400 Adam Chlipala :::_ notation; switch to TooDeep error message
Sun, 10 Oct 2010 15:54:51 -0400 Adam Chlipala Fix infinite looping bug in Great Unification Fix
Sun, 10 Oct 2010 15:37:14 -0400 Adam Chlipala Tweaking unification fix to apply to demo/more
Sun, 10 Oct 2010 14:41:03 -0400 Adam Chlipala Hopeful fix for the Great Unification Bug
Sun, 10 Oct 2010 13:07:38 -0400 Adam Chlipala Flex kinds for type-level tuples; ::_ notation
Thu, 16 Sep 2010 15:34:50 -0400 Adam Chlipala Fix typing of cut operators; fix lexing of XML comments
Tue, 07 Sep 2010 08:28:07 -0400 Adam Chlipala Server-side 'onError'
Sun, 13 Jun 2010 10:55:20 -0400 Adam Chlipala More generous wildification, covering map-records
Thu, 03 Jun 2010 14:44:08 -0400 Adam Chlipala Undo fancy wildification; instead, client code should include extra wildcard con declarations
Tue, 01 Jun 2010 12:50:53 -0400 Adam Chlipala Try harder to place wildified 'con' declarations properly
Tue, 01 Jun 2010 10:44:57 -0400 Adam Chlipala Improve consNeq to detect unequal projected cons
Thu, 27 May 2010 10:56:52 -0400 Adam Chlipala Fix bug in module path generation with module roots; push wildification through substructures
Sun, 11 Apr 2010 14:11:17 -0400 Adam Chlipala Tweaks to table signatures and MonoOpt summarizing
Sun, 04 Apr 2010 12:29:34 -0400 Adam Chlipala Pushing policies through
Thu, 25 Mar 2010 15:44:24 -0400 Adam Chlipala Subquery expressions
Tue, 09 Mar 2010 17:50:42 -0500 Adam Chlipala Spiffed-up Split1; remove spurious error message triggered by 'open'ing a module containing a functor
Sat, 26 Dec 2009 11:56:40 -0500 Adam Chlipala Make summary unification more conservative; infer implicit arguments after applications
Tue, 15 Dec 2009 10:19:05 -0500 Adam Chlipala Convert to task syntax
Sun, 13 Dec 2009 14:34:18 -0500 Adam Chlipala Fixing a bug in DInitializer elaboration
Sun, 13 Dec 2009 14:20:41 -0500 Adam Chlipala Initializers and setval
Sun, 13 Dec 2009 11:28:47 -0500 Adam Chlipala Better record summary error messages; more tweaking SQL usability
Wed, 25 Nov 2009 09:48:23 -0500 Adam Chlipala Hint about disallowed attributes
Mon, 02 Nov 2009 15:48:06 -0500 Adam Chlipala Start of Decision
Sat, 31 Oct 2009 15:51:50 -0400 Adam Chlipala Start of bidding implementation compiles
Thu, 15 Oct 2009 14:27:38 -0400 Adam Chlipala Better subSgn error locations
Mon, 05 Oct 2009 16:36:38 -0400 Adam Chlipala Better location calculation for record unification error messages; infer kind arguments to module-projected variables
Tue, 25 Aug 2009 17:12:21 -0400 Adam Chlipala Fix structure wildification to take concrete con decls into account
Thu, 06 Aug 2009 15:23:04 -0400 Adam Chlipala Fix type class resolution infinite loop, discovered while meeting with Ezra
Sun, 19 Jul 2009 17:45:02 -0400 Adam Chlipala Working on Grid; have gone from one dynamic table bizareness to another
Tue, 16 Jun 2009 14:38:01 -0400 Adam Chlipala Fix a bug in type class enrichment from substructures
Sat, 13 Jun 2009 15:42:24 -0400 Adam Chlipala Fix MonoReduce unsoundness with lets and fns
Sun, 07 Jun 2009 16:45:00 -0400 Adam Chlipala Fix datatype import bug in Elaborate; fix server-side source setting; more standard library stuff
Sat, 06 Jun 2009 14:09:30 -0400 Adam Chlipala List library additions; fix another substructure unification bug
Tue, 02 Jun 2009 19:28:25 -0400 Adam Chlipala Lexing some more string escape sequences; JS versions of number read; fix problem with signature unification; escape < more often in Jscomp
Tue, 02 Jun 2009 15:43:18 -0400 Adam Chlipala Tweak -- precedence; use right env for final exhaustiveness errors
Tue, 02 Jun 2009 11:50:53 -0400 Adam Chlipala Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Monad library module
Sun, 31 May 2009 15:25:27 -0400 Adam Chlipala Expose resolveClass from Elaborate
Sat, 30 May 2009 14:44:29 -0400 Adam Chlipala Defer pattern-matching exhaustiveness checks and normalize pattern types more thoroughly
Thu, 28 May 2009 12:07:05 -0400 Adam Chlipala Destructing local let, to the point where demo compiles
Thu, 28 May 2009 10:16:50 -0400 Adam Chlipala fn-pattern code in but not tested yet; hello compiles
Tue, 26 May 2009 12:25:06 -0400 Adam Chlipala Chars and more string operations
Sat, 23 May 2009 09:45:02 -0400 Adam Chlipala Switch to Maranget's pattern exhaustiveness algorithm
Sat, 16 May 2009 15:14:17 -0400 Adam Chlipala Mutual datatypes through Elaborate
Thu, 14 May 2009 11:04:56 -0400 Adam Chlipala cselect.onchange
Tue, 12 May 2009 18:02:25 -0400 Adam Chlipala Improvements while working on Graftid
Sun, 03 May 2009 14:57:33 -0400 Adam Chlipala outer demo
Tue, 28 Apr 2009 15:04:37 -0400 Adam Chlipala A view query works
Tue, 28 Apr 2009 14:02:23 -0400 Adam Chlipala Preparing to allow views in SELECT FROM clauses
Tue, 28 Apr 2009 11:05:28 -0400 Adam Chlipala LEFT JOIN
Sun, 12 Apr 2009 14:19:15 -0400 Adam Chlipala Classes as optional arguments to Basis.tag
Sun, 12 Apr 2009 12:31:54 -0400 Adam Chlipala Stop tracking CSS classes in XML types
Sun, 12 Apr 2009 11:08:00 -0400 Adam Chlipala hello compiles with CSS
Sun, 12 Apr 2009 10:08:11 -0400 Adam Chlipala style declarations
Thu, 09 Apr 2009 14:59:29 -0400 Adam Chlipala Retry failed record summary unifications at the end, in hopes that more has been learned
Thu, 09 Apr 2009 13:59:34 -0400 Adam Chlipala More flexible foreign keying
Thu, 09 Apr 2009 12:31:56 -0400 Adam Chlipala Made type class system very general; demo compiles
Tue, 07 Apr 2009 20:38:01 -0400 Adam Chlipala Get demo type-inferring again
Tue, 07 Apr 2009 18:47:47 -0400 Adam Chlipala FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingering problems in row inference)
Tue, 07 Apr 2009 16:14:31 -0400 Adam Chlipala PRIMARY KEY
Tue, 07 Apr 2009 15:04:07 -0400 Adam Chlipala Enhance table sig item support and get demo compiling again
Tue, 07 Apr 2009 14:11:32 -0400 Adam Chlipala Track uniqueness sets in table types
Tue, 07 Apr 2009 12:24:31 -0400 Adam Chlipala UNIQUE constraints
Thu, 26 Mar 2009 14:37:31 -0400 Adam Chlipala Type class reductions, but no inclusions yet
Tue, 10 Mar 2009 13:46:45 -0400 Adam Chlipala Prose for ListEdit
Tue, 10 Mar 2009 12:44:40 -0400 Adam Chlipala ListEdit demo, minus prose
Tue, 24 Feb 2009 15:54:05 -0500 Adam Chlipala Folder generation for functors
Tue, 24 Feb 2009 15:38:01 -0500 Adam Chlipala Folder generation for functions
Tue, 24 Feb 2009 15:12:13 -0500 Adam Chlipala Demos compile again, with manual folders
Tue, 24 Feb 2009 13:46:08 -0500 Adam Chlipala Top.Fold.concat elaborates
Tue, 24 Feb 2009 12:01:24 -0500 Adam Chlipala Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses
Sun, 22 Feb 2009 16:10:25 -0500 Adam Chlipala Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
Sat, 21 Feb 2009 16:11:56 -0500 Adam Chlipala Debug reverse-engineering unification
Sat, 21 Feb 2009 15:33:20 -0500 Adam Chlipala "Hello world" compiles, after replacing type-level fold with map
Tue, 13 Jan 2009 15:17:11 -0500 Adam Chlipala Initial experiments with nested <dyn>
Fri, 19 Dec 2008 10:27:58 -0500 Adam Chlipala Monad type class seems to be working
Fri, 19 Dec 2008 10:03:31 -0500 Adam Chlipala Initial conversion to arbitrary-kind classes
Thu, 27 Nov 2008 11:17:56 -0500 Adam Chlipala Remove some isUnitCon cases
Thu, 27 Nov 2008 10:40:29 -0500 Adam Chlipala Remove unnecessary lifts in ElabEnv.pushCRel
Thu, 27 Nov 2008 10:13:22 -0500 Adam Chlipala Remove unnecessary [kindof] calls
Tue, 11 Nov 2008 19:20:37 -0500 Adam Chlipala Add CutMulti
Sat, 08 Nov 2008 16:02:59 -0500 Adam Chlipala Especialize handles records better
Sat, 08 Nov 2008 13:15:00 -0500 Adam Chlipala Some small changes while failing to write [restrict]
Thu, 06 Nov 2008 19:43:48 -0500 Adam Chlipala Tree demo working (and other assorted regressions fixed)
Thu, 06 Nov 2008 17:09:53 -0500 Adam Chlipala About to begin optimization of recursive transaction functions
Thu, 06 Nov 2008 15:37:38 -0500 Adam Chlipala Inserted a NULL value
Thu, 06 Nov 2008 10:43:48 -0500 Adam Chlipala Cookies through explify
Thu, 06 Nov 2008 10:29:55 -0500 Adam Chlipala Cookies through elaborate
Sat, 01 Nov 2008 17:19:12 -0400 Adam Chlipala Fix some type-class detection
Sat, 01 Nov 2008 11:17:29 -0400 Adam Chlipala Elaborating 'let'
Fri, 31 Oct 2008 09:30:22 -0400 Adam Chlipala Replace 'with' with '++'
Tue, 21 Oct 2008 19:56:20 -0400 Adam Chlipala Sum prose
Tue, 21 Oct 2008 19:31:11 -0400 Adam Chlipala Infering sum rows
Tue, 21 Oct 2008 19:24:39 -0400 Adam Chlipala Sum demo, minus inference of {Unit}s
Tue, 21 Oct 2008 16:41:11 -0400 Adam Chlipala New implicit argument handling
Tue, 21 Oct 2008 15:11:42 -0400 Adam Chlipala Recursive unurlify for Default datatypes
Tue, 21 Oct 2008 12:06:35 -0400 Adam Chlipala ListShop skeleton
Tue, 14 Oct 2008 17:18:59 -0400 Adam Chlipala Reusable column handlers for Crud
Sat, 04 Oct 2008 20:05:50 -0400 Adam Chlipala Expand cases where expression wildcards are allowed
Sat, 04 Oct 2008 19:56:59 -0400 Adam Chlipala Improved inference of records of tuples
Sat, 04 Oct 2008 15:50:28 -0400 Adam Chlipala Merge CDisjoint and TDisjoint