index
:
debian-urweb
dfsg_clean
master
unofficial
Debian packaging for Ur/Web
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
elaborate.sml
Commit message (
Expand
)
Author
Age
*
:::_ notation; switch to TooDeep error message
Adam Chlipala
2010-10-10
*
Fix infinite looping bug in Great Unification Fix
Adam Chlipala
2010-10-10
*
Tweaking unification fix to apply to demo/more
Adam Chlipala
2010-10-10
*
Hopeful fix for the Great Unification Bug
Adam Chlipala
2010-10-10
*
Flex kinds for type-level tuples; ::_ notation
Adam Chlipala
2010-10-10
*
Fix typing of cut operators; fix lexing of XML comments
Adam Chlipala
2010-09-16
*
Server-side 'onError'
Adam Chlipala
2010-09-07
*
More generous wildification, covering map-records
Adam Chlipala
2010-06-13
*
Undo fancy wildification; instead, client code should include extra wildcard ...
Adam Chlipala
2010-06-03
*
Try harder to place wildified 'con' declarations properly
Adam Chlipala
2010-06-01
*
Improve consNeq to detect unequal projected cons
Adam Chlipala
2010-06-01
*
Fix bug in module path generation with module roots; push wildification throu...
Adam Chlipala
2010-05-27
*
Tweaks to table signatures and MonoOpt summarizing
Adam Chlipala
2010-04-11
*
Pushing policies through
Adam Chlipala
2010-04-04
*
Subquery expressions
Adam Chlipala
2010-03-25
*
Spiffed-up Split1; remove spurious error message triggered by 'open'ing a mod...
Adam Chlipala
2010-03-09
*
Make summary unification more conservative; infer implicit arguments after ap...
Adam Chlipala
2009-12-26
*
Convert to task syntax
Adam Chlipala
2009-12-15
*
Fixing a bug in DInitializer elaboration
Adam Chlipala
2009-12-13
*
Initializers and setval
Adam Chlipala
2009-12-13
*
Better record summary error messages; more tweaking SQL usability
Adam Chlipala
2009-12-13
*
Hint about disallowed attributes
Adam Chlipala
2009-11-25
*
Start of Decision
Adam Chlipala
2009-11-02
*
Start of bidding implementation compiles
Adam Chlipala
2009-10-31
*
Better subSgn error locations
Adam Chlipala
2009-10-15
*
Better location calculation for record unification error messages; infer kind...
Adam Chlipala
2009-10-05
*
Fix structure wildification to take concrete con decls into account
Adam Chlipala
2009-08-25
*
Fix type class resolution infinite loop, discovered while meeting with Ezra
Adam Chlipala
2009-08-06
*
Working on Grid; have gone from one dynamic table bizareness to another
Adam Chlipala
2009-07-19
*
Fix a bug in type class enrichment from substructures
Adam Chlipala
2009-06-16
*
Fix MonoReduce unsoundness with lets and fns
Adam Chlipala
2009-06-13
*
Fix datatype import bug in Elaborate; fix server-side source setting; more st...
Adam Chlipala
2009-06-07
*
List library additions; fix another substructure unification bug
Adam Chlipala
2009-06-06
*
Lexing some more string escape sequences; JS versions of number read; fix pro...
Adam Chlipala
2009-06-02
*
Tweak -- precedence; use right env for final exhaustiveness errors
Adam Chlipala
2009-06-02
*
Do 'open constraints' automatically; fix sourceless <cselect> monoize bug; Mo...
Adam Chlipala
2009-06-02
*
Expose resolveClass from Elaborate
Adam Chlipala
2009-05-31
*
Defer pattern-matching exhaustiveness checks and normalize pattern types more...
Adam Chlipala
2009-05-30
*
Destructing local let, to the point where demo compiles
Adam Chlipala
2009-05-28
*
fn-pattern code in but not tested yet; hello compiles
Adam Chlipala
2009-05-28
*
Chars and more string operations
Adam Chlipala
2009-05-26
*
Switch to Maranget's pattern exhaustiveness algorithm
Adam Chlipala
2009-05-23
*
Mutual datatypes through Elaborate
Adam Chlipala
2009-05-16
*
cselect.onchange
Adam Chlipala
2009-05-14
*
Improvements while working on Graftid
Adam Chlipala
2009-05-12
*
outer demo
Adam Chlipala
2009-05-03
*
A view query works
Adam Chlipala
2009-04-28
*
Preparing to allow views in SELECT FROM clauses
Adam Chlipala
2009-04-28
*
LEFT JOIN
Adam Chlipala
2009-04-28
*
Classes as optional arguments to Basis.tag
Adam Chlipala
2009-04-12
[next]