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/21-record-03.eval.hopix

1 line
1.8 KiB
Text
Raw Permalink Normal View History

2023-10-25 15:16:53 +02:00
(((value(DefineValue(SimpleValue(((value(Id t))(position((start_p(""1 0 4))(end_p(""1 0 5)))))()((value(Record((((value(LId x))(position((start_p(""1 0 10))(end_p(""1 0 11)))))((value(Literal((value(LInt 1))(position((start_p(""1 0 14))(end_p(""1 0 15)))))))(position((start_p(""1 0 14))(end_p(""1 0 15))))))(((value(LId y))(position((start_p(""1 0 17))(end_p(""1 0 18)))))((value(Literal((value(LString FooBaR))(position((start_p(""1 0 28))(end_p(""1 0 29)))))))(position((start_p(""1 0 28))(end_p(""1 0 29)))))))()))(position((start_p(""1 0 8))(end_p(""1 0 31)))))))))(position((start_p(""1 0 0))(end_p(""1 0 31)))))((value(DefineValue(SimpleValue(((value(Id u))(position((start_p(""2 32 36))(end_p(""2 32 37)))))()((value(Record((((value(LId z))(position((start_p(""2 32 42))(end_p(""2 32 43)))))((value(Variable((value(Id t))(position((start_p(""2 32 46))(end_p(""2 32 47)))))()))(position((start_p(""2 32 46))(end_p(""2 32 47))))))(((value(LId some_more))(position((start_p(""2 32 49))(end_p(""2 32 58)))))((value(Variable((value(Id t))(position((start_p(""2 32 61))(end_p(""2 32 62)))))()))(position((start_p(""2 32 61))(end_p(""2 32 62)))))))()))(position((start_p(""2 32 40))(end_p(""2 32 64)))))))))(position((start_p(""2 32 32))(end_p(""2 32 64)))))((value(DefineValue(SimpleValue(((value(Id test))(position((start_p(""3 65 69))(end_p(""3 65 73)))))()((value(Apply((value(Variable((value(Id print_string))(position((start_p(""3 65 76))(end_p(""3 65 88)))))()))(position((start_p(""3 65 76))(end_p(""3 65 88)))))((value(Literal((value(LString"Recording succeeds.\n"))(position((start_p(""3 65 112))(end_p(""3 65 113)))))))(position((start_p(""3 65 89))(end_p(""3 65 114)))))))(position((start_p(""3 65 76))(end_p(""3 65 114)))))))))(position((start_p(""3 65 65))(end_p(""3 65 114))))))