log
graph
tags
bookmarks
branches
changeset
browse
file
diff
comparison
annotate
file log
raw
help
Mercurial
>
urweb
log src/elaborate.sml
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
less
more
|
(0)
-100
-30
-10
-8
tip
age
author
description
Thu, 05 Jan 2012 17:10:43 -0500
Adam Chlipala
Prevent unifications of 'others' pieces in record summaries, when both pieces contain unification variables (to prevent undesired unifications)
Sun, 18 Dec 2011 12:00:36 -0500
Adam Chlipala
Order constructors properly in wildification, to avoid spuriously displeasing the new scoping check
Sun, 18 Dec 2011 11:29:13 -0500
Adam Chlipala
Add a new scoping check for unification variables, to fix a type inference bug
Sat, 03 Dec 2011 16:39:45 -0500
Adam Chlipala
Nicer record summary error messages
Sat, 05 Nov 2011 13:12:07 -0400
Adam Chlipala
Tweaks to choices of source positions to use in error messages, including for subSgn
Sat, 05 Nov 2011 11:33:59 -0400
Adam Chlipala
Strengthen consNeq, to avoid unwise unifications
Sat, 05 Nov 2011 09:56:52 -0400
Adam Chlipala
Fix confusing error message when record unification fails because enclosed types are incompatible
Wed, 02 Nov 2011 09:37:20 -0400
Adam Chlipala
Remove debug print
less
more
|
(0)
-100
-30
-10
-8
tip