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
*
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
*
Stop tracking CSS classes in XML types
Adam Chlipala
2009-04-12
*
hello compiles with CSS
Adam Chlipala
2009-04-12
*
style declarations
Adam Chlipala
2009-04-12
*
Retry failed record summary unifications at the end, in hopes that more has b...
Adam Chlipala
2009-04-09
*
More flexible foreign keying
Adam Chlipala
2009-04-09
*
Made type class system very general; demo compiles
Adam Chlipala
2009-04-09
*
Get demo type-inferring again
Adam Chlipala
2009-04-07
*
FOREIGN KEY, without ability to link NULL to NOT NULL (and with some lingerin...
Adam Chlipala
2009-04-07
*
PRIMARY KEY
Adam Chlipala
2009-04-07
*
Enhance table sig item support and get demo compiling again
Adam Chlipala
2009-04-07
*
Track uniqueness sets in table types
Adam Chlipala
2009-04-07
*
UNIQUE constraints
Adam Chlipala
2009-04-07
*
Type class reductions, but no inclusions yet
Adam Chlipala
2009-03-26
*
Prose for ListEdit
Adam Chlipala
2009-03-10
*
ListEdit demo, minus prose
Adam Chlipala
2009-03-10
*
Folder generation for functors
Adam Chlipala
2009-02-24
*
Folder generation for functions
Adam Chlipala
2009-02-24
*
Demos compile again, with manual folders
Adam Chlipala
2009-02-24
*
Top.Fold.concat elaborates
Adam Chlipala
2009-02-24
*
Switch to TDisjoint from CDisjoint; still need to implement obligation genera...
Adam Chlipala
2009-02-24
*
Start of kind polymorphism, up to the point where demo/hello elaborates with ...
Adam Chlipala
2009-02-22
*
Debug reverse-engineering unification
Adam Chlipala
2009-02-21
*
"Hello world" compiles, after replacing type-level fold with map
Adam Chlipala
2009-02-21
*
Initial experiments with nested <dyn>
Adam Chlipala
2009-01-13
*
Monad type class seems to be working
Adam Chlipala
2008-12-19
*
Initial conversion to arbitrary-kind classes
Adam Chlipala
2008-12-19
*
Remove some isUnitCon cases
Adam Chlipala
2008-11-27
*
Remove unnecessary lifts in ElabEnv.pushCRel
Adam Chlipala
2008-11-27
*
Remove unnecessary [kindof] calls
Adam Chlipala
2008-11-27
*
Add CutMulti
Adam Chlipala
2008-11-11
*
Especialize handles records better
Adam Chlipala
2008-11-08
*
Some small changes while failing to write [restrict]
Adam Chlipala
2008-11-08
[next]