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.bad.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(TyCon(TCon int)()))(position((start_p(""21 594 609))(end_p(""21 594 612)))))))(position((start_p(""21 594 602))(end_p(""21 594 612)))))))(position((start_p(""19 528 534))(end_p(""21 594 613))))))))(position((start_p(""18 509 514))(end_p(""21 594 613)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""22 614 620))(end_p(""22 614 623)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""22 614 627))(end_p(""22 614 630)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""22 614 634))(end_p(""22 614 637)))))((value(TyCon(TCon int)()))(position((start_p(""22 614 641))(end_p(""22 614 644)))))))(position((start_p(""22 614 634))(end_p(""22 614 644)))))))(position((start_p(""22 614 627))(end_p(""22 614 644)))))))(position((start_p(""22 614 620))(end_p(""22 614 644)))))))(position((start_p(""18 509 513))(end_p(""22 614 645)))))))))))(position((start_p(""16 404 404))(end_p(""22 614 645)))))((value(DefineValue(SimpleValue(((value(Id conj))(position((start_p(""24 647 651))(end_p(""24 647 655)))))(((value(ForallTy()((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""24 647 658))(end_p(""24 647 661)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""24 647 665))(end_p(""24 647 668)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""24 647 672))(end_p(""24 647 675)))))((value(TyCon(TCon int)()))(position((start_p(""24 647 679))(end_p(""24 647 682)))))))(position((start_p(""24 647 672))(end_p(""24 647 682)))))))(position((start_p(""24 647 665))(end_p(""24 647 682)))))))(position((start_p(""24 647 658))(end_p(""24 647 682)))))))(position((start_p(""24 647 658))(end_p(""24 647 682))))))((value(TypeAnnotation((value(Fun(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id x))(position((start_p(""25 685 692))(end_p(""25 685 693)))))))(position((start_p(""25 685 692))(end_p(""25 685 693)))))((value(TyCon(TCon int)()))(position((start_p(""25 685 696))(end_p(""25 685 699)))))))(position((start_p(""25 685 691))(end_p(""25 685 700)))))((value(TypeAnnotation((value(Fun(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id y))(position((start_p(""26 704 714))(end_p(""26 704 715)))))))(position((start_p(""26 704 714))(end_p(""26 704 715)))))((value(TyCon(TCon int)()))(position((start_p(""26 704 718))(end_p(""26 704 721)))))))(position((start_p(""26 704 713))(end_p(""26 704 722)))))((value(TypeAnnotation((value(Fun(FunctionDefinition((value(PTypeAnnotation((value(PVariable((value(Id z))(position((start_p(""27 726 738))(end_p(""27 726 739)))))))(position((start_p(""27 726 738))(end_p(""27 726 739)))))((value(TyCon(TCon int)()))(position((start_p(""27 726 742))(end_p(""27 726 745)))))))(position((start_p(""27 726 737))(end_p(""27 726 746)))))((value(Apply((value(Apply((value(Variable((value(Id `*`))(position((start_p(""27 726 756))(end_p(""27 726 757)))))()))(position((start_p(""27 726 756))(end_p(""27 726 757)))))((value(Apply((value(Apply((value(Variable((value(Id `*`))(position((start_p(""27 726 752))(end_p(""27 726 753)))))()))(position((start_p(""27 726 752))(end_p(""27 726 753)))))((value(Variable((value(Id x))(position((start_p(""27 726 750))(end_p(""27 726 751)))))()))(position((start_p(""27 726 750))(end_p(""27 726 751)))))))(position((start_p(""27 726 750))(end_p(""27 726 751)))))((value(Variable((value(Id y))(position((start_p(""27 726 754))(end_p(""27 726 755)))))()))(position((start_p(""27 726 754))(end_p(""27 726 755)))))))(position((start_p(""27 726 750))(end_p(""27 726 755)))))))(position((start_p(""27 726 750))(end_p(""27 726 755)))))((value(Variable((value(Id z))(position((start_p(""27 726 758))(end_p(""27 726 759)))))()))(position((start_p(""27 726 758))(end_p(""27 726 759)))))))(position((start_p(""27 726 750))(end_p(""27 726 759))))))))(position((start_p(""27 726 736))(end_p(""27 726 759)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""27 726 762))(end_p(""27 726 765)))))((value(TyCon(TCon int)()))(position((start_p(""27 726 769))(end_p(""27 726 772)))))))(position((start_p(""27 726 762))(end_p(""27 726 772)))))))(position((start_p(""27 726 735))(end_p(""27 726 773))))))))(position((start_p(""26 704 712))(end_p(""27 726 773)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""28 774 783))(end_p(""28 774 786)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""28 774 790))(end_p(""28 774 793)))))((value(TyCon(TCon int)()))(position((start_p(""28 774 797))(end_p(""28 774 800)))))))(position((start_p(""28 774 790))(end_p(""28 774 800)))))))(position((start_p(""28 774 783))(end_p(""28 774 800)))))))(position((start_p(""26 704 711))(end_p(""28 774 801))))))))(position((start_p(""25 685 690))(end_p(""28 774 801)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""29 802 808))(end_p(""29 802 811)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""29 802 815))(end_p(""29 802 818)))))((value(TyArrow((value(TyCon(TCon int)()))(position((start_p(""29 802 822))(end_p(""29 802 825)))))((value(TyCon(TCon int)()))(position((start_p(""29 802 829))(end_p(""29 802 832)))))))(position((start_p(""29 802 822))(end_p(""29 802 832)))))))(position((start_p(""29 802 815))(end_p(""29 802 832)))))))(position((start_p(""29 802 808))(end_p(""29 802 832)))))))(position((start_p(""25 685 689))(end_p(""29 802 833)))))))))(position((start_p(""24 647 647))(end_p(""29 802 833)))))((value(DefineValue(SimpleValue(((value(Id main))(position((start_p(""31 835 839))(end_p(""31 835 843)))))(((value(ForallTy()((value(TyCon(TCon int)()))(position((start_p(""31 835 846))(end_p(""31 835 849)))))))(position((start_p(""31 835 846))(end_p(""31 835 849))))))((value(Apply((value(Apply((value(Variable((value(Id `+`))(position((start_p(""33 874 896))(end_p(""33 874 897)))))()))(position((start_p(""33 874 896))(end_p(""33 874 897)))))((value(Apply((value(Apply((value(Variable((value(Id `+`))(position((start_p(""32 852 872))(end_p(""32 852 873)))))()))(position((start_p(""32 852 872))(end_p(""32 852 873)))))((value(Apply((value(Apply((value(Variable((value(Id apply))(position((start_p(""32 852 856))(end_p(""32 852 861)))))()))(position((start_p(""32 852 856))(end_p(""32 852 861)))))((value(Variable((value(Id succ))(position((start_p(""32 852 862))(end_p(""32 852 866)))))()))(position((start_p(""32 852 862))(end_p(""32 852 866)))))))(position((start_p(""32 852 856))(end_p(""32 852 866)))))((value(Literal((value(LInt -1))(position((start_p(""32 852 868))(end_p(""32 852 870)))))))(position((start_p(""32 852 867))(end_p(""32 852 871)))))))(position((start_p(""32 852 856))(end_p(""32 852 871)))))))(position((start_p(""32 852 856))(end_p(""32 852 871)))))((value(Apply((value(Apply((value(Apply((value(Variable((value(Id apply2))(position((start_p(""33 874 878))(end_p(""33 874 884)))))()))(position((start_p(""33 874 878))(end_p(""33 874 884)))))((value(Variable((value(Id addmul))(position((start_p(""33 874 885))(end_p(""33 874 891)))))()))(position((start_p(""33 874 885))(end_p(""33 874 891)))))))(position((start_p(""33 874 878))(end_p(""33 874 891)))))((value(Literal((value(LInt 3))(position((start_p(""33 874 892))(end_p(""33 874 893)))))))(position((start_p(""33 874 892))(end_p(""33 874 893)))))))(position((start_p(""33 874 878))(end_p(""33 874 893)))))((value(Literal((value(LInt 7))(position((start_p(""33 874 894))(end_p(""33 874 895)))))))(position((start_p(""33 874 894))(end_p(""33 874 895)))))))(position((start_p(""33 874 878))(end_p(""33 874 895)))))))(position((start_p(""32 852 856))(end_p(""33 874 895)))))))(position((start_p(""32 852 856))(end_p(""33 874 895)))))((value(Apply((value(Apply((value(Apply((value(Apply((value(Variable((value(Id apply3))(position((start_p(""34 898 902))(end_p(""34 898 908)))))()))(position((start_p(""34 898 902))(end_p(""34 898 908)))))((value(Variable((value(Id conj))(position((start_p(""34 898 909))(end_p(""34 898 913)))))()))(position((start_p(""34 898 909))(end_p(""34 898 913)))))))(position((start_p(""34 898 902))(end_p(""34 898 913)))))((value(Literal((value(LInt 0))(position((start_p(""34 898 914))(end_p(""34 898 915)))))))(position((start_p(""34 898 914))(end_p(""34 898 915)))))))(position((start_p(""34 898 902))(end_p(""34 898 915)))))((value(Literal((value(LInt 1))(position((start_p(""34 898 916))(end_p(""34 898 917)))))))(position((start_p(""34 898 916))(end_p(""34 898 917)))))))(position((start_p(""34 898 902))(end_p(""34 898 917)))))((value(Literal((value(LInt 2))(position((start_p(""34 898 918))(end_p(""34 898 919)))))))(position((start_p(""34 898 918))(end_p(""34 898 919)))))))(position((start_p(""34 898 902))(end_p(""34 898 919)))))))(position((start_p(""32 852 856))(end_p(""34 898 919)))))))))(position((start_p(""31 835 835))(end_p(""34 898 919))))))
View git blame Copy permalink