Verified Commit 3c9edac1 authored by Camil Staps's avatar Camil Staps 🚀

Also add comma for uniqueness constraints to builtin syntax; enhance patterns for uniqueness

parent 6a8d043a
......@@ -496,11 +496,11 @@ bs_synonym_abstract =
bs_unique =
{ syntax_title = "uniqueness annotation"
, syntax_patterns = ["\\*", "[", "]", ".", ":"]
, syntax_patterns = ["\\*", ".", "%:", "[*<=*]", ","]
, syntax_code =
[ "*..."
, ". ..."
, "...:... | [...<=...]"
, "...:... | [...<=...], [...<=...], ..."
]
, syntax_description = join " "
[ "Annotates a type with its uniqueness."
......
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