From 41d2a1e3cb3e5d445bc43da33feed6b610fc3b5e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= Date: Wed, 27 Apr 2011 14:35:09 +0200 Subject: [PATCH] Added check for unicity of init --- compiler/heptagon/analysis/linear_typing.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/heptagon/analysis/linear_typing.ml b/compiler/heptagon/analysis/linear_typing.ml index 6020d78..9f269eb 100644 --- a/compiler/heptagon/analysis/linear_typing.ml +++ b/compiler/heptagon/analysis/linear_typing.ml @@ -240,8 +240,8 @@ let check_init loc init lin = | Lno_init -> lin | Linit_var r -> (match lin with - | Lat r1 when r = r1 -> Ltop - | Lvar r1 when r = r1 -> Ltop + | Lat r1 when r = r1 -> check_fresh_lin_var loc lin; Ltop + | Lvar r1 when r = r1 -> check_fresh_lin_var loc lin; Ltop | _ -> message loc (Ewrong_init (r, lin))) | Linit_tuple _ -> assert false in