diff -r d41ab495ab14 -r 8c16ec5ba62b TFL/usyntax.sml
--- 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