Paris7/compilation
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Activity
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/41-pattern-matching-05.bad.typing.hopix

1 line
2.3 KiB
Text
Raw Permalink Normal View History

Jalon 3
2023-11-15 19:08:33 +01:00
(((value(DefineType((value(TCon option))(position((start_p(""1 0 5))(end_p(""1 0 11)))))(((value(TId `a))(position((start_p(""1 0 12))(end_p(""1 0 14))))))(DefineSumType((((value(KId None))(position((start_p(""1 0 18))(end_p(""1 0 22)))))())(((value(KId Some))(position((start_p(""1 0 25))(end_p(""1 0 29)))))(((value(TyCon(TCon string)()))(position((start_p(""1 0 31))(end_p(""1 0 37)))))))))))(position((start_p(""1 0 0))(end_p(""1 0 38)))))((value(DefineValue(SimpleValue(((value(Id x))(position((start_p(""3 40 44))(end_p(""3 40 45)))))(((value(ForallTy()((value(TyCon(TCon int)()))(position((start_p(""3 40 48))(end_p(""3 40 51)))))))(position((start_p(""3 40 48))(end_p(""3 40 51))))))((value(Case((value(Tagged((value(KId Some))(position((start_p(""3 40 61))(end_p(""3 40 65)))))((((value(TyCon(TCon int)()))(position((start_p(""3 40 66))(end_p(""3 40 69)))))))(((value(Literal((value(LInt 42))(position((start_p(""3 40 71))(end_p(""3 40 73)))))))(position((start_p(""3 40 71))(end_p(""3 40 73))))))))(position((start_p(""3 40 61))(end_p(""3 40 74)))))(((value(Branch((value(PTaggedValue((value(KId Some))(position((start_p(""3 40 78))(end_p(""3 40 82)))))((((value(TyCon(TCon int)()))(position((start_p(""3 40 83))(end_p(""3 40 86)))))))(((value(PTypeAnnotation((value(PVariable((value(Id x))(position((start_p(""3 40 89))(end_p(""3 40 90)))))))(position((start_p(""3 40 89))(end_p(""3 40 90)))))((value(TyCon(TCon int)()))(position((start_p(""3 40 93))(end_p(""3 40 96)))))))(position((start_p(""3 40 88))(end_p(""3 40 97))))))))(position((start_p(""3 40 78))(end_p(""3 40 98)))))((value(Variable((value(Id x))(position((start_p(""3 40 102))(end_p(""3 40 103)))))()))(position((start_p(""3 40 102))(end_p(""3 40 103)))))))(position((start_p(""3 40 78))(end_p(""3 40 103)))))((value(Branch((value(PTaggedValue((value(KId None))(position((start_p(""3 40 106))(end_p(""3 40 110)))))((((value(TyCon(TCon int)()))(position((start_p(""3 40 111))(end_p(""3 40 114)))))))()))(position((start_p(""3 40 106))(end_p(""3 40 115)))))((value(Literal((value(LInt 0))(position((start_p(""3 40 119))(end_p(""3 40 120)))))))(position((start_p(""3 40 119))(end_p(""3 40 120)))))))(position((start_p(""3 40 106))(end_p(""3 40 120))))))))(position((start_p(""3 40 54))(end_p(""3 40 122)))))))))(position((start_p(""3 40 40))(end_p(""3 40 122))))))
Copy permalink