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.good.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 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 int)()))(position((start_p(""5 73 82))(end_p(""5 73 85)))))))(position((start_p(""5 73 82))(end_p(""5 73 85))))))((value(Field((value(Variable((value(Id p))(position((start_p(""5 73 88))(end_p(""5 73 89)))))()))(position((start_p(""5 73 88))(end_p(""5 73 89)))))((value(LId x))(position((start_p(""5 73 90))(end_p(""5 73 91)))))()))(position((start_p(""5 73 88))(end_p(""5 73 91)))))))))(position((start_p(""5 73 73))(end_p(""5 73 91)))))((value(DefineValue(SimpleValue(((value(Id py))(position((start_p(""7 93 97))(end_p(""7 93 99)))))(((value(ForallTy()((value(TyCon(TCon string)()))(position((start_p(""7 93 102))(end_p(""7 93 108)))))))(position((start_p(""7 93 102))(end_p(""7 93 108))))))((value(Field((value(Variable((value(Id p))(position((start_p(""7 93 111))(end_p(""7 93 112)))))()))(position((start_p(""7 93 111))(end_p(""7 93 112)))))((value(LId y))(position((start_p(""7 93 113))(end_p(""7 93 114)))))()))(position((start_p(""7 93 111))(end_p(""7 93 114)))))))))(position((start_p(""7 93 93))(end_p(""7 93 114))))))
Copy permalink