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/31-constructor.good.typing.hopix

1 line
1.7 KiB
Text
Raw Permalink Normal View History

Jalon 3
2023-11-15 19:08:33 +01:00
(((value(DefineType((value(TCon color))(position((start_p(""1 0 5))(end_p(""1 0 10)))))()(DefineSumType((((value(KId Red))(position((start_p(""1 0 13))(end_p(""1 0 16)))))())(((value(KId Blue))(position((start_p(""1 0 19))(end_p(""1 0 23)))))())(((value(KId Green))(position((start_p(""1 0 26))(end_p(""1 0 31)))))())))))(position((start_p(""1 0 0))(end_p(""1 0 31)))))((value(DefineValue(SimpleValue(((value(Id red))(position((start_p(""3 33 37))(end_p(""3 33 40)))))(((value(ForallTy()((value(TyCon(TCon color)()))(position((start_p(""3 33 45))(end_p(""3 33 50)))))))(position((start_p(""3 33 45))(end_p(""3 33 50))))))((value(Tagged((value(KId Red))(position((start_p(""3 33 53))(end_p(""3 33 56)))))(())()))(position((start_p(""3 33 53))(end_p(""3 33 58)))))))))(position((start_p(""3 33 33))(end_p(""3 33 58)))))((value(DefineValue(SimpleValue(((value(Id blue))(position((start_p(""4 59 63))(end_p(""4 59 67)))))(((value(ForallTy()((value(TyCon(TCon color)()))(position((start_p(""4 59 71))(end_p(""4 59 76)))))))(position((start_p(""4 59 71))(end_p(""4 59 76))))))((value(Tagged((value(KId Blue))(position((start_p(""4 59 79))(end_p(""4 59 83)))))(())()))(position((start_p(""4 59 79))(end_p(""4 59 85)))))))))(position((start_p(""4 59 59))(end_p(""4 59 85)))))((value(DefineValue(SimpleValue(((value(Id green))(position((start_p(""5 86 90))(end_p(""5 86 95)))))(((value(ForallTy()((value(TyCon(TCon color)()))(position((start_p(""5 86 98))(end_p(""5 86 103)))))))(position((start_p(""5 86 98))(end_p(""5 86 103))))))((value(Tagged((value(KId Green))(position((start_p(""5 86 106))(end_p(""5 86 111)))))(())()))(position((start_p(""5 86 106))(end_p(""5 86 113)))))))))(position((start_p(""5 86 86))(end_p(""5 86 113))))))
Copy permalink