X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=blobdiff_plain;f=compiler%2Fsrc%2Flib%2Ftiger%2Ftiger_test_cases.ml;h=788c3b795d4c7289bd6a77ffca98286cb3050599;hp=bff7efc1d49884dcb08687dd90256a76de96fcd8;hb=4f2aaee3ef5f70f7769931032fd50af0403c51ae;hpb=3be8511c0587d12da978306068c143c71b49f57c diff --git a/compiler/src/lib/tiger/tiger_test_cases.ml b/compiler/src/lib/tiger/tiger_test_cases.ml index bff7efc..788c3b7 100644 --- a/compiler/src/lib/tiger/tiger_test_cases.ml +++ b/compiler/src/lib/tiger/tiger_test_cases.ml @@ -231,15 +231,15 @@ let micro = ~is_error_expected_semant:Error.is_unknown_id ) ; ( let code = - "let - type a = int - type b = a - type c = b - var i : a := 2 - var j : c := 3 - in - i := j - end + "let \ + type a = int \ + type b = a \ + type c = b \ + var i : a := 2 \ + var j : c := 3 \ + in \ + i := j \ + end \ " in Test.case @@ -247,14 +247,14 @@ let micro = ~code ) ; ( let code = - "let - type a = {x:int, y:int} - type b = {x:int, y:int} /* new type generated */ - var foo : a := a {x = 1, y = 2} - var bar : b := b {x = 1, y = 2} - in - foo = bar /* incompatible types */ - end + "let \ + type a = {x:int, y:int} \ + type b = {x:int, y:int} /* new type generated */ \ + var foo : a := a {x = 1, y = 2} \ + var bar : b := b {x = 1, y = 2} \ + in \ + foo = bar /* incompatible types */ \ + end \ " in Test.case