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

1 line
No EOL
14 KiB
Text
Raw Blame History

(((value(DefineValue(RecFunctions((((value(Id apply))(position((start_p(""2 37 41))(end_p(""2 37 46)))))(((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(TyArrow((value(TyVar(TId `a)))(position((start_p(""1 0 16))(end_p(""1 0 18)))))((value(TyVar(TId `b)))(position((start_p(""1 0 22))(end_p(""1 0 24)))))))(position((start_p(""1 0 15))(end_p(""1 0 25)))))((value(TyVar(TId `a)))(position((start_p(""1 0 28))(end_p(""1 0 30))))))))(position((start_p(""1 0 15))(end_p(""1 0 30)))))((value(TyVar(TId `b)))(position((start_p(""1 0 34))(end_p(""1 0 36)))))))(position((start_p(""1 0 15))(end_p(""1 0 36)))))))(position((start_p(""1 0 6))(end_p(""1 0 36))))))(FunctionDefinition((value(PTuple(((value(PTypeAnnotation((value(PVariable((value(Id f))(position((start_p(""2 37 49))(end_p(""2 37 50)))))))(position((start_p(""2 37 49))(end_p(""2 37 50)))))((value(TyArrow((value(TyVar(TId `a)))(position((start_p(""2 37 53))(end_p(""2 37 55)))))((value(TyVar(TId `b)))(position((start_p(""2 37 59))(end_p(""2 37 61)))))))(position((start_p(""2 37 53))(end_p(""2 37 61)))))))(position((start_p(""2 37 48))(end_p(""2 37 62)))))((value(PTypeAnnotation((value(PVariable((value(Id x))(position((start_p(""2 37 65))(end_p(""2 37 66)))))))(position((start_p(""2 37 65))(end_p(""2 37 66)))))((value(TyVar(TId `a)))(position((start_p(""2 37 69))(end_p(""2 37 71)))))))(position((start_p(""2 37 64))(end_p(""2 37 72))))))))(position((start_p(""2 37 47))(end_p(""2 37 73)))))((value(Apply((value(Variable((value(Id f))(position((start_p(""2 37 76))(end_p(""2 37 77)))))()))(position((start_p(""2 37 76))(end_p(""2 37 77)))))((value(Variable((value(Id x))(position((start_p(""2 37 79))(end_p(""2 37 80)))))()))(position((start_p(""2 37 78))(end_p(""2 37 81)))))))(position((start_p(""2 37 76))(end_p(""2 37 81)))))))))))(position((start_p(""1 0 0))(end_p(""2 37 81)))))((value(DefineValue(RecFunctions((((value(Id curry))(position((start_p(""5 138 142))(end_p(""5 138 147)))))(((value(ForallTy(((value(TId `a))(position((start_p(""4 83 90))(end_p(""4 83 92)))))((value(TId `b))(position((start_p(""4 83 94))(end_p(""4 83 96)))))((value(TId `c))(position((start_p(""4 83 98))(end_p(""4 83 100))))))((value(TyArrow((value(TyArrow((value(TyVar(TId `a)))(position((start_p(""4 83 103))(end_p(""4 83 105)))))((value(TyArrow((value(TyVar(TId `b)))(position((start_p(""4 83 109))(end_p(""4 83 111)))))((value(TyVar(TId `c)))(position((start_p(""4 83 115))(end_p(""4 83 117)))))))(position((start_p(""4 83 109))(end_p(""4 83 117)))))))(position((start_p(""4 83 102))(end_p(""4 83 118)))))((value(TyArrow((value(TyTuple(((value(TyVar(TId `a)))(position((start_p(""4 83 123))(end_p(""4 83 125)))))((value(TyVar(TId `b)))(position((start_p(""4 83 128))(end_p(""4 83 130))))))))(position((start_p(""4 83 123))(end_p(""4 83 130)))))((value(TyVar(TId `c)))(position((start_p(""4 83 134))(end_p(""4 83 136)))))))(position((start_p(""4 83 122))(end_p(""4 83 137)))))))(position((start_p(""4 83 102))(end_p(""4 83 137)))))))(position((start_p(""4 83 89))(end_p(""4 83 137))))))(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id f))(position((start_p(""5 138 149))(end_p(""5 138 150)))))))(position((start_p(""5 138 149))(end_p(""5 138 150)))))((value(TyArrow((value(TyVar(TId `a)))(position((start_p(""5 138 153))(end_p(""5 138 155)))))((value(TyArrow((value(TyVar(TId `b)))(position((start_p(""5 138 159))(end_p(""5 138 161)))))((value(TyVar(TId `c)))(position((start_p(""5 138 165))(end_p(""5 138 167)))))))(position((start_p(""5 138 159))(end_p(""5 138 167)))))))(position((start_p(""5 138 153))(end_p(""5 138 167)))))))(position((start_p(""5 138 148))(end_p(""5 138 168)))))((value(Define(RecFunctions((((value(Id fc))(position((start_p(""7 195 203))(end_p(""7 195 205)))))(((value(ForallTy()((value(TyArrow((value(TyTuple(((value(TyVar(TId `a)))(position((start_p(""6 171 181))(end_p(""6 171 183)))))((value(TyVar(TId `b)))(position((start_p(""6 171 186))(end_p(""6 171 188))))))))(position((start_p(""6 171 181))(end_p(""6 171 188)))))((value(TyVar(TId `c)))(position((start_p(""6 171 192))(end_p(""6 171 194)))))))(position((start_p(""6 171 181))(end_p(""6 171 194)))))))(position((start_p(""6 171 181))(end_p(""6 171 194))))))(FunctionDefinition((value(PTuple(((value(PTypeAnnotation((value(PVariable((value(Id x))(position((start_p(""7 195 208))(end_p(""7 195 209)))))))(position((start_p(""7 195 208))(end_p(""7 195 209)))))((value(TyVar(TId `a)))(position((start_p(""7 195 211))(end_p(""7 195 213)))))))(position((start_p(""7 195 207))(end_p(""7 195 214)))))((value(PTypeAnnotation((value(PVariable((value(Id y))(position((start_p(""7 195 217))(end_p(""7 195 218)))))))(position((start_p(""7 195 217))(end_p(""7 195 218)))))((value(TyVar(TId `b)))(position((start_p(""7 195 221))(end_p(""7 195 223)))))))(position((start_p(""7 195 216))(end_p(""7 195 224))))))))(position((start_p(""7 195 206))(end_p(""7 195 225)))))((value(Apply((value(Apply((value(Variable((value(Id f))(position((start_p(""7 195 229))(end_p(""7 195 230)))))()))(position((start_p(""7 195 229))(end_p(""7 195 230)))))((value(Variable((value(Id x))(position((start_p(""7 195 232))(end_p(""7 195 233)))))()))(position((start_p(""7 195 231))(end_p(""7 195 234)))))))(position((start_p(""7 195 228))(end_p(""7 195 235)))))((value(Variable((value(Id y))(position((start_p(""7 195 237))(end_p(""7 195 238)))))()))(position((start_p(""7 195 236))(end_p(""7 195 239)))))))(position((start_p(""7 195 228))(end_p(""7 195 239)))))))))((value(Variable((value(Id fc))(position((start_p(""8 241 245))(end_p(""8 241 247)))))()))(position((start_p(""8 241 245))(end_p(""8 241 247)))))))(position((start_p(""6 171 175))(end_p(""8 241 247)))))))))))(position((start_p(""4 83 83))(end_p(""8 241 247)))))((value(DefineValue(RecFunctions((((value(Id uncurry))(position((start_p(""11 304 308))(end_p(""11 304 315)))))(((value(ForallTy(((value(TId `a))(position((start_p(""10 249 256))(end_p(""10 249 258)))))((value(TId `b))(position((start_p(""10 249 260))(end_p(""10 249 262)))))((value(TId `c))(position((start_p(""10 249 264))(end_p(""10 249 266))))))((value(TyArrow((value(TyArrow((value(TyTuple(((value(TyVar(TId `a)))(position((start_p(""10 249 269))(end_p(""10 249 271)))))((value(TyVar(TId `b)))(position((start_p(""10 249 274))(end_p(""10 249 276))))))))(position((start_p(""10 249 269))(end_p(""10 249 276)))))((value(TyVar(TId `c)))(position((start_p(""10 249 280))(end_p(""10 249 282)))))))(position((start_p(""10 249 268))(end_p(""10 249 283)))))((value(TyArrow((value(TyVar(TId `b)))(position((start_p(""10 249 288))(end_p(""10 249 290)))))((value(TyArrow((value(TyVar(TId `a)))(position((start_p(""10 249 294))(end_p(""10 249 296)))))((value(TyVar(TId `c)))(position((start_p(""10 249 300))(end_p(""10 249 302)))))))(position((start_p(""10 249 294))(end_p(""10 249 302)))))))(position((start_p(""10 249 287))(end_p(""10 249 303)))))))(position((start_p(""10 249 268))(end_p(""10 249 303)))))))(position((start_p(""10 249 255))(end_p(""10 249 303))))))(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id f))(position((start_p(""11 304 318))(end_p(""11 304 319)))))))(position((start_p(""11 304 318))(end_p(""11 304 319)))))((value(TyArrow((value(TyTuple(((value(TyVar(TId `a)))(position((start_p(""11 304 322))(end_p(""11 304 324)))))((value(TyVar(TId `b)))(position((start_p(""11 304 327))(end_p(""11 304 329))))))))(position((start_p(""11 304 322))(end_p(""11 304 329)))))((value(TyVar(TId `c)))(position((start_p(""11 304 333))(end_p(""11 304 335)))))))(position((start_p(""11 304 322))(end_p(""11 304 335)))))))(position((start_p(""11 304 317))(end_p(""11 304 336)))))((value(Define(RecFunctions((((value(Id fu))(position((start_p(""13 364 370))(end_p(""13 364 372)))))(((value(ForallTy()((value(TyArrow((value(TyVar(TId `a)))(position((start_p(""12 339 349))(end_p(""12 339 351)))))((value(TyArrow((value(TyVar(TId `b)))(position((start_p(""12 339 355))(end_p(""12 339 357)))))((value(TyVar(TId `c)))(position((start_p(""12 339 361))(end_p(""12 339 363)))))))(position((start_p(""12 339 355))(end_p(""12 339 363)))))))(position((start_p(""12 339 349))(end_p(""12 339 363)))))))(position((start_p(""12 339 349))(end_p(""12 339 363))))))(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id x))(position((start_p(""13 364 374))(end_p(""13 364 375)))))))(position((start_p(""13 364 374))(end_p(""13 364 375)))))((value(TyVar(TId `a)))(position((start_p(""13 364 378))(end_p(""13 364 380)))))))(position((start_p(""13 364 373))(end_p(""13 364 381)))))((value(Define(RecFunctions((((value(Id g))(position((start_p(""15 406 413))(end_p(""15 406 414)))))(((value(ForallTy()((value(TyArrow((value(TyVar(TId `b)))(position((start_p(""14 384 397))(end_p(""14 384 399)))))((value(TyVar(TId `c)))(position((start_p(""14 384 403))(end_p(""14 384 405)))))))(position((start_p(""14 384 397))(end_p(""14 384 405)))))))(position((start_p(""14 384 397))(end_p(""14 384 405))))))(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id y))(position((start_p(""15 406 416))(end_p(""15 406 417)))))))(position((start_p(""15 406 416))(end_p(""15 406 417)))))((value(TyVar(TId `b)))(position((start_p(""15 406 420))(end_p(""15 406 422)))))))(position((start_p(""15 406 415))(end_p(""15 406 423)))))((value(Apply((value(Variable((value(Id f))(position((start_p(""15 406 426))(end_p(""15 406 427)))))()))(position((start_p(""15 406 426))(end_p(""15 406 427)))))((value(Tuple(((value(Variable((value(Id x))(position((start_p(""15 406 429))(end_p(""15 406 430)))))()))(position((start_p(""15 406 429))(end_p(""15 406 430)))))((value(Variable((value(Id y))(position((start_p(""15 406 432))(end_p(""15 406 433)))))()))(position((start_p(""15 406 432))(end_p(""15 406 433))))))))(position((start_p(""15 406 428))(end_p(""15 406 434)))))))(position((start_p(""15 406 426))(end_p(""15 406 434)))))))))((value(Variable((value(Id g))(position((start_p(""16 436 442))(end_p(""16 436 443)))))()))(position((start_p(""16 436 442))(end_p(""16 436 443)))))))(position((start_p(""14 384 390))(end_p(""16 436 444)))))))))((value(Variable((value(Id fu))(position((start_p(""17 446 450))(end_p(""17 446 452)))))()))(position((start_p(""17 446 450))(end_p(""17 446 452)))))))(position((start_p(""12 339 343))(end_p(""17 446 452)))))))))))(position((start_p(""10 249 249))(end_p(""17 446 452)))))((value(DefineValue(RecFunctions((((value(Id id_int))(position((start_p(""20 471 474))(end_p(""20 471 480)))))(((value(ForallTy()((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""19 454 460))(end_p(""19 454 463)))))((value(TyCon(TCon int)()))(position((start_p(""19 454 467))(end_p(""19 454 470)))))))(position((start_p(""19 454 460))(end_p(""19 454 470)))))))(position((start_p(""19 454 460))(end_p(""19 454 470))))))(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id x))(position((start_p(""20 471 482))(end_p(""20 471 483)))))))(position((start_p(""20 471 482))(end_p(""20 471 483)))))((value(TyCon(TCon int)()))(position((start_p(""20 471 486))(end_p(""20 471 489)))))))(position((start_p(""20 471 481))(end_p(""20 471 490)))))((value(Variable((value(Id x))(position((start_p(""20 471 493))(end_p(""20 471 494)))))()))(position((start_p(""20 471 493))(end_p(""20 471 494)))))))))))(position((start_p(""19 454 454))(end_p(""20 471 494)))))((value(DefineValue(SimpleValue(((value(Id main))(position((start_p(""22 496 500))(end_p(""22 496 504)))))(((value(ForallTy()((value(TyCon(TCon int)()))(position((start_p(""22 496 507))(end_p(""22 496 510)))))))(position((start_p(""22 496 507))(end_p(""22 496 510))))))((value(Apply((value(Apply((value(Variable((value(Id curry))(position((start_p(""23 513 517))(end_p(""23 513 522)))))((((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""23 513 523))(end_p(""23 513 526)))))((value(TyCon(TCon int)()))(position((start_p(""23 513 530))(end_p(""23 513 533)))))))(position((start_p(""23 513 523))(end_p(""23 513 533)))))((value(TyCon(TCon int)()))(position((start_p(""23 513 535))(end_p(""23 513 538)))))((value(TyCon(TCon int)()))(position((start_p(""23 513 540))(end_p(""23 513 543)))))))))(position((start_p(""23 513 517))(end_p(""23 513 544)))))((value(Apply((value(Variable((value(Id uncurry))(position((start_p(""23 513 546))(end_p(""23 513 553)))))((((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""23 513 554))(end_p(""23 513 557)))))((value(TyCon(TCon int)()))(position((start_p(""23 513 561))(end_p(""23 513 564)))))))(position((start_p(""23 513 554))(end_p(""23 513 564)))))((value(TyCon(TCon int)()))(position((start_p(""23 513 566))(end_p(""23 513 569)))))((value(TyCon(TCon int)()))(position((start_p(""23 513 571))(end_p(""23 513 574)))))))))(position((start_p(""23 513 546))(end_p(""23 513 575)))))((value(Variable((value(Id apply))(position((start_p(""23 513 577))(end_p(""23 513 582)))))((((value(TyCon(TCon int)()))(position((start_p(""23 513 583))(end_p(""23 513 586)))))((value(TyCon(TCon int)()))(position((start_p(""23 513 588))(end_p(""23 513 591)))))))))(position((start_p(""23 513 576))(end_p(""23 513 593)))))))(position((start_p(""23 513 545))(end_p(""23 513 594)))))))(position((start_p(""23 513 516))(end_p(""23 513 595)))))((value(Tuple(((value(Variable((value(Id id_int))(position((start_p(""23 513 597))(end_p(""23 513 603)))))()))(position((start_p(""23 513 597))(end_p(""23 513 603)))))((value(Literal((value(LInt 37))(position((start_p(""23 513 605))(end_p(""23 513 607)))))))(position((start_p(""23 513 605))(end_p(""23 513 607))))))))(position((start_p(""23 513 596))(end_p(""23 513 608)))))))(position((start_p(""23 513 516))(end_p(""23 513 608)))))))))(position((start_p(""22 496 496))(end_p(""23 513 608))))))
View git blame Copy permalink