src/HOLCF/Tools/Domain/domain_library.ML
changeset 35912 b0e300bd3a2c
parent 35905 3d699b736ff4
child 36692 54b64d4ad524
--- a/src/HOLCF/Tools/Domain/domain_library.ML	Mon Mar 22 15:45:54 2010 -0700
+++ b/src/HOLCF/Tools/Domain/domain_library.ML	Mon Mar 22 15:53:25 2010 -0700
@@ -212,7 +212,7 @@
 fun con_app2 con f args = list_ccomb(%%:con,map f args);
 fun con_app con = con_app2 con %#;
 fun prj _  _  x (   _::[]) _ = x
-  | prj _  _  _ []         _ = error "Domain_Library.prj: empty list"
+  | prj _  _  _ []         _ = raise Fail "Domain_Library.prj: empty list"
   | prj f1 _  x (_::y::ys) 0 = f1 x y
   | prj f1 f2 x (y::   ys) j = prj f1 f2 (f2 x y) ys (j-1);
 fun  proj x      = prj (fn S => K(%%:"fst" $S)) (fn S => K(%%:"snd" $S)) x;