http://hg.impredicative.com/urweb/atom-log/tip/tests/nopoly.urUr/Web: tests/nopoly.ur history2011-10-15T10:31:30-04:00Change error message display order: only show disjointness/type class failures if all record unifications succeededhttp://hg.impredicative.com/urweb/#changeset-f6c74b4bc4e618d8ca18372ff5eeb6967857fec1Adam Chlipalaadam@chlipala.net2011-10-15T10:31:30-04:002011-10-15T10:31:30-04:00
changeset
f6c74b4bc4e6
branch
bookmark
tag
user
Adam Chlipala <adam@chlipala.net>
description
Change error message display order: only show disjointness/type class failures if all record unifications succeeded