...
 
Commits (3)
...@@ -164,7 +164,7 @@ where ...@@ -164,7 +164,7 @@ where
"- {{`[!a!]`}}, a head-strict spine-strict list\n" + "- {{`[!a!]`}}, a head-strict spine-strict list\n" +
"- {{`[|a]`}}, an overloaded list (one of the types above)" "- {{`[|a]`}}, an overloaded list (one of the types above)"
arrays = [make_array kind \\ kind <- [[], ['!'], ['#']]] arrays = [make_array kind \\ kind <- [[], ['!'], ['#'], ['32#']]]
where where
make_array :: [Char] -> TypeDefEntry make_array :: [Char] -> TypeDefEntry
make_array k = make_array k =
...@@ -183,8 +183,9 @@ where ...@@ -183,8 +183,9 @@ where
description = "These types of array are available:\n\n" + description = "These types of array are available:\n\n" +
"- `{a}`, a normal array\n" + "- `{a}`, a normal array\n" +
"- `{#a}`, an unboxed strict array (elements are stored directly, without pointers)\n" + "- `{!a}`, a strict array (the elements are in root normal form)\n" +
"- `{!a}`, a strict array (the elements are in root normal form)" "- `{#a}`, an unboxed array (elements are stored directly, without pointers)\n" +
"- `{32#a}`, a packed array (only `{32#Int}` and `{32#Real}`, for 32-bit integer and real arrays)"
tuples = [make_tuple n \\ n <- [2..32]] tuples = [make_tuple n \\ n <- [2..32]]
where where
......
Subproject commit 399f0baf1f02d0cc89a3f52b5b037e2194aa55f8 Subproject commit 6b37880be58e5c64418ea0bf87a9f1f7ff5bd66d
#!/bin/bash #!/bin/bash
export CLEANDATE="2020-04-21" export CLEANDATE="2020-05-10"
export CLEAN_PLATFORM=x86 export CLEAN_PLATFORM=x86