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/02-Interpreter/67-sorted.eval.hopix

1 line
23 KiB
Text
Raw Normal View History

2023-10-25 15:16:53 +02:00
(((value(DefineValue(RecFunctions((((value(Id concat))(position((start_p(""1 0 4))(end_p(""1 0 10)))))()(FunctionDefinition((value(PTuple(((value(PVariable((value(Id l1))(position((start_p(""1 0 12))(end_p(""1 0 14)))))))(position((start_p(""1 0 12))(end_p(""1 0 14)))))((value(PVariable((value(Id l2))(position((start_p(""1 0 16))(end_p(""1 0 18)))))))(position((start_p(""1 0 16))(end_p(""1 0 18))))))))(position((start_p(""1 0 11))(end_p(""1 0 19)))))((value(Case((value(Variable((value(Id l1))(position((start_p(""2 22 31))(end_p(""2 22 33)))))()))(position((start_p(""2 22 31))(end_p(""2 22 33)))))(((value(Branch((value(PTaggedValue((value(KId N))(position((start_p(""3 37 41))(end_p(""3 37 42)))))()()))(position((start_p(""3 37 41))(end_p(""3 37 42)))))((value(Variable((value(Id l2))(position((start_p(""3 37 46))(end_p(""3 37 48)))))()))(position((start_p(""3 37 46))(end_p(""3 37 48)))))))(position((start_p(""3 37 41))(end_p(""3 37 48)))))((value(Branch((value(PTaggedValue((value(KId C))(position((start_p(""4 49 53))(end_p(""4 49 54)))))()(((value(PVariable((value(Id x))(position((start_p(""4 49 56))(end_p(""4 49 57)))))))(position((start_p(""4 49 56))(end_p(""4 49 57)))))((value(PVariable((value(Id xs))(position((start_p(""4 49 59))(end_p(""4 49 61)))))))(position((start_p(""4 49 59))(end_p(""4 49 61))))))))(position((start_p(""4 49 53))(end_p(""4 49 62)))))((value(Tagged((value(KId C))(position((start_p(""4 49 66))(end_p(""4 49 67)))))()(((value(Variable((value(Id x))(position((start_p(""4 49 69))(end_p(""4 49 70)))))()))(position((start_p(""4 49 69))(end_p(""4 49 70)))))((value(Apply((value(Variable((value(Id concat))(position((start_p(""4 49 72))(end_p(""4 49 78)))))()))(position((start_p(""4 49 72))(end_p(""4 49 78)))))((value(Tuple(((value(Variable((value(Id xs))(position((start_p(""4 49 80))(end_p(""4 49 82)))))()))(position((start_p(""4 49 80))(end_p(""4 49 82)))))((value(Variable((value(Id l2))(position((start_p(""4 49 84))(end_p(""4 49 86)))))()))(position((start_p(""4 49 84))(end_p(""4 49 86))))))))(position((start_p(""4 49 79))(end_p(""4 49 87)))))))(position((start_p(""4 49 72))(end_p(""4 49 87))))))))(position((start_p(""4 49 66))(end_p(""4 49 88)))))))(position((start_p(""4 49 53))(end_p(""4 49 88))))))))(position((start_p(""2 22 24))(end_p(""5 89 92)))))))))))(position((start_p(""1 0 0))(end_p(""5 89 92)))))((value(DefineValue(SimpleValue(((value(Id l))(position((start_p(""7 94 98))(end_p(""7 94 99)))))()((value(Tagged((value(KId C))(position((start_p(""7 94 102))(end_p(""7 94 103)))))()(((value(Literal((value(LInt 1))(position((start_p(""7 94 105))(end_p(""7 94 106)))))))(position((start_p(""7 94 105))(end_p(""7 94 106)))))((value(Tagged((value(KId C))(position((start_p(""7 94 108))(end_p(""7 94 109)))))()(((value(Literal((value(LInt 2))(position((start_p(""7 94 111))(end_p(""7 94 112)))))))(position((start_p(""7 94 111))(end_p(""7 94 112)))))((value(Tagged((value(KId N))(position((start_p(""7 94 114))(end_p(""7 94 115)))))()()))(position((start_p(""7 94 114))(end_p(""7 94 115))))))))(position((start_p(""7 94 108))(end_p(""7 94 116))))))))(position((start_p(""7 94 102))(end_p(""7 94 117)))))))))(position((start_p(""7 94 94))(end_p(""7 94 117)))))((value(DefineValue(SimpleValue(((value(Id l))(position((start_p(""8 118 122))(end_p(""8 118 123)))))()((value(Apply((value(Variable((value(Id concat))(position((start_p(""8 118 126))(end_p(""8 118 132)))))()))(position((start_p(""8 118 126))(end_p(""8 118 132)))))((value(Tuple(((value(Variable((value(Id l))(position((start_p(""8 118 134))(end_p(""8 118 135)))))()))(position((start_p(""8 118 134))(end_p(""8 118 135)))))((value(Variable((value(Id l))(position((start_p(""8 118 137))(end_p(""8 118 138)))))()))(position((start_p(""8 118 137))(end_p(""8 118 138))))))))(position((start_p(""8 118 133))(end_p(""8 118 139)))))))(position((start_p(""8 118 126))(end_p(""8 118 139)))))))))(position((start_p(""8 118 118))(end_p(""8 118 139)))))((value(DefineValue(SimpleValue(((value(Id l))(position((start_p(""9 140 144))(end_p(""9 140 145)))))()((value(Apply((value(Variable((v