gluon 0.18.2

A static, type inferred programming language for application embedding
Documentation 
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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109

extern crate env_logger;

extern crate gluon;

#[macro_use]
mod support;

test_expr! { array,
r#"
let array = import! std.array.prim
let arr = [1,2,3]

array.index arr 0 #Int== 1
    && array.len arr #Int== 3
    && array.len (array.append arr arr) #Int== array.len arr #Int* 2"#,
true
}

test_expr! { array_byte,
r#"
let array = import! std.array.prim
let arr = [1b,2b,3b]

let b = array.index arr 2 #Byte== 3b && array.len arr #Int== 3
let arr2 = array.append arr arr
b && array.len arr2 #Int== array.len arr #Int* 2
  && array.index arr2 1 #Byte== array.index arr2 4
"#,
true
}

test_expr! { array_float,
r#"
let array = import! std.array.prim
let arr = [1.0,2.0,3.0]

let b = array.index arr 2 #Float== 3.0 && array.len arr #Int== 3
let arr2 = array.append arr arr
b && array.len arr2 #Int== array.len arr #Int* 2
  && array.index arr2 1 #Float== array.index arr2 4
"#,
true
}

test_expr! { array_data,
r#"
let array = import! std.array.prim
let arr = [{x = 1, y = "a" }, { x = 2, y = "b" }]

let b = (array.index arr 1).x #Int== 2 && array.len arr #Int== 2
let arr2 = array.append arr arr
b && array.len arr2 #Int== array.len arr #Int* 2
"#,
true
}

test_expr! { array_array,
r#"
let array = import! std.array.prim
let arr = [[], [1], [2, 3]]

let b = array.len (array.index arr 1) #Int== 1 && array.len arr #Int== 3
let arr2 = array.append arr arr
b && array.len arr2 #Int== array.len arr #Int* 2
"#,
true
}

// Test that empty variants are handled correctly in arrays
test_expr! { array_empty_variant,
r#"
let array = import! std.array.prim
type Test = | Empty | Some Int
let arr = [Empty, Some 1]
match array.index arr 0 with
| Empty -> 0
| Some x -> x
"#,
0i32
}

// Test that array append handles array types correctly
test_expr! { array_empty_append,
r#"
let array = import! std.array.prim
type Test = | Empty | Some Int
let arr = array.append [] [Empty, Some 1]
match array.index arr 0 with
| Empty -> 0
| Some x -> x
"#,
0i32
}

test_expr! { array_load,
r#"
let array = import! std.array
0
"#,
0i32
}

test_expr! { array_fold,
r#"
let array = import! std.array
array.foldable.foldl (\x y -> y.x) 0 [{ x = 4 }]
"#,
4
}