This repository has been archived on 2024-01-18. You can view files and clone it, but cannot push or open issues or pull requests.
compilation/flap/tests/03-Typing/55-while.bad.typing.hopix

1 line
2.6 KiB
Text
Raw Permalink Normal View History

2023-11-15 19:08:33 +01:00
(((value(DefineValue(SimpleValue(((value(Id x))(position((start_p(""1 0 4))(end_p(""1 0 5)))))(((value(ForallTy()((value(TyCon(TCon mut)(((value(TyCon(TCon int)()))(position((start_p(""1 0 12))(end_p(""1 0 15))))))))(position((start_p(""1 0 8))(end_p(""1 0 16)))))))(position((start_p(""1 0 8))(end_p(""1 0 16))))))((value(Ref((value(Literal((value(LString foo))(position((start_p(""1 0 28))(end_p(""1 0 29)))))))(position((start_p(""1 0 23))(end_p(""1 0 30)))))))(position((start_p(""1 0 19))(end_p(""1 0 30)))))))))(position((start_p(""1 0 0))(end_p(""1 0 30)))))((value(DefineValue(SimpleValue(((value(Id main))(position((start_p(""3 32 36))(end_p(""3 32 40)))))(((value(ForallTy()((value(TyCon(TCon int)()))(position((start_p(""3 32 43))(end_p(""3 32 46)))))))(position((start_p(""3 32 43))(end_p(""3 32 46))))))((value(Sequence(((value(While((value(Apply((value(Apply((value(Variable((value(Id `>?`))(position((start_p(""4 49 63))(end_p(""4 49 65)))))()))(position((start_p(""4 49 63))(end_p(""4 49 65)))))((value(Read((value(Variable((value(Id x))(position((start_p(""4 49 61))(end_p(""4 49 62)))))()))(position((start_p(""4 49 61))(end_p(""4 49 62)))))))(position((start_p(""4 49 60))(end_p(""4 49 62)))))))(position((start_p(""4 49 60))(end_p(""4 49 62)))))((value(Literal((value(LInt 0))(position((start_p(""4 49 66))(end_p(""4 49 67)))))))(position((start_p(""4 49 66))(end_p(""4 49 67)))))))(position((start_p(""4 49 60))(end_p(""4 49 67)))))((value(Assign((value(Variable((value(Id x))(position((start_p(""5 71 77))(end_p(""5 71 78)))))()))(position((start_p(""5 71 77))(end_p(""5 71 78)))))((value(Apply((value(Apply((value(Variable((value(Id `-`))(position((start_p(""5 71 85))(end_p(""5 71 86)))))()))(position((start_p(""5 71 85))(end_p(""5 71 86)))))((value(Read((value(Variable((value(Id x))(position((start_p(""5 71 83))(end_p(""5 71 84)))))()))(position((start_p(""5 71 83))(end_p(""5 71 84)))))))(position((start_p(""5 71 82))(end_p(""5 71 84)))))))(position((start_p(""5 71 82))(end_p(""5 71 84)))))((value(Literal((value(LInt 1))(position((start_p(""5 71 87))(end_p(""5 71 88)))))))(position((start_p(""5 71 87))(end_p(""5 71 88)))))))(position((start_p(""5 71 82))(end_p(""5 71 88)))))))(position((start_p(""5 71 77))(end_p(""5 71 88)))))))(position((start_p(""4 49 53))(end_p(""6 89 94)))))((value(Read((value(Variable((value(Id x))(position((start_p(""7 96 101))(end_p(""7 96 102)))))()))(position((start_p(""7 96 101))(end_p(""7 96 102)))))))(position((start_p(""7 96 100))(end_p(""7 96 102))))))))(position((start_p(""4 49 53))(end_p(""7 96 102)))))))))(position((start_p(""3 32 32))(end_p(""7 96 102))))))