From 3bf5ad28194d0dac2520062dca2c58a5efa51c40 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Thu, 14 Mar 2019 18:45:38 +0100 Subject: [PATCH] Reformatted constant in AST2 to match that of Typecheck2 --- AST2.ml | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/AST2.ml b/AST2.ml index 9b260c5e0..0760671f0 100644 --- a/AST2.ml +++ b/AST2.ml @@ -79,8 +79,12 @@ module O = struct | MapLookup and constant = - Unit | Int of Z.t | String of string | Bytes of MBytes.t | False | True - | Null of type_expr | EmptySet of type_expr | CNone of type_expr + Unit + | Int of Z.t | String of string | Bytes of MBytes.t + | False | True + | Null of type_expr + | EmptySet of type_expr + | CNone of type_expr and instr = Assignment of { name: var_name; value: expr }