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/42-pattern-matching-06.bad.typing.hopix

1 line
2.1 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(TyVar(TId `a)))(position((start_p(""1 0 31))(end_p(""1 0 33)))))))))))(position((start_p(""1 0 0))(end_p(""1 0 34)))))((value(DefineValue(SimpleValue(((value(Id x))(position((start_p(""3 36 40))(end_p(""3 36 41)))))(((value(ForallTy()((value(TyCon(TCon int)()))(position((start_p(""3 36 44))(end_p(""3 36 47)))))))(position((start_p(""3 36 44))(end_p(""3 36 47))))))((value(Case((value(Tagged((value(KId Some))(position((start_p(""3 36 57))(end_p(""3 36 61)))))((((value(TyCon(TCon int)()))(position((start_p(""3 36 62))(end_p(""3 36 65)))))))(((value(Literal((value(LInt 42))(position((start_p(""3 36 67))(end_p(""3 36 69)))))))(position((start_p(""3 36 67))(end_p(""3 36 69))))))))(position((start_p(""3 36 57))(end_p(""3 36 70)))))(((value(Branch((value(POr(((value(PTaggedValue((value(KId Some))(position((start_p(""3 36 74))(end_p(""3 36 78)))))((((value(TyCon(TCon int)()))(position((start_p(""3 36 79))(end_p(""3 36 82)))))))(((value(PTypeAnnotation((value PWildcard)(position((start_p(""3 36 85))(end_p(""3 36 86)))))((value(TyCon(TCon int)()))(position((start_p(""3 36 89))(end_p(""3 36 92)))))))(position((start_p(""3 36 84))(end_p(""3 36 93))))))))(position((start_p(""3 36 74))(end_p(""3 36 94)))))((value(PTaggedValue((value(KId None))(position((start_p(""3 36 97))(end_p(""3 36 101)))))((((value(TyCon(TCon string)()))(position((start_p(""3 36 102))(end_p(""3 36 108)))))))()))(position((start_p(""3 36 97))(end_p(""3 36 109))))))))(position((start_p(""3 36 74))(end_p(""3 36 109)))))((value(Literal((value(LInt 0))(position((start_p(""3 36 113))(end_p(""3 36 114)))))))(position((start_p(""3 36 113))(end_p(""3 36 114)))))))(position((start_p(""3 36 74))(end_p(""3 36 114))))))))(position((start_p(""3 36 50))(end_p(""3 36 116)))))))))(position((start_p(""3 36 36))(end_p(""3 36 116))))))
Copy permalink