index
:
urweb
master
functional programming language for web programming
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
src
/
elab_util.sig
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
|
*
Fiddly tweaks
Adam Chlipala
2010-12-16
|
*
Hopeful fix for the Great Unification Bug
Adam Chlipala
2010-10-10
|
*
List library additions; fix another substructure unification bug
Adam Chlipala
2009-06-06
|
*
Improvements while working on Graftid
Adam Chlipala
2009-05-12
|
*
Made type class system very general; demo compiles
Adam Chlipala
2009-04-09
|
*
Start of kind polymorphism, up to the point where demo/hello elaborates with ↵
Adam Chlipala
2009-02-22
|
|
|
|
updated Basis/Top
*
First Unnest tests working
Adam Chlipala
2008-11-01
|
*
foldTR2
Adam Chlipala
2008-09-13
|
*
Initial type class support
Adam Chlipala
2008-08-16
|
*
'Option' datatype encoding
Adam Chlipala
2008-08-09
|
*
Datatype representation optimization
Adam Chlipala
2008-08-03
|
*
Broaden unification context
Adam Chlipala
2008-06-29
|
*
Subsignatures
Adam Chlipala
2008-06-22
|
*
Elaborating module projection
Adam Chlipala
2008-06-17
|
*
Lifting cons in ElabEnv
Adam Chlipala
2008-06-08
|
*
Simple elaboration working
Adam Chlipala
2008-03-28
|
*
Start of elaborating expressions
Adam Chlipala
2008-03-28
|
*
Check for leftover kind unifs
Adam Chlipala
2008-01-26
|
*
Elaborating cons and decls
Adam Chlipala
2008-01-26
|
*
Start of elaboration
Adam Chlipala
2008-01-26