From dcd883e53c50620257dfeb23fbd95f9da6c8db9c Mon Sep 17 00:00:00 2001 From: Denis Merigoux Date: Tue, 19 Dec 2023 17:40:38 +0100 Subject: [PATCH] Uppercase constructors --- compiler/lcalc/monomorphize.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/compiler/lcalc/monomorphize.ml b/compiler/lcalc/monomorphize.ml index b9077fc3..8f9a8eec 100644 --- a/compiler/lcalc/monomorphize.ml +++ b/compiler/lcalc/monomorphize.ml @@ -98,11 +98,11 @@ let program (prg : typed program) : typed program = { some_cons = EnumConstructor.fresh - ( "some_" ^ string_of_int !option_instances_counter, + ( "Some_" ^ string_of_int !option_instances_counter, Pos.no_pos ); none_cons = EnumConstructor.fresh - ( "none_" ^ string_of_int !option_instances_counter, + ( "None_" ^ string_of_int !option_instances_counter, Pos.no_pos ); some_typ = Mark.remove t; name =