From 33b742bb41725e47bd88dc12f2a4f40173023f83 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Fri, 27 Mar 2015 14:24:03 +0100
Subject: Updated the Caml part.  Added some more tests in annot1.c.

---
 backend/XTL.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'backend/XTL.ml')

diff --git a/backend/XTL.ml b/backend/XTL.ml
index 30c09fdf..0e5ce0c4 100644
--- a/backend/XTL.ml
+++ b/backend/XTL.ml
@@ -125,10 +125,10 @@ let rec set_vars_type vl tyl =
 let unify_var_type v1 v2 =
   if typeof v1 <> typeof v2 then raise Type_error
 
-let type_annot_arg a ty =
+let rec type_annot_arg a ty =
   match a with
   | AA_base v -> set_var_type v ty
-  | AA_longofwords(v1, v2) -> set_var_type v1 Tint; set_var_type v2 Tint
+  | AA_longofwords(a1, a2) -> type_annot_arg a1 Tint; type_annot_arg a2 Tint
   | _ -> ()
 
 let type_instr = function
-- 
cgit