From 91aa4372647843bc2ca0846c0171bf8239789bc2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ce=CC=81dric=20Pasteur?= Date: Tue, 20 Jul 2010 11:34:00 +0200 Subject: [PATCH] Check arity of static parameters --- compiler/heptagon/analysis/typing.ml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/compiler/heptagon/analysis/typing.ml b/compiler/heptagon/analysis/typing.ml index 450d2ae..dffc0f3 100644 --- a/compiler/heptagon/analysis/typing.ml +++ b/compiler/heptagon/analysis/typing.ml @@ -32,6 +32,7 @@ type error = | Eshould_be_last of name | Etype_clash of ty * ty | Earity_clash of int * int + | Estatic_arity_clash of int * int | Ealready_defined of name | Eshould_be_a_node of longname | Enon_exaustive @@ -87,6 +88,11 @@ let message loc kind = but is expected to have %d.\n" output_location loc expected_arit actual_arit + | Estatic_arity_clash(actual_arit, expected_arit) -> + Printf.eprintf "%aType Clash: this node expects %d static parameters,\n\ + but was given %d.\n" + output_location loc + expected_arit actual_arit | Ealready_defined(s) -> Printf.eprintf "%aThe name %s is already defined.\n" output_location loc @@ -309,6 +315,9 @@ let simplify_type loc ty = Instanciation_failed -> message loc (Etype_should_be_static ty) let build_subst names values = + if List.length names <> List.length values then + error (Estatic_arity_clash (List.length values, List.length names)); + List.fold_left2 (fun m { p_name = n } v -> NamesEnv.add n v m) NamesEnv.empty names values