Mercurial > urweb

comparison src/elaborate.sml @ 478:6ee1c761818f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Some small changes while failing to write [restrict]
author Adam Chlipala <adamc@hcoop.net>
date Sat, 08 Nov 2008 13:15:00 -0500
parents 20fab0e96217
children 40c737913075
comparison
equal deleted inserted replaced
477:667c0e54632a 478:6ee1c761818f
3422 | _ => 3422 | _ =>
3423 (prefaces "Unresolved constraint in top.ur" 3423 (prefaces "Unresolved constraint in top.ur"
3424 [("loc", PD.string (ErrorMsg.spanToString loc)), 3424 [("loc", PD.string (ErrorMsg.spanToString loc)),
3425 ("c1", p_con env c1), 3425 ("c1", p_con env c1),
3426 ("c2", p_con env c2)]; 3426 ("c2", p_con env c2)];
3427 raise Fail "Unresolve constraint in top.ur")) 3427 raise Fail "Unresolved constraint in top.ur"))
3428 | TypeClass _ => raise Fail "Unresolved type class constraint in top.ur") gs 3428 | TypeClass _ => raise Fail "Unresolved type class constraint in top.ur") gs
3429 val () = subSgn (env', D.empty) topSgn' topSgn 3429 val () = subSgn (env', D.empty) topSgn' topSgn
3430 3430
3431 val (env', top_n) = E.pushStrNamed env' "Top" topSgn 3431 val (env', top_n) = E.pushStrNamed env' "Top" topSgn
3432 3432