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
|
