log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/elab_util.sig
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
tip
age
author
description
2011-12-18
Adam Chlipala
Add a new scoping check for unification variables, to fix a type inference bug
2011-10-29
Adam Chlipala
Shorter, more focused error messages about undetermined unification variables
2010-12-16
Adam Chlipala
Fiddly tweaks
2010-10-10
Adam Chlipala
Hopeful fix for the Great Unification Bug
2009-06-06
Adam Chlipala
List library additions; fix another substructure unification bug
2009-05-12
Adam Chlipala
Improvements while working on Graftid
2009-04-09
Adam Chlipala
Made type class system very general; demo compiles
2009-02-22
Adam Chlipala
Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top
2008-11-01
Adam Chlipala
First Unnest tests working
2008-09-13
Adam Chlipala
foldTR2
2008-08-16
Adam Chlipala
Initial type class support
2008-08-09
Adam Chlipala
'Option' datatype encoding
2008-08-03
Adam Chlipala
Datatype representation optimization
2008-06-29
Adam Chlipala
Broaden unification context
2008-06-22
Adam Chlipala
Subsignatures
2008-06-17
Adam Chlipala
Elaborating module projection
2008-06-08
Adam Chlipala
Lifting cons in ElabEnv
2008-03-28
Adam Chlipala
Simple elaboration working
2008-03-28
Adam Chlipala
Start of elaborating expressions
2008-01-26
Adam Chlipala
Check for leftover kind unifs
2008-01-26
Adam Chlipala
Elaborating cons and decls
2008-01-26
Adam Chlipala
Start of elaboration
less
more
|
(0)
tip