Commit 4935dd91 authored by Mart Lubbers's avatar Mart Lubbers Committed by Camil Staps

Add newtype to the builtins database

parent c4a75ba9
......@@ -184,6 +184,7 @@ builtin_syntax =
, bs_list_expressions
, bs_macro
, bs_module
, bs_newtype
, bs_otherwise
, bs_pattern_named
, bs_selection_array
......@@ -463,6 +464,16 @@ bs_module = (["module", "definition", "implementation", "system", "definition mo
]
})
bs_pattern_named = (["=:"],
{ syntax_title = "newtype definition (experimental)"
, syntax_code = [":: ... =: T c"]
, syntax_description = "Define a newtype, a newtype is a type synonym that is treated as a real type."
, syntax_doc_locations = []
, syntax_examples =
[ EX "Function" ":: T = T Int"
]
})
bs_otherwise = (["otherwise"],
{ syntax_title = "otherwise"
, syntax_code = ["otherwise"]
......
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