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

1 line
No EOL
2.3 KiB
Text
Raw Blame History

(((value(DefineType((value(TCon p))(position((start_p(""1 0 5))(end_p(""1 0 6)))))()(DefineRecordType((((value(LId x))(position((start_p(""1 0 11))(end_p(""1 0 12)))))((value(TyCon(TCon int)()))(position((start_p(""1 0 15))(end_p(""1 0 18))))))(((value(LId y))(position((start_p(""1 0 20))(end_p(""1 0 21)))))((value(TyCon(TCon string)()))(position((start_p(""1 0 24))(end_p(""1 0 30))))))))))(position((start_p(""1 0 0))(end_p(""1 0 32)))))((value(DefineValue(SimpleValue(((value(Id p))(position((start_p(""3 34 38))(end_p(""3 34 39)))))(((value(ForallTy()((value(TyCon(TCon p)()))(position((start_p(""3 34 42))(end_p(""3 34 43)))))))(position((start_p(""3 34 42))(end_p(""3 34 43))))))((value(Record((((value(LId x))(position((start_p(""3 34 48))(end_p(""3 34 49)))))((value(Literal((value(LInt 42))(position((start_p(""3 34 52))(end_p(""3 34 54)))))))(position((start_p(""3 34 52))(end_p(""3 34 54))))))(((value(LId y))(position((start_p(""3 34 56))(end_p(""3 34 57)))))((value(Literal((value(LString Dalek))(position((start_p(""3 34 66))(end_p(""3 34 67)))))))(position((start_p(""3 34 66))(end_p(""3 34 67)))))))(())))(position((start_p(""3 34 46))(end_p(""3 34 71)))))))))(position((start_p(""3 34 34))(end_p(""3 34 71)))))((value(DefineValue(SimpleValue(((value(Id px))(position((start_p(""5 73 77))(end_p(""5 73 79)))))(((value(ForallTy()((value(TyCon(TCon string)()))(position((start_p(""5 73 82))(end_p(""5 73 88)))))))(position((start_p(""5 73 82))(end_p(""5 73 88))))))((value(Field((value(Variable((value(Id p))(position((start_p(""5 73 91))(end_p(""5 73 92)))))()))(position((start_p(""5 73 91))(end_p(""5 73 92)))))((value(LId x))(position((start_p(""5 73 93))(end_p(""5 73 94)))))()))(position((start_p(""5 73 91))(end_p(""5 73 94)))))))))(position((start_p(""5 73 73))(end_p(""5 73 94)))))((value(DefineValue(SimpleValue(((value(Id py))(position((start_p(""7 96 100))(end_p(""7 96 102)))))(((value(ForallTy()((value(TyCon(TCon string)()))(position((start_p(""7 96 105))(end_p(""7 96 111)))))))(position((start_p(""7 96 105))(end_p(""7 96 111))))))((value(Field((value(Variable((value(Id p))(position((start_p(""7 96 114))(end_p(""7 96 115)))))()))(position((start_p(""7 96 114))(end_p(""7 96 115)))))((value(LId y))(position((start_p(""7 96 116))(end_p(""7 96 117)))))()))(position((start_p(""7 96 114))(end_p(""7 96 117)))))))))(position((start_p(""7 96 96))(end_p(""7 96 117))))))
View git blame Copy permalink