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
*
After a tricky debugging session, limit visibility of type-class instances ↵
Adam Chlipala
2015-11-01
|
|
|
|
from anonymous modules
*
Move code from last changeset, to improve performance
Adam Chlipala
2014-12-05
|
*
In checking signature subsumption, be sure to try constraints last.
Adam Chlipala
2014-12-04
|
*
New lessSafeFfi
Adam Chlipala
2014-05-02
|
*
Allow [where con] to descend within submodule structure; open submodule ↵
Adam Chlipala
2013-08-19
|
|
|
|
constraints while checking later signature items
*
Remove 'class' declaration; now use 'con' instead
Adam Chlipala
2012-07-29
|
*
Remove misguided type class optimization
Adam Chlipala
2012-07-26
|
*
Allow type class instances with hypotheses via local ('let') definitions
Adam Chlipala
2012-07-25
|
*
More diagnostic information about some type class resolution failures
Adam Chlipala
2012-05-04
|
*
Add a new scoping check for unification variables, to fix a type inference bug
Adam Chlipala
2011-12-18
|
*
Improved unification of record literals in type class resolution
Adam Chlipala
2011-10-15
|
*
Fix bug in projection of constructors from modules in class rules.
Karn Kallio
2011-04-30
|
*
Fix for projection of type class constructors in signatures.
Karn Kallio
2011-04-25
|
*
More hnorm during type class resolution
Adam Chlipala
2010-12-02
|
*
Hopeful fix for the Great Unification Bug
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 ↵
Adam Chlipala
2010-06-03
|
|
|
|
fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize
*
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
|
*
Recursive hnormSgn for projections of signatures from modules
Adam Chlipala
2009-12-05
|
*
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
|
[next]