really fix unification

This commit is contained in:
Léonard Gérard 2011-04-27 15:14:32 +02:00
parent 396457abd8
commit f532ccc84c
2 changed files with 3 additions and 1 deletions

View file

@ -78,6 +78,8 @@ let rec unify_ck ck1 ck2 =
let rec unify t1 t2 =
if t1 == t2 then () else
match (t1, t2) with
| (Ck Cbase, Cprod [])
| (Cprod [], Ck Cbase) -> ()
| (Ck ck1, Ck ck2) -> unify_ck ck1 ck2
| (Cprod t1_list, Cprod t2_list) -> unify_list t1_list t2_list
| _ -> raise Unify

View file

@ -8,7 +8,7 @@
(**************************************************************************)
(* removing automata statements *)
(* TODO deal correctly with [stateful] *)
(* TODO deal correctly with [stateful] and [unsafe] *)
open Misc
open Types