diff --git a/compiler/scopelang/print.ml b/compiler/scopelang/print.ml index b7dbd121..deb7f4e4 100644 --- a/compiler/scopelang/print.ml +++ b/compiler/scopelang/print.ml @@ -23,7 +23,7 @@ let struc (fmt : Format.formatter) (name : StructName.t) (fields : (StructFieldName.t * typ) list) : unit = - Format.fprintf fmt "%a %a %a %a@\n@[ %a@]@\n%a" Print.keyword "type" + Format.fprintf fmt "%a %a %a %a@\n@[ %a@]@\n%a" Print.keyword "struct" StructName.format_t name Print.punctuation "=" Print.punctuation "{" (Format.pp_print_list ~pp_sep:(fun fmt () -> Format.fprintf fmt "@\n") @@ -37,7 +37,7 @@ let enum (fmt : Format.formatter) (name : EnumName.t) (cases : (EnumConstructor.t * typ) list) : unit = - Format.fprintf fmt "%a %a %a @\n@[ %a@]" Print.keyword "type" + Format.fprintf fmt "%a %a %a @\n@[ %a@]" Print.keyword "enum" EnumName.format_t name Print.punctuation "=" (Format.pp_print_list ~pp_sep:(fun fmt () -> Format.fprintf fmt "@\n") diff --git a/tests/test_bool/good/test_bool.catala_en b/tests/test_bool/good/test_bool.catala_en index 40180c06..bb4ffb8a 100644 --- a/tests/test_bool/good/test_bool.catala_en +++ b/tests/test_bool/good/test_bool.catala_en @@ -39,7 +39,7 @@ $ catala Interpret -s TestBool ```catala-test-inline $ catala Scopelang -type TestBool = { +struct TestBool = { foo: bool bar: integer } diff --git a/tests/test_exception/good/groups_of_exceptions.catala_en b/tests/test_exception/good/groups_of_exceptions.catala_en index d2a0ac49..a545dd64 100644 --- a/tests/test_exception/good/groups_of_exceptions.catala_en +++ b/tests/test_exception/good/groups_of_exceptions.catala_en @@ -33,7 +33,7 @@ scope Foo: ```catala-test-inline $ catala Scopelang -type Foo = { +struct Foo = { x: integer }