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/47-pattern-matching-11.bad.typing.hopix
Adrien Guatto 6355f88c0f Jalon 3
2023-11-15 19:08:33 +01:00

1 line
No EOL
3.5 KiB
Text
Raw Blame History

(((value(DefineType((value(TCon p))(position((start_p(""1 0 5))(end_p(""1 0 6)))))(((value(TId `a))(position((start_p(""1 0 7))(end_p(""1 0 9)))))((value(TId `b))(position((start_p(""1 0 11))(end_p(""1 0 13))))))(DefineSumType((((value(KId P))(position((start_p(""1 0 17))(end_p(""1 0 18)))))(((value(TyVar(TId `a)))(position((start_p(""1 0 19))(end_p(""1 0 21)))))((value(TyVar(TId `b)))(position((start_p(""1 0 23))(end_p(""1 0 25)))))))))))(position((start_p(""1 0 0))(end_p(""1 0 26)))))((value(DefineType((value(TCon l))(position((start_p(""2 27 32))(end_p(""2 27 33)))))()(DefineRecordType((((value(LId l))(position((start_p(""2 27 38))(end_p(""2 27 39)))))((value(TyCon(TCon int)()))(position((start_p(""2 27 42))(end_p(""2 27 45))))))))))(position((start_p(""2 27 27))(end_p(""2 27 47)))))((value(DefineValue(SimpleValue(((value(Id x))(position((start_p(""4 49 53))(end_p(""4 49 54)))))(((value(ForallTy()((value(TyCon(TCon int)()))(position((start_p(""4 49 57))(end_p(""4 49 60)))))))(position((start_p(""4 49 57))(end_p(""4 49 60))))))((value(Case((value(Tagged((value(KId P))(position((start_p(""4 49 70))(end_p(""4 49 71)))))((((value(TyCon(TCon l)()))(position((start_p(""4 49 72))(end_p(""4 49 73)))))((value(TyCon(TCon int)()))(position((start_p(""4 49 75))(end_p(""4 49 78)))))))(((value(Record((((value(LId l))(position((start_p(""4 49 82))(end_p(""4 49 83)))))((value(Literal((value(LInt 22))(position((start_p(""4 49 86))(end_p(""4 49 88)))))))(position((start_p(""4 49 86))(end_p(""4 49 88)))))))(())))(position((start_p(""4 49 80))(end_p(""4 49 92)))))((value(Literal((value(LInt 33))(position((start_p(""4 49 94))(end_p(""4 49 96)))))))(position((start_p(""4 49 94))(end_p(""4 49 96))))))))(position((start_p(""4 49 70))(end_p(""4 49 97)))))(((value(Branch((value(PTaggedValue((value(KId P))(position((start_p(""5 101 103))(end_p(""5 101 104)))))((((value(TyCon(TCon l)()))(position((start_p(""5 101 105))(end_p(""5 101 106)))))((value(TyCon(TCon int)()))(position((start_p(""5 101 108))(end_p(""5 101 111)))))))(((value(PRecord((((value(LId u))(position((start_p(""5 101 116))(end_p(""5 101 117)))))((value(PTypeAnnotation((value(PVariable((value(Id x))(position((start_p(""5 101 121))(end_p(""5 101 122)))))))(position((start_p(""5 101 121))(end_p(""5 101 122)))))((value(TyCon(TCon int)()))(position((start_p(""5 101 125))(end_p(""5 101 128)))))))(position((start_p(""5 101 120))(end_p(""5 101 129)))))))(())))(position((start_p(""5 101 114))(end_p(""5 101 133)))))((value(PTypeAnnotation((value(PVariable((value(Id y))(position((start_p(""5 101 136))(end_p(""5 101 137)))))))(position((start_p(""5 101 136))(end_p(""5 101 137)))))((value(TyCon(TCon int)()))(position((start_p(""5 101 140))(end_p(""5 101 143)))))))(position((start_p(""5 101 135))(end_p(""5 101 144))))))))(position((start_p(""5 101 103))(end_p(""5 101 145)))))((value(Apply((value(Apply((value(Variable((value(Id `+`))(position((start_p(""5 101 151))(end_p(""5 101 152)))))()))(position((start_p(""5 101 151))(end_p(""5 101 152)))))((value(Variable((value(Id x))(position((start_p(""5 101 149))(end_p(""5 101 150)))))()))(position((start_p(""5 101 149))(end_p(""5 101 150)))))))(position((start_p(""5 101 149))(end_p(""5 101 150)))))((value(Variable((value(Id y))(position((start_p(""5 101 153))(end_p(""5 101 154)))))()))(position((start_p(""5 101 153))(end_p(""5 101 154)))))))(position((start_p(""5 101 149))(end_p(""5 101 154)))))))(position((start_p(""5 101 103))(end_p(""5 101 154))))))))(position((start_p(""4 49 63))(end_p(""6 155 156)))))))))(position((start_p(""4 49 49))(end_p(""6 155 156))))))
View git blame Copy permalink