Verified Commit 21cfcf4f authored by Camil Staps's avatar Camil Staps 🚀

Document packed array syntax

parent 088cd428
Pipeline #42167 passed with stages
in 19 minutes and 43 seconds
......@@ -164,7 +164,7 @@ where
"- {{`[!a!]`}}, a head-strict spine-strict list\n" +
"- {{`[|a]`}}, an overloaded list (one of the types above)"
arrays = [make_array kind \\ kind <- [[], ['!'], ['#']]]
arrays = [make_array kind \\ kind <- [[], ['!'], ['#'], ['32#']]]
where
make_array :: [Char] -> TypeDefEntry
make_array k =
......@@ -183,8 +183,9 @@ where
description = "These types of array are available:\n\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)"
"- `{!a}`, a strict array (the elements are in root normal form)\n" +
"- `{#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]]
where
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment