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
|
(*
** for testing [prelude/arrayref]
*)
(* ****** ****** *)
//
#include "share/atspre_staload.hats"
//
(* ****** ****** *)
staload UN = "prelude/SATS/unsafe.sats"
(* ****** ****** *)
val () =
{
//
typedef T = int
//
val A = (arrayref)$arrpsz{T}(0, 1, 2, 3, 4)
val i = 2
val () = assertloc (A[i] = i)
val () = A[i] := ~i
val () = assertloc (A[i] = ~i)
val () = arrayref_interchange (A, (i2sz)0, (i2sz)4)
val () = assertloc (A[0] = 4 && A[4] = 0)
//
} // end of [val]
(* ****** ****** *)
val () =
{
//
typedef T = double
//
val asz = i2sz(5)
val A = (arrayref)$arrpsz{T}(0.0, 1.0, 2.0, 3.0, 4.0)
//
implement(tenv)
array_iforeach$fwork<T><tenv> (i, x, env) =
let val () = if i > 0 then print ", " in print (x) end
val () = assertloc (asz = arrayref_iforeach (A, asz))
val () = println! ()
//
typedef tenv = int
implement
array_rforeach$fwork<T><tenv> (x, i) =
let val () = if i > 0 then print ", " in i := i+1; print (x) end
var i: int = 0
val () = assertloc (asz = arrayref_rforeach_env<T><tenv> (A, asz, i))
val () = println! ()
//
} (* end of [val] *)
(* ****** ****** *)
val () =
{
//
typedef T = char
//
val out = stdout_ref
//
val A =
(arrszref)$arrpsz{T}('A', 'B', 'C', 'D', 'E')
//
local
implement
fprint_array$sep<> (out) = fprint (out, " | ")
in (* in of [local] *)
val () = fprintln! (out, A)
end // end of [local]
//
val () = assertloc (A[0] = 'A')
val () = assertloc (A[1] = 'B')
val () = assertloc (A[2] = 'C')
val () = assertloc (A[3] = 'D')
val () = assertloc (A[4] = 'E')
//
local
implement
array_tabulate$fopr<char> (i) = '0'+g0u2i(i)
in (* in of [local] *)
val digits = arrszref_tabulate<char> ((i2sz)10)
end // end of [local]
val () = fprintln! (out, "digits = ", digits)
//
local
implement
array_tabulate$fopr<char> (i) = let
val i = g0u2i(i) in if i < 10 then '0'+i else 'a' + (i-10)
end // end of [array_tabulate$fwork]
in (* in of [local] *)
val xdigits = arrszref_tabulate<char> ((i2sz)16)
end // end of [local]
//
val () = fprintln! (out, "xdigits = ", xdigits)
//
} (* end of [val] *)
(* ****** ****** *)
implement main0 () = ()
(* ****** ****** *)
(* end of [prelude_arrayref.dats] *)
|
