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
...
*
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
*
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
[prev]
[next]