mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-19 16:28:12 +03:00
Uppercase constructors
This commit is contained in:
parent
a9764d607e
commit
dcd883e53c
@ -98,11 +98,11 @@ let program (prg : typed program) : typed program =
|
|||||||
{
|
{
|
||||||
some_cons =
|
some_cons =
|
||||||
EnumConstructor.fresh
|
EnumConstructor.fresh
|
||||||
( "some_" ^ string_of_int !option_instances_counter,
|
( "Some_" ^ string_of_int !option_instances_counter,
|
||||||
Pos.no_pos );
|
Pos.no_pos );
|
||||||
none_cons =
|
none_cons =
|
||||||
EnumConstructor.fresh
|
EnumConstructor.fresh
|
||||||
( "none_" ^ string_of_int !option_instances_counter,
|
( "None_" ^ string_of_int !option_instances_counter,
|
||||||
Pos.no_pos );
|
Pos.no_pos );
|
||||||
some_typ = Mark.remove t;
|
some_typ = Mark.remove t;
|
||||||
name =
|
name =
|
||||||
|
Loading…
Reference in New Issue
Block a user