pattern

parent 7d671795
......@@ -61,7 +61,7 @@ struct
| Papp _ -> false
let not_enough_for n ty = match ty.ty_node with
| Tyvar _ -> assert false (* FIXME *)
| Tyvar _ -> assert (n = 0); false
| Tyapp (ts, _) -> n < List.length (constructors ts)
let rec matrix m = match m.rows with
......
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