Commit 8cfecd0b authored by Camil Staps's avatar Camil Staps 🍃

Merge branch 'eadt_extension_description' into 'master'

Update Syntax.icl

See merge request !217
parents e762866f 304e7343
Pipeline #17094 failed with stage
in 6 minutes and 23 seconds
......@@ -237,8 +237,7 @@ bs_extensible_adt =
[ "Extensible algebraic data types are ADTs that can be extended in other modules."
, "One module can declare the ADT as extendible by adding the `..` constructor."
, "Other modules can then extend it."
, "However, extensions can not be exported."
, "It is also not possible to derive generic functions for EADTs."
, "It is not possible to derive generic functions for EADTs."
]
, syntax_doc_locations = []
, syntax_examples = map EX
......
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