summaryrefslogtreecommitdiff
path: root/src/elaborate.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-11-08 13:15:00 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-11-08 13:15:00 -0500
commit901b6d55e625be136ddd677a3d8a36e5068de2ae (patch)
treee8e154d621a2dcea385de57280730d135b25466e /src/elaborate.sml
parent91ac4dd03f4130e5e416d495d53237b74a37efc1 (diff)
Some small changes while failing to write [restrict]
Diffstat (limited to 'src/elaborate.sml')
-rw-r--r--src/elaborate.sml2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/elaborate.sml b/src/elaborate.sml
index e84f5307..17133d93 100644
--- a/src/elaborate.sml
+++ b/src/elaborate.sml
@@ -3424,7 +3424,7 @@ fun elabFile basis topStr topSgn env file =
[("loc", PD.string (ErrorMsg.spanToString loc)),
("c1", p_con env c1),
("c2", p_con env c2)];
- raise Fail "Unresolve constraint in top.ur"))
+ raise Fail "Unresolved constraint in top.ur"))
| TypeClass _ => raise Fail "Unresolved type class constraint in top.ur") gs
val () = subSgn (env', D.empty) topSgn' topSgn