Verified Commit b8db59c7 authored by Camil Staps's avatar Camil Staps 🚀

Add _Unit type

parent dc6d8e5d
...@@ -70,6 +70,11 @@ builtin_types ...@@ -70,6 +70,11 @@ builtin_types
(Just "The arrow type is used to denote functions.\n\nOften, function types can be written in an uncurried fashion, e.g. `a b -> c` is the same as `a -> b -> c`.") (Just "The arrow type is used to denote functions.\n\nOften, function types can be written in an uncurried fashion, e.g. `a b -> c` is the same as `a -> b -> c`.")
["The argument type", "The result type"] ["The argument type", "The result type"]
Nothing}) Nothing})
, ( Builtin "()" [], {deft & tde_typedef.td_name="_Unit",
tde_doc = Just $ TypeDoc
(Just "The void / unit type.")
[] Nothing,
tde_typedef.td_rhs = TDRCons False [{defc & cons_name="()"}]})
: lists : lists
++ arrays ++ arrays
++ tuples ++ tuples
......
Subproject commit 15b6e7cc7b38ef9329bde6866ca2fcbabe3af83e Subproject commit bdc988e2efcf83c940da81fe86337757cb769feb
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