From af2ea1f361a3620e076f8be0887c20b963279d18 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Fri, 16 Jul 2010 15:11:53 +0200 Subject: [PATCH] Compile fix Always check that the code compiles before committing. --- compiler/heptagon/analysis/typing.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/compiler/heptagon/analysis/typing.ml b/compiler/heptagon/analysis/typing.ml index 4e73ff3..10b484a 100644 --- a/compiler/heptagon/analysis/typing.ml +++ b/compiler/heptagon/analysis/typing.ml @@ -20,6 +20,7 @@ open Initial open Static open Types open Heptagon +open Hept_mapfold type value = { ty: ty; mutable last: bool } @@ -238,7 +239,7 @@ let is_statefull_eq_desc eqd = | _ -> raise Misc.Fallback in let funs = { Hept_mapfold.defaults with edesc = edesc } in - let _, is_statefull = eq_desc_it funs false eqd in + let _, is_statefull = Hept_mapfold.eqdesc_it funs false eqd in is_statefull let kind f statefull