--- a/TFL/usyntax.sml Sun Sep 17 22:51:20 2000 +0200
+++ b/TFL/usyntax.sml Mon Sep 18 14:10:31 2000 +0200
@@ -217,7 +217,7 @@
end
in mpa(varstruct,body)
end
- handle _ => raise USYN_ERR{func = "mk_pabs", mesg = ""};
+ handle _ => raise USYN_ERR{func = "mk_pabs", mesg = ""}; (* FIXME do not handle _ !!! *)
end;
(* Destruction routines *)
@@ -288,7 +288,7 @@
let val {Bvar,Body} = dest_abs tm
in {varstruct = Bvar, body = Body}
end
- handle
+ handle (* FIXME do not handle _ !!! *)
_ => let val {Rator,Rand} = dest_comb tm
val _ = ucheck Rator
val {varstruct = lv,body} = dest_pabs Rand
@@ -392,7 +392,7 @@
if (p tm) then Some tm
else case tm of
Abs(_,_,body) => find body
- | (t$u) => (Some (the (find t)) handle _ => find u)
+ | (t$u) => (Some (the (find t)) handle _ => find u) (* FIXME do not handle _ !!! *)
| _ => None
in find
end;
@@ -402,7 +402,7 @@
then let val (Const("op :",_) $ (Const("Pair",_)$y$x) $ R) = tm
in (R,y,x)
end handle _ => raise USYN_ERR{func="dest_relation",
- mesg="unexpected term structure"}
+ mesg="unexpected term structure"} (* FIXME do not handle _ !!! *)
else raise USYN_ERR{func="dest_relation",mesg="not a boolean term"};
fun is_WFR (Const("WF.wf",_)$_) = true