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 (
Collapse
)
Author
Age
*
Reusable column handlers for Crud
Adam Chlipala
2008-10-14
|
*
Expand cases where expression wildcards are allowed
Adam Chlipala
2008-10-04
|
*
Improved inference of records of tuples
Adam Chlipala
2008-10-04
|
*
Merge CDisjoint and TDisjoint
Adam Chlipala
2008-10-04
|
*
Crud update form
Adam Chlipala
2008-09-14
|
*
Crud supports INSERT
Adam Chlipala
2008-09-14
|
*
SQL sequences
Adam Chlipala
2008-09-14
|
*
queryX
Adam Chlipala
2008-09-13
|
*
foldTR2
Adam Chlipala
2008-09-13
|
*
Fixed a mind-numbing De Bruijn bug
Adam Chlipala
2008-09-11
|
*
Fix bug in subsignature check for con synonyms
Adam Chlipala
2008-09-11
|
*
Crud list works
Adam Chlipala
2008-09-11
|
*
Crud listing IDs
Adam Chlipala
2008-09-11
|
*
Datatype positivity check
Adam Chlipala
2008-09-09
|
*
intToString
Adam Chlipala
2008-09-07
|
*
Compiling a parametrized query the inefficient way
Adam Chlipala
2008-09-02
|
*
'database' declaration threaded through compiler
Adam Chlipala
2008-09-02
|
*
'eq' type class
Adam Chlipala
2008-08-31
|
*
Monoized GROUP BY
Adam Chlipala
2008-08-31
|
*
Corify transaction wrappers
Adam Chlipala
2008-08-31
|
*
Transactions and queries, at source level
Adam Chlipala
2008-08-28
|
*
Checking for well-formed 'val rec'
Adam Chlipala
2008-08-28
|
*
SELECTing arbitrary expressions
Adam Chlipala
2008-08-28
|
*
Resolving lingering type class constraints
Adam Chlipala
2008-08-21
|
*
Queries back to working as well as before, after start of refactoring to ↵
Adam Chlipala
2008-08-21
|
|
|
|
support grouping
*
SQL boolean operators
Adam Chlipala
2008-08-16
|
*
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
|
*
Inferring sql_type's
Adam Chlipala
2008-08-16
|
*
Stub WHERE support
Adam Chlipala
2008-08-16
|
*
Non-star SELECT
Adam Chlipala
2008-08-14
|
*
Remove extraneous disjointness goal
Adam Chlipala
2008-08-14
|
*
Elaborating 'SELECT *' queries
Adam Chlipala
2008-08-14
|
*
Parsing and elaborating 'table'
Adam Chlipala
2008-08-14
|
*
A multi-parameter datatype all the way through
Adam Chlipala
2008-08-09
|
*
Parametrized datatypes through explify
Adam Chlipala
2008-08-08
|
*
Datatype representation optimization
Adam Chlipala
2008-08-03
|
*
Compiled pattern matching to C
Adam Chlipala
2008-08-03
|
*
Case through explify
Adam Chlipala
2008-07-31
|
*
Elaborating record patterns
Adam Chlipala
2008-07-31
|
*
Elaborating module constructor patterns; parsing record patterns
Adam Chlipala
2008-07-31
|
*
Patterns for int and string constants
Adam Chlipala
2008-07-31
|
*
Pattern match coverage checking
Adam Chlipala
2008-07-31
|
*
Elaborating some basic pattern matching
Adam Chlipala
2008-07-31
|
*
Parsing basic patterns
Adam Chlipala
2008-07-29
|
*
Add datatype import constructor annotations; datatypes through explify
Adam Chlipala
2008-07-29
|
*
Normalize datatype choice during SgiDatatypeImp elaboration
Adam Chlipala
2008-07-24
|
[next]