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
*
Fix type class resolution infinite loop, discovered while meeting with Ezra
Adam Chlipala
2009-08-06
|
*
Fix a bug in type class enrichment from substructures
Adam Chlipala
2009-06-16
|
*
Destructing local let, to the point where demo compiles
Adam Chlipala
2009-05-28
|
*
Mutual datatypes through Elaborate
Adam Chlipala
2009-05-16
|
*
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
|
*
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
|
[next]