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
/
elab_env.sml
Commit message (
Collapse
)
Author
Age
*
style declarations
Adam Chlipala
2009-04-12
|
*
Made type class system very general; demo compiles
Adam Chlipala
2009-04-09
|
*
PRIMARY KEY
Adam Chlipala
2009-04-07
|
*
Track uniqueness sets in table types
Adam Chlipala
2009-04-07
|
*
UNIQUE constraints
Adam Chlipala
2009-04-07
|
*
Expunging nullable fields
Adam Chlipala
2009-03-29
|
*
Enforce termination of type class instances
Adam Chlipala
2009-03-26
|
*
Type class inclusions
Adam Chlipala
2009-03-26
|
*
Type class reductions, but no inclusions yet
Adam Chlipala
2009-03-26
|
*
Start of kind polymorphism, up to the point where demo/hello elaborates with ↵
Adam Chlipala
2009-02-22
|
|
|
|
updated Basis/Top
*
Initial conversion to arbitrary-kind classes
Adam Chlipala
2008-12-19
|
*
Catch another unneeded lift in ElabEnv.pushCRel
Adam Chlipala
2008-11-27
|
*
Remove unnecessary lifts in ElabEnv.pushCRel
Adam Chlipala
2008-11-27
|
*
Tree demo working (and other assorted regressions fixed)
Adam Chlipala
2008-11-06
|
*
Inserted a NULL value
Adam Chlipala
2008-11-06
|
*
Cookies through explify
Adam Chlipala
2008-11-06
|
*
Cookies through elaborate
Adam Chlipala
2008-11-06
|
*
Fix some type-class detection
Adam Chlipala
2008-11-01
|
*
First Unnest tests working
Adam Chlipala
2008-11-01
|
*
Elaborating 'let'
Adam Chlipala
2008-11-01
|
*
Fix bug with bringing functor argument instances into scope; Ref demo, minus ↵
Adam Chlipala
2008-10-23
|
|
|
|
prose
*
New implicit argument handling
Adam Chlipala
2008-10-21
|
*
Crud update form
Adam Chlipala
2008-09-14
|
*
SQL sequences
Adam Chlipala
2008-09-14
|
*
Fixed a mind-numbing De Bruijn bug
Adam Chlipala
2008-09-11
|
*
pquery working with all four types of columns
Adam Chlipala
2008-09-07
|
*
'database' declaration threaded through compiler
Adam Chlipala
2008-09-02
|
*
Transactions and queries, at source level
Adam Chlipala
2008-08-28
|
*
Resolving lingering type class constraints
Adam Chlipala
2008-08-21
|
*
Signature ascription for type classes
Adam Chlipala
2008-08-16
|
*
Fun with type classes and modules
Adam Chlipala
2008-08-16
|
*
Looking up in a type class from a module
Adam Chlipala
2008-08-16
|
*
Explifying type classes
Adam Chlipala
2008-08-16
|
*
Initial type class support
Adam Chlipala
2008-08-16
|
*
Elaborating 'SELECT *' queries
Adam Chlipala
2008-08-14
|
*
Parsing and elaborating 'table'
Adam Chlipala
2008-08-14
|
*
Parametrized datatypes through explify
Adam Chlipala
2008-08-08
|
*
Datatype representation optimization
Adam Chlipala
2008-08-03
|
*
bool in Basis
Adam Chlipala
2008-08-03
|
*
Elaborating module constructor patterns; parsing record patterns
Adam Chlipala
2008-07-31
|
*
Elaborating some basic pattern matching
Adam Chlipala
2008-07-31
|
*
Add datatype import constructor annotations; datatypes through explify
Adam Chlipala
2008-07-29
|
*
More datatype module stuff
Adam Chlipala
2008-07-24
|
*
Basic datatype importing works
Adam Chlipala
2008-07-24
|
*
Start of datatype support
Adam Chlipala
2008-07-24
|
*
Parsing and elaborating (non-mutual) 'val rec'
Adam Chlipala
2008-07-17
|
*
Remove closure conversion in favor of zany fun with modules, which also ↵
Adam Chlipala
2008-07-13
|
|
|
|
replaces 'page'
*
page declaration, up through monoize
Adam Chlipala
2008-07-10
|
*
Constraints in modules
Adam Chlipala
2008-07-01
|
*
Subsignatures
Adam Chlipala
2008-06-22
|
[next]