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/17-polymorphic-binary-function.good.typing.hopix

1 line
2.5 KiB
Text
Raw Permalink Normal View History

Jalon 3
2023-11-15 19:08:33 +01:00
(((value(DefineValue(RecFunctions((((value(Id fst))(position((start_p(""2 29 35))(end_p(""2 29 38)))))(((value(ForallTy(((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))))))((value(TyArrow((value(TyTuple(((value(TyVar(TId `a)))(position((start_p(""1 0 15))(end_p(""1 0 17)))))((value(TyVar(TId `b)))(position((start_p(""1 0 20))(end_p(""1 0 22))))))))(position((start_p(""1 0 15))(end_p(""1 0 22)))))((value(TyVar(TId `a)))(position((start_p(""1 0 26))(end_p(""1 0 28)))))))(position((start_p(""1 0 15))(end_p(""1 0 28)))))))(position((start_p(""1 0 6))(end_p(""1 0 28))))))(FunctionDefinition((value(PTuple(((value(PTypeAnnotation((value(PVariable((value(Id x))(position((start_p(""2 29 41))(end_p(""2 29 42)))))))(position((start_p(""2 29 41))(end_p(""2 29 42)))))((value(TyVar(TId `a)))(position((start_p(""2 29 45))(end_p(""2 29 47)))))))(position((start_p(""2 29 40))(end_p(""2 29 48)))))((value(PTypeAnnotation((value(PVariable((value(Id y))(position((start_p(""2 29 51))(end_p(""2 29 52)))))))(position((start_p(""2 29 51))(end_p(""2 29 52)))))((value(TyVar(TId `b)))(position((start_p(""2 29 55))(end_p(""2 29 57)))))))(position((start_p(""2 29 50))(end_p(""2 29 58))))))))(position((start_p(""2 29 39))(end_p(""2 29 59)))))((value(Variable((value(Id x))(position((start_p(""2 29 62))(end_p(""2 29 63)))))()))(position((start_p(""2 29 62))(end_p(""2 29 63)))))))))))(position((start_p(""1 0 0))(end_p(""2 29 63)))))((value(DefineValue(SimpleValue(((value(Id main))(position((start_p(""4 65 69))(end_p(""4 65 73)))))(((value(ForallTy()((value(TyCon(TCon int)()))(position((start_p(""4 65 76))(end_p(""4 65 79)))))))(position((start_p(""4 65 76))(end_p(""4 65 79))))))((value(Apply((value(Variable((value(Id fst))(position((start_p(""5 82 86))(end_p(""5 82 89)))))((((value(TyCon(TCon int)()))(position((start_p(""5 82 90))(end_p(""5 82 93)))))((value(TyCon(TCon char)()))(position((start_p(""5 82 95))(end_p(""5 82 99)))))))))(position((start_p(""5 82 86))(end_p(""5 82 100)))))((value(Tuple(((value(Literal((value(LInt 37))(position((start_p(""5 82 102))(end_p(""5 82 104)))))))(position((start_p(""5 82 102))(end_p(""5 82 104)))))((value(Literal((value(LChar a))(position((start_p(""5 82 106))(end_p(""5 82 109)))))))(position((start_p(""5 82 106))(end_p(""5 82 109))))))))(position((start_p(""5 82 101))(end_p(""5 82 110)))))))(position((start_p(""5 82 86))(end_p(""5 82 110)))))))))(position((start_p(""4 65 65))(end_p(""5 82 110))))))
Copy permalink