]> matita.cs.unibo.it Git - fireball-separation.git/blobdiff - ocaml/num.ml
Changed logic of entrypoint in Lambda4
[fireball-separation.git] / ocaml / num.ml
index f612def74371072024552c584be261a8ff01ea69..36234ad31c7a47b15b9af578aab525c379ba5419 100644 (file)
@@ -162,6 +162,7 @@ let cast_to_i_num_var =
     assert false (* algorithm failed *)
 
 let rec set_arity arity = function
+(* FIXME because onlt variables should be in branches of matches, one day *)
 | `Var(n,_) -> `Var(n,arity)
 | `N _ as t -> t
 | `Lam(false, t) -> `Lam(false, set_arity arity t)