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/29-anonymous-nary-functions.good.typing.hopix
Adrien Guatto 6355f88c0f Jalon 3
2023-11-15 19:08:33 +01:00

1 line
No EOL
24 KiB
Text
Raw Blame History

(((value(DefineValue(RecFunctions((((value(Id apply))(position((start_p(""2 33 37))(end_p(""2 33 42)))))(((value(ForallTy()((value(TyArrow((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""1 0 7))(end_p(""1 0 10)))))((value(TyCon(TCon int)()))(position((start_p(""1 0 14))(end_p(""1 0 17)))))))(position((start_p(""1 0 6))(end_p(""1 0 18)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""1 0 22))(end_p(""1 0 25)))))((value(TyCon(TCon int)()))(position((start_p(""1 0 29))(end_p(""1 0 32)))))))(position((start_p(""1 0 22))(end_p(""1 0 32)))))))(position((start_p(""1 0 6))(end_p(""1 0 32)))))))(position((start_p(""1 0 6))(end_p(""1 0 32))))))(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id f))(position((start_p(""2 33 44))(end_p(""2 33 45)))))))(position((start_p(""2 33 44))(end_p(""2 33 45)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""2 33 48))(end_p(""2 33 51)))))((value(TyCon(TCon int)()))(position((start_p(""2 33 55))(end_p(""2 33 58)))))))(position((start_p(""2 33 48))(end_p(""2 33 58)))))))(position((start_p(""2 33 43))(end_p(""2 33 59)))))((value(TypeAnnotation((value(Fun(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id x))(position((start_p(""3 62 69))(end_p(""3 62 70)))))))(position((start_p(""3 62 69))(end_p(""3 62 70)))))((value(TyCon(TCon int)()))(position((start_p(""3 62 73))(end_p(""3 62 76)))))))(position((start_p(""3 62 68))(end_p(""3 62 77)))))((value(Apply((value(Variable((value(Id f))(position((start_p(""3 62 81))(end_p(""3 62 82)))))()))(position((start_p(""3 62 81))(end_p(""3 62 82)))))((value(Variable((value(Id x))(position((start_p(""3 62 84))(end_p(""3 62 85)))))()))(position((start_p(""3 62 83))(end_p(""3 62 86)))))))(position((start_p(""3 62 81))(end_p(""3 62 86))))))))(position((start_p(""3 62 67))(end_p(""3 62 86)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""3 62 89))(end_p(""3 62 92)))))((value(TyCon(TCon int)()))(position((start_p(""3 62 96))(end_p(""3 62 99)))))))(position((start_p(""3 62 89))(end_p(""3 62 99)))))))(position((start_p(""3 62 66))(end_p(""3 62 100)))))))))))(position((start_p(""1 0 0))(end_p(""3 62 100)))))((value(DefineValue(RecFunctions((((value(Id succ))(position((start_p(""6 119 123))(end_p(""6 119 127)))))(((value(ForallTy()((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""5 102 108))(end_p(""5 102 111)))))((value(TyCon(TCon int)()))(position((start_p(""5 102 115))(end_p(""5 102 118)))))))(position((start_p(""5 102 108))(end_p(""5 102 118)))))))(position((start_p(""5 102 108))(end_p(""5 102 118))))))(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id x))(position((start_p(""6 119 129))(end_p(""6 119 130)))))))(position((start_p(""6 119 129))(end_p(""6 119 130)))))((value(TyCon(TCon int)()))(position((start_p(""6 119 133))(end_p(""6 119 136)))))))(position((start_p(""6 119 128))(end_p(""6 119 137)))))((value(Apply((value(Apply((value(Variable((value(Id `+`))(position((start_p(""6 119 142))(end_p(""6 119 143)))))()))(position((start_p(""6 119 142))(end_p(""6 119 143)))))((value(Variable((value(Id x))(position((start_p(""6 119 140))(end_p(""6 119 141)))))()))(position((start_p(""6 119 140))(end_p(""6 119 141)))))))(position((start_p(""6 119 140))(end_p(""6 119 141)))))((value(Literal((value(LInt 1))(position((start_p(""6 119 144))(end_p(""6 119 145)))))))(position((start_p(""6 119 144))(end_p(""6 119 145)))))))(position((start_p(""6 119 140))(end_p(""6 119 145)))))))))))(position((start_p(""5 102 102))(end_p(""6 119 145)))))((value(DefineValue(RecFunctions((((value(Id apply2))(position((start_p(""9 194 198))(end_p(""9 194 204)))))(((value(ForallTy()((value(TyArrow((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""8 147 154))(end_p(""8 147 157)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""8 147 161))(end_p(""8 147 164)))))((value(TyCon(TCon int)()))(position((start_p(""8 147 168))(end_p(""8 147 171)))))))(position((start_p(""8 147 161))(end_p(""8 147 171)))))))(position((start_p(""8 147 153))(end_p(""8 147 172)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""8 147 176))(end_p(""8 147 179)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""8 147 183))(end_p(""8 147 186)))))((value(TyCon(TCon int)()))(position((start_p(""8 147 190))(end_p(""8 147 193)))))))(position((start_p(""8 147 183))(end_p(""8 147 193)))))))(position((start_p(""8 147 176))(end_p(""8 147 193)))))))(position((start_p(""8 147 153))(end_p(""8 147 193)))))))(position((start_p(""8 147 153))(end_p(""8 147 193))))))(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id f))(position((start_p(""9 194 206))(end_p(""9 194 207)))))))(position((start_p(""9 194 206))(end_p(""9 194 207)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""9 194 210))(end_p(""9 194 213)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""9 194 217))(end_p(""9 194 220)))))((value(TyCon(TCon int)()))(position((start_p(""9 194 224))(end_p(""9 194 227)))))))(position((start_p(""9 194 217))(end_p(""9 194 227)))))))(position((start_p(""9 194 210))(end_p(""9 194 227)))))))(position((start_p(""9 194 205))(end_p(""9 194 228)))))((value(TypeAnnotation((value(Fun(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id x))(position((start_p(""10 231 238))(end_p(""10 231 239)))))))(position((start_p(""10 231 238))(end_p(""10 231 239)))))((value(TyCon(TCon int)()))(position((start_p(""10 231 242))(end_p(""10 231 245)))))))(position((start_p(""10 231 237))(end_p(""10 231 246)))))((value(TypeAnnotation((value(Fun(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id y))(position((start_p(""11 250 258))(end_p(""11 250 259)))))))(position((start_p(""11 250 258))(end_p(""11 250 259)))))((value(TyCon(TCon int)()))(position((start_p(""11 250 262))(end_p(""11 250 265)))))))(position((start_p(""11 250 257))(end_p(""11 250 266)))))((value(Apply((value(Apply((value(Variable((value(Id f))(position((start_p(""11 250 270))(end_p(""11 250 271)))))()))(position((start_p(""11 250 270))(end_p(""11 250 271)))))((value(Variable((value(Id x))(position((start_p(""11 250 272))(end_p(""11 250 273)))))()))(position((start_p(""11 250 272))(end_p(""11 250 273)))))))(position((start_p(""11 250 270))(end_p(""11 250 273)))))((value(Variable((value(Id y))(position((start_p(""11 250 274))(end_p(""11 250 275)))))()))(position((start_p(""11 250 274))(end_p(""11 250 275)))))))(position((start_p(""11 250 270))(end_p(""11 250 275))))))))(position((start_p(""11 250 256))(end_p(""11 250 275)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""11 250 278))(end_p(""11 250 281)))))((value(TyCon(TCon int)()))(position((start_p(""11 250 285))(end_p(""11 250 288)))))))(position((start_p(""11 250 278))(end_p(""11 250 288)))))))(position((start_p(""11 250 255))(end_p(""11 250 289))))))))(position((start_p(""10 231 236))(end_p(""11 250 289)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""11 250 292))(end_p(""11 250 295)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""11 250 299))(end_p(""11 250 302)))))((value(TyCon(TCon int)()))(position((start_p(""11 250 306))(end_p(""11 250 309)))))))(position((start_p(""11 250 299))(end_p(""11 250 309)))))))(position((start_p(""11 250 292))(end_p(""11 250 309)))))))(position((start_p(""10 231 235))(end_p(""11 250 310)))))))))))(position((start_p(""8 147 147))(end_p(""11 250 310)))))((value(DefineValue(RecFunctions((((value(Id addmul))(position((start_p(""14 336 341))(end_p(""14 336 347)))))(((value(ForallTy()((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""13 312 318))(end_p(""13 312 321)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""13 312 325))(end_p(""13 312 328)))))((value(TyCon(TCon int)()))(position((start_p(""13 312 332))(end_p(""13 312 335)))))))(position((start_p(""13 312 325))(end_p(""13 312 335)))))))(position((start_p(""13 312 318))(end_p(""13 312 335)))))))(position((start_p(""13 312 318))(end_p(""13 312 335))))))(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id x))(position((start_p(""14 336 349))(end_p(""14 336 350)))))))(position((start_p(""14 336 349))(end_p(""14 336 350)))))((value(TyCon(TCon int)()))(position((start_p(""14 336 353))(end_p(""14 336 356)))))))(position((start_p(""14 336 348))(end_p(""14 336 357)))))((value(TypeAnnotation((value(Fun(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id y))(position((start_p(""14 336 363))(end_p(""14 336 364)))))))(position((start_p(""14 336 363))(end_p(""14 336 364)))))((value(TyCon(TCon int)()))(position((start_p(""14 336 367))(end_p(""14 336 370)))))))(position((start_p(""14 336 362))(end_p(""14 336 371)))))((value(Apply((value(Apply((value(Variable((value(Id `+`))(position((start_p(""14 336 381))(end_p(""14 336 382)))))()))(position((start_p(""14 336 381))(end_p(""14 336 382)))))((value(Apply((value(Apply((value(Variable((value(Id `*`))(position((start_p(""14 336 377))(end_p(""14 336 378)))))()))(position((start_p(""14 336 377))(end_p(""14 336 378)))))((value(Variable((value(Id x))(position((start_p(""14 336 375))(end_p(""14 336 376)))))()))(position((start_p(""14 336 375))(end_p(""14 336 376)))))))(position((start_p(""14 336 375))(end_p(""14 336 376)))))((value(Variable((value(Id y))(position((start_p(""14 336 379))(end_p(""14 336 380)))))()))(position((start_p(""14 336 379))(end_p(""14 336 380)))))))(position((start_p(""14 336 375))(end_p(""14 336 380)))))))(position((start_p(""14 336 375))(end_p(""14 336 380)))))((value(Apply((value(Apply((value(Variable((value(Id `*`))(position((start_p(""14 336 385))(end_p(""14 336 386)))))()))(position((start_p(""14 336 385))(end_p(""14 336 386)))))((value(Variable((value(Id y))(position((start_p(""14 336 383))(end_p(""14 336 384)))))()))(position((start_p(""14 336 383))(end_p(""14 336 384)))))))(position((start_p(""14 336 383))(end_p(""14 336 384)))))((value(Variable((value(Id x))(position((start_p(""14 336 387))(end_p(""14 336 388)))))()))(position((start_p(""14 336 387))(end_p(""14 336 388)))))))(position((start_p(""14 336 383))(end_p(""14 336 388)))))))(position((start_p(""14 336 375))(end_p(""14 336 388))))))))(position((start_p(""14 336 361))(end_p(""14 336 388)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""14 336 391))(end_p(""14 336 394)))))((value(TyCon(TCon int)()))(position((start_p(""14 336 398))(end_p(""14 336 401)))))))(position((start_p(""14 336 391))(end_p(""14 336 401)))))))(position((start_p(""14 336 360))(end_p(""14 336 402)))))))))))(position((start_p(""13 312 312))(end_p(""14 336 402)))))((value(DefineValue(RecFunctions((((value(Id apply3))(position((start_p(""17 465 469))(end_p(""17 465 475)))))(((value(ForallTy()((value(TyArrow((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""16 404 411))(end_p(""16 404 414)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""16 404 418))(end_p(""16 404 421)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""16 404 425))(end_p(""16 404 428)))))((value(TyCon(TCon int)()))(position((start_p(""16 404 432))(end_p(""16 404 435)))))))(position((start_p(""16 404 425))(end_p(""16 404 435)))))))(position((start_p(""16 404 418))(end_p(""16 404 435)))))))(position((start_p(""16 404 410))(end_p(""16 404 436)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""16 404 440))(end_p(""16 404 443)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""16 404 447))(end_p(""16 404 450)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""16 404 454))(end_p(""16 404 457)))))((value(TyCon(TCon int)()))(position((start_p(""16 404 461))(end_p(""16 404 464)))))))(position((start_p(""16 404 454))(end_p(""16 404 464)))))))(position((start_p(""16 404 447))(end_p(""16 404 464)))))))(position((start_p(""16 404 440))(end_p(""16 404 464)))))))(position((start_p(""16 404 410))(end_p(""16 404 464)))))))(position((start_p(""16 404 410))(end_p(""16 404 464))))))(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id f))(position((start_p(""17 465 477))(end_p(""17 465 478)))))))(position((start_p(""17 465 477))(end_p(""17 465 478)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""17 465 481))(end_p(""17 465 484)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""17 465 488))(end_p(""17 465 491)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""17 465 495))(end_p(""17 465 498)))))((value(TyCon(TCon int)()))(position((start_p(""17 465 502))(end_p(""17 465 505)))))))(position((start_p(""17 465 495))(end_p(""17 465 505)))))))(position((start_p(""17 465 488))(end_p(""17 465 505)))))))(position((start_p(""17 465 481))(end_p(""17 465 505)))))))(position((start_p(""17 465 476))(end_p(""17 465 506)))))((value(TypeAnnotation((value(Fun(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id x))(position((start_p(""18 509 516))(end_p(""18 509 517)))))))(position((start_p(""18 509 516))(end_p(""18 509 517)))))((value(TyCon(TCon int)()))(position((start_p(""18 509 520))(end_p(""18 509 523)))))))(position((start_p(""18 509 515))(end_p(""18 509 524)))))((value(TypeAnnotation((value(Fun(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id y))(position((start_p(""19 528 537))(end_p(""19 528 538)))))))(position((start_p(""19 528 537))(end_p(""19 528 538)))))((value(TyCon(TCon int)()))(position((start_p(""19 528 541))(end_p(""19 528 544)))))))(position((start_p(""19 528 536))(end_p(""19 528 545)))))((value(TypeAnnotation((value(Fun(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id z))(position((start_p(""20 549 560))(end_p(""20 549 561)))))))(position((start_p(""20 549 560))(end_p(""20 549 561)))))((value(TyCon(TCon int)()))(position((start_p(""20 549 564))(end_p(""20 549 567)))))))(position((start_p(""20 549 559))(end_p(""20 549 568)))))((value(Apply((value(Apply((value(Apply((value(Variable((value(Id f))(position((start_p(""20 549 572))(end_p(""20 549 573)))))()))(position((start_p(""20 549 572))(end_p(""20 549 573)))))((value(Variable((value(Id x))(position((start_p(""20 549 574))(end_p(""20 549 575)))))()))(position((start_p(""20 549 574))(end_p(""20 549 575)))))))(position((start_p(""20 549 572))(end_p(""20 549 575)))))((value(Variable((value(Id y))(position((start_p(""20 549 576))(end_p(""20 549 577)))))()))(position((start_p(""20 549 576))(end_p(""20 549 577)))))))(position((start_p(""20 549 572))(end_p(""20 549 577)))))((value(Variable((value(Id z))(position((start_p(""20 549 578))(end_p(""20 549 579)))))()))(position((start_p(""20 549 578))(end_p(""20 549 579)))))))(position((start_p(""20 549 572))(end_p(""20 549 579))))))))(position((start_p(""20 549 558))(end_p(""20 549 579)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""20 549 582))(end_p(""20 549 585)))))((value(TyCon(TCon int)()))(position((start_p(""20 549 589))(end_p(""20 549 592)))))))(position((start_p(""20 549 582))(end_p(""20 549 592)))))))(position((start_p(""20 549 557))(end_p(""20 549 593))))))))(position((start_p(""19 528 535))(end_p(""20 549 593)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""21 594 602))(end_p(""21 594 605)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""21 594 609))(end_p(""21 594 612)))))((value(TyCon(TCon int)()))(position((start_p(""21 594 616))(end_p(""21 594 619)))))))(position((start_p(""21 594 609))(end_p(""21 594 619)))))))(position((start_p(""21 594 602))(end_p(""21 594 619)))))))(position((start_p(""19 528 534))(end_p(""21 594 620))))))))(position((start_p(""18 509 514))(end_p(""21 594 620)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""22 621 627))(end_p(""22 621 630)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""22 621 634))(end_p(""22 621 637)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""22 621 641))(end_p(""22 621 644)))))((value(TyCon(TCon int)()))(position((start_p(""22 621 648))(end_p(""22 621 651)))))))(position((start_p(""22 621 641))(end_p(""22 621 651)))))))(position((start_p(""22 621 634))(end_p(""22 621 651)))))))(position((start_p(""22 621 627))(end_p(""22 621 651)))))))(position((start_p(""18 509 513))(end_p(""22 621 652)))))))))))(position((start_p(""16 404 404))(end_p(""22 621 652)))))((value(DefineValue(SimpleValue(((value(Id conj))(position((start_p(""24 654 658))(end_p(""24 654 662)))))(((value(ForallTy()((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""24 654 665))(end_p(""24 654 668)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""24 654 672))(end_p(""24 654 675)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""24 654 679))(end_p(""24 654 682)))))((value(TyCon(TCon int)()))(position((start_p(""24 654 686))(end_p(""24 654 689)))))))(position((start_p(""24 654 679))(end_p(""24 654 689)))))))(position((start_p(""24 654 672))(end_p(""24 654 689)))))))(position((start_p(""24 654 665))(end_p(""24 654 689)))))))(position((start_p(""24 654 665))(end_p(""24 654 689))))))((value(TypeAnnotation((value(Fun(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id x))(position((start_p(""25 692 699))(end_p(""25 692 700)))))))(position((start_p(""25 692 699))(end_p(""25 692 700)))))((value(TyCon(TCon int)()))(position((start_p(""25 692 703))(end_p(""25 692 706)))))))(position((start_p(""25 692 698))(end_p(""25 692 707)))))((value(TypeAnnotation((value(Fun(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id y))(position((start_p(""26 711 721))(end_p(""26 711 722)))))))(position((start_p(""26 711 721))(end_p(""26 711 722)))))((value(TyCon(TCon int)()))(position((start_p(""26 711 725))(end_p(""26 711 728)))))))(position((start_p(""26 711 720))(end_p(""26 711 729)))))((value(TypeAnnotation((value(Fun(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id z))(position((start_p(""27 733 745))(end_p(""27 733 746)))))))(position((start_p(""27 733 745))(end_p(""27 733 746)))))((value(TyCon(TCon int)()))(position((start_p(""27 733 749))(end_p(""27 733 752)))))))(position((start_p(""27 733 744))(end_p(""27 733 753)))))((value(Apply((value(Apply((value(Variable((value(Id `*`))(position((start_p(""27 733 763))(end_p(""27 733 764)))))()))(position((start_p(""27 733 763))(end_p(""27 733 764)))))((value(Apply((value(Apply((value(Variable((value(Id `*`))(position((start_p(""27 733 759))(end_p(""27 733 760)))))()))(position((start_p(""27 733 759))(end_p(""27 733 760)))))((value(Variable((value(Id x))(position((start_p(""27 733 757))(end_p(""27 733 758)))))()))(position((start_p(""27 733 757))(end_p(""27 733 758)))))))(position((start_p(""27 733 757))(end_p(""27 733 758)))))((value(Variable((value(Id y))(position((start_p(""27 733 761))(end_p(""27 733 762)))))()))(position((start_p(""27 733 761))(end_p(""27 733 762)))))))(position((start_p(""27 733 757))(end_p(""27 733 762)))))))(position((start_p(""27 733 757))(end_p(""27 733 762)))))((value(Variable((value(Id z))(position((start_p(""27 733 765))(end_p(""27 733 766)))))()))(position((start_p(""27 733 765))(end_p(""27 733 766)))))))(position((start_p(""27 733 757))(end_p(""27 733 766))))))))(position((start_p(""27 733 743))(end_p(""27 733 766)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""27 733 769))(end_p(""27 733 772)))))((value(TyCon(TCon int)()))(position((start_p(""27 733 776))(end_p(""27 733 779)))))))(position((start_p(""27 733 769))(end_p(""27 733 779)))))))(position((start_p(""27 733 742))(end_p(""27 733 780))))))))(position((start_p(""26 711 719))(end_p(""27 733 780)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""28 781 790))(end_p(""28 781 793)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""28 781 797))(end_p(""28 781 800)))))((value(TyCon(TCon int)()))(position((start_p(""28 781 804))(end_p(""28 781 807)))))))(position((start_p(""28 781 797))(end_p(""28 781 807)))))))(position((start_p(""28 781 790))(end_p(""28 781 807)))))))(position((start_p(""26 711 718))(end_p(""28 781 808))))))))(position((start_p(""25 692 697))(end_p(""28 781 808)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""29 809 815))(end_p(""29 809 818)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""29 809 822))(end_p(""29 809 825)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""29 809 829))(end_p(""29 809 832)))))((value(TyCon(TCon int)()))(position((start_p(""29 809 836))(end_p(""29 809 839)))))))(position((start_p(""29 809 829))(end_p(""29 809 839)))))))(position((start_p(""29 809 822))(end_p(""29 809 839)))))))(position((start_p(""29 809 815))(end_p(""29 809 839)))))))(position((start_p(""25 692 696))(end_p(""29 809 840)))))))))(position((start_p(""24 654 654))(end_p(""29 809 840)))))((value(DefineValue(SimpleValue(((value(Id main))(position((start_p(""31 842 846))(end_p(""31 842 850)))))(((value(ForallTy()((value(TyCon(TCon int)()))(position((start_p(""31 842 853))(end_p(""31 842 856)))))))(position((start_p(""31 842 853))(end_p(""31 842 856))))))((value(Apply((value(Apply((value(Variable((value(Id `+`))(position((start_p(""33 881 903))(end_p(""33 881 904)))))()))(position((start_p(""33 881 903))(end_p(""33 881 904)))))((value(Apply((value(Apply((value(Variable((value(Id `+`))(position((start_p(""32 859 879))(end_p(""32 859 880)))))()))(position((start_p(""32 859 879))(end_p(""32 859 880)))))((value(Apply((value(Apply((value(Variable((value(Id apply))(position((start_p(""32 859 863))(end_p(""32 859 868)))))()))(position((start_p(""32 859 863))(end_p(""32 859 868)))))((value(Variable((value(Id succ))(position((start_p(""32 859 869))(end_p(""32 859 873)))))()))(position((start_p(""32 859 869))(end_p(""32 859 873)))))))(position((start_p(""32 859 863))(end_p(""32 859 873)))))((value(Literal((value(LInt -1))(position((start_p(""32 859 875))(end_p(""32 859 877)))))))(position((start_p(""32 859 874))(end_p(""32 859 878)))))))(position((start_p(""32 859 863))(end_p(""32 859 878)))))))(position((start_p(""32 859 863))(end_p(""32 859 878)))))((value(Apply((value(Apply((value(Apply((value(Variable((value(Id apply2))(position((start_p(""33 881 885))(end_p(""33 881 891)))))()))(position((start_p(""33 881 885))(end_p(""33 881 891)))))((value(Variable((value(Id addmul))(position((start_p(""33 881 892))(end_p(""33 881 898)))))()))(position((start_p(""33 881 892))(end_p(""33 881 898)))))))(position((start_p(""33 881 885))(end_p(""33 881 898)))))((value(Literal((value(LInt 3))(position((start_p(""33 881 899))(end_p(""33 881 900)))))))(position((start_p(""33 881 899))(end_p(""33 881 900)))))))(position((start_p(""33 881 885))(end_p(""33 881 900)))))((value(Literal((value(LInt 7))(position((start_p(""33 881 901))(end_p(""33 881 902)))))))(position((start_p(""33 881 901))(end_p(""33 881 902)))))))(position((start_p(""33 881 885))(end_p(""33 881 902)))))))(position((start_p(""32 859 863))(end_p(""33 881 902)))))))(position((start_p(""32 859 863))(end_p(""33 881 902)))))((value(Apply((value(Apply((value(Apply((value(Apply((value(Variable((value(Id apply3))(position((start_p(""34 905 909))(end_p(""34 905 915)))))()))(position((start_p(""34 905 909))(end_p(""34 905 915)))))((value(Variable((value(Id conj))(position((start_p(""34 905 916))(end_p(""34 905 920)))))()))(position((start_p(""34 905 916))(end_p(""34 905 920)))))))(position((start_p(""34 905 909))(end_p(""34 905 920)))))((value(Literal((value(LInt 0))(position((start_p(""34 905 921))(end_p(""34 905 922)))))))(position((start_p(""34 905 921))(end_p(""34 905 922)))))))(position((start_p(""34 905 909))(end_p(""34 905 922)))))((value(Literal((value(LInt 1))(position((start_p(""34 905 923))(end_p(""34 905 924)))))))(position((start_p(""34 905 923))(end_p(""34 905 924)))))))(position((start_p(""34 905 909))(end_p(""34 905 924)))))((value(Literal((value(LInt 2))(position((start_p(""34 905 925))(end_p(""34 905 926)))))))(position((start_p(""34 905 925))(end_p(""34 905 926)))))))(position((start_p(""34 905 909))(end_p(""34 905 926)))))))(position((start_p(""32 859 863))(end_p(""34 905 926)))))))))(position((start_p(""31 842 842))(end_p(""34 905 926))))))
View git blame Copy permalink