From 1db0f7c1fe5e763afc80c42168a84274a384b152 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Thu, 14 Mar 2019 11:59:14 +0100 Subject: [PATCH] Wrong nesting of key and expr in records --- Typecheck2.ml | 2 +- Typecheck2.mli | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Typecheck2.ml b/Typecheck2.ml index 027797091..5c432f2e8 100644 --- a/Typecheck2.ml +++ b/Typecheck2.ml @@ -61,7 +61,7 @@ module O = struct | Record of record_key expr_record | Lambda of lambda - and 'key expr_record = ('key * expr list) + and 'key expr_record = ('key * expr) list and expr = { expr: expr_case; ty:type_expr; orig: asttodo } diff --git a/Typecheck2.mli b/Typecheck2.mli index d90558afb..1f14aba31 100644 --- a/Typecheck2.mli +++ b/Typecheck2.mli @@ -61,7 +61,7 @@ module O : sig | Record of record_key expr_record | Lambda of lambda - and 'key expr_record = ('key * expr list) + and 'key expr_record = ('key * expr) list and expr = { expr: expr_case; ty:type_expr; orig: asttodo }