Commit 9b99148c authored by Heiko Becker's avatar Heiko Becker

FForward to cheat free cakeML

parent 5ec23d20
......@@ -128,6 +128,8 @@ let val (name, list) = dest_type t in
| _ => (num, rev lst)
end
exception ERR of string;
fun getPatTerm t =
let
val decl_list = decls (term_to_string t);
......@@ -146,7 +148,7 @@ fun getPatTerm t =
(mk_comb (t, var), tl tyList)
end)
end
else raise ERR "Too many constants" ""
else raise ERR "Too many constants"
end;
(* This variable is supposed to hold all defined functions *)
......
Subproject commit 993321ec18c82a08de25de644745215d5ec3fc28
Subproject commit cc95061c249ee1e7010fa61ef0171faa133fc739
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment