jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Disable this for now

Browse source
This commit is contained in:
Cédric Pasteur 2010-06-22 09:47:03 +02:00 committed by Léonard Gérard
parent 5f1b63b33a
commit ccfd3f368a
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
compiler/heptagon/analysis/typing.ml
View file

@ -222,7 +222,7 @@ let rec unify t1 t2 =
let unify t1 t2 =
try unify t1 t2 with Unify -> error (Etype_clash(t1, t2))
let less_than statefull = if not statefull then error Estate_clash
let less_than statefull = (*if not statefull then error Estate_clash*) ()
let kind f statefull = function
| { node_inputs = ty_list1;