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_print.sml
Commit message (
Expand
)
Author
Age
*
After a tricky debugging session, limit visibility of type-class instances fr...
Adam Chlipala
2015-11-01
*
New lessSafeFfi
Adam Chlipala
2014-05-02
*
Allow [where con] to descend within submodule structure; open submodule const...
Adam Chlipala
2013-08-19
*
Remove 'class' declaration; now use 'con' instead
Adam Chlipala
2012-07-29
*
Omit unnecessary parens around arrows in pretty-printing
Adam Chlipala
2012-04-27
*
Omit 'Basis.' in pretty-printing constructors, where this is unambiguous
Adam Chlipala
2012-04-21
*
Pretty-print tuple types using tuple syntax
Adam Chlipala
2012-04-21
*
Tweak printing of constructor record literals to allow re-parsing by compiler
Adam Chlipala
2012-04-16
*
Add a new scoping check for unification variables, to fix a type inference bug
Adam Chlipala
2011-12-18
*
Hopeful fix for the Great Unification Bug
Adam Chlipala
2010-10-10
*
Flex kinds for type-level tuples; ::_ notation
Adam Chlipala
2010-10-10
*
Server-side 'onError'
Adam Chlipala
2010-09-07
*
Some serious bug-fix work to get HTML example to compile; this includes fixin...
Adam Chlipala
2010-06-03
*
Pushing policies through
Adam Chlipala
2010-04-04
*
Convert to task syntax
Adam Chlipala
2009-12-15
*
Initializers and setval
Adam Chlipala
2009-12-13
*
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
*
Stop tracking CSS classes in XML types
Adam Chlipala
2009-04-12
*
style declarations
Adam Chlipala
2009-04-12
*
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
*
Switch to TDisjoint from CDisjoint; still need to implement obligation genera...
Adam Chlipala
2009-02-24
*
Kind polymorphism through Explify
Adam Chlipala
2009-02-22
*
Start of kind polymorphism, up to the point where demo/hello elaborates with ...
Adam Chlipala
2009-02-22
*
"Hello world" compiles, after replacing type-level fold with map
Adam Chlipala
2009-02-21
*
Initial conversion to arbitrary-kind classes
Adam Chlipala
2008-12-19
*
Map distributivity rule in hnormCon
Adam Chlipala
2008-11-11
*
Add CutMulti
Adam Chlipala
2008-11-11
*
Cookies through explify
Adam Chlipala
2008-11-06
*
Cookies through elaborate
Adam Chlipala
2008-11-06
*
First Unnest tests working
Adam Chlipala
2008-11-01
*
Elaborating 'let'
Adam Chlipala
2008-11-01
*
Replace 'with' with '++'
Adam Chlipala
2008-10-31
*
Merge CDisjoint and TDisjoint
Adam Chlipala
2008-10-04
*
Crud supports INSERT
Adam Chlipala
2008-09-14
*
SQL sequences
Adam Chlipala
2008-09-14
*
queryX
Adam Chlipala
2008-09-13
*
'database' declaration threaded through compiler
Adam Chlipala
2008-09-02
*
Laconic -> Ur
Adam Chlipala
2008-08-31
*
Transactions and queries, at source level
Adam Chlipala
2008-08-28
*
Resolving lingering type class constraints
Adam Chlipala
2008-08-21
*
Explifying type classes
Adam Chlipala
2008-08-16
*
Initial type class support
Adam Chlipala
2008-08-16
*
Non-star SELECT
Adam Chlipala
2008-08-14
*
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
[next]