Better messages for top-level unification errors
authoradamch <adamch>
Sun, 18 Nov 2007 18:42:36 +0000 (18:42 +0000)
committeradamch <adamch>
Sun, 18 Nov 2007 18:42:36 +0000 (18:42 +0000)
commitc463685414ddc8373c2073b7b6324b3aaeb8bdab
tree4530c000fddbca04ea7cdc934613c3b180474a58
parentf4018a6e948220c3bf265387954da8927427cce6
Better messages for top-level unification errors
src/tycheck.sml