iris-coq/tests/heap_lang_interpreter.ref at master · JasonGross/iris-coq · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
"ex1"
     : string
     = inl #()
     : val + Error
"ex3"
     : string
     = inl #2
     : val + Error
"ex4"
     : string
     = inl #(Loc 2)
     : val + Error
"ex5"
     : string
     = inl #false
     : val + Error
"ex6"
     : string
     = inl #2
     : val + Error
"fail app non-function"
     : string
     = inr (Stuck "attempt to call non-function #2")
     : val + Error
"fail loc order"
     : string
     = inr (Stuck "bin-op failed: cannot use < on location #(loc 1) and #1")
     : val + Error
"fail compare pairs"
     : string
     = inr
         (Stuck
            "bin-op failed: one of (#0, #1) and (#0, #1) must be unboxed to compare: (#0, #1): pairs are large and considered boxed, must compare by field, (#0, #1): pairs are large and considered boxed, must compare by field")
     : val + Error
"fail free var"
     : string
     = inr (Stuck "free var: x")
     : val + Error
"fail out of fuel"
     : string
     = inl (rec: "foo" <> := "foo" #())%V
     : val + Error