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_err.sml
Commit message (
Collapse
)
Author
Age
*
Add a new scoping check for unification variables, to fix a type inference bug
Adam Chlipala
2011-12-18
|
*
Shorter, more focused error messages about undetermined unification variables
Adam Chlipala
2011-10-29
|
*
Harmonize have/need terminology in error messages; display canceled record ↵
Adam Chlipala
2011-10-27
|
|
|
|
summaries on errors
*
A few error message improvements
Adam Chlipala
2011-08-02
|
*
Recursive record unification errors, for more detail
Adam Chlipala
2010-12-23
|
*
:::_ notation; switch to TooDeep error message
Adam Chlipala
2010-10-10
|
*
Hopeful fix for the Great Unification Bug
Adam Chlipala
2010-10-10
|
*
Better record summary error messages; more tweaking SQL usability
Adam Chlipala
2009-12-13
|
*
Better subSgn error locations
Adam Chlipala
2009-10-15
|
*
Fix a variable capture bug in nested JavaScript; some more list stuff
Adam Chlipala
2009-06-16
|
*
Fix a bug in type class enrichment from substructures
Adam Chlipala
2009-06-16
|
*
Switch to Maranget's pattern exhaustiveness algorithm
Adam Chlipala
2009-05-23
|
*
Improvements while working on Graftid
Adam Chlipala
2009-05-12
|
*
More flexible foreign keying
Adam Chlipala
2009-04-09
|
*
Made type class system very general; demo compiles
Adam Chlipala
2009-04-09
|
*
Enhance table sig item support and get demo compiling again
Adam Chlipala
2009-04-07
|
*
Switch to TDisjoint from CDisjoint; still need to implement obligation ↵
Adam Chlipala
2009-02-24
|
|
|
|
generation at EDisjoint uses
*
Start of kind polymorphism, up to the point where demo/hello elaborates with ↵
Adam Chlipala
2009-02-22
|
|
|
|
updated Basis/Top
*
Sum prose
Adam Chlipala
2008-10-21
|
*
Crud supports INSERT
Adam Chlipala
2008-09-14
|
*
foldTR2
Adam Chlipala
2008-09-13