Verified Commit be59d590 authored by Camil Staps's avatar Camil Staps

Update references to language report in Builtin.Syntax

parent 2398cad8
Pipeline #42271 passed with stages
in 19 minutes and 36 seconds
......@@ -255,7 +255,7 @@ bs_extensible_adt =
, "Other modules can then extend it."
, "It is not possible to derive generic functions for EADTs."
]
, syntax_doc_locations = []
, syntax_doc_locations = [CLR "5.1.5"]
, syntax_examples =
[ EX
":: T = .. // Declare T as an EADT"
......@@ -376,7 +376,7 @@ bs_hierarchical_modules =
, syntax_patterns = [exact "\\."]
, syntax_code = ["... . ..."]
, syntax_description = "Modules can be structured hierarchically. For instance, module `Control.Monad` can be found in `Control/Monad.[di]cl`."
, syntax_doc_locations = []
, syntax_doc_locations = [CLR "D.1.3"]
, syntax_examples = [EX "definition module Control.Monad"]
}
......@@ -597,7 +597,7 @@ bs_pattern_named =
}
bs_pattern_predicate =
{ syntax_title = "pattern predicate"
{ syntax_title = "matches pattern expression"
, syntax_patterns = map exact ["=:"]
, syntax_code = ["...=:(...)"]
, syntax_description = join " "
......@@ -607,7 +607,7 @@ bs_pattern_predicate =
, "For instance, one cannot use `if (mbx=:(Just x)) x 0`."
, "Also, `=:` can not be used in prefix form because it is not an actual operator but a builtin."
]
, syntax_doc_locations = []
, syntax_doc_locations = [CLR "3.4.3"]
, syntax_examples = [EX "isSingleton l = l =: [_] // Match a value with a pattern"]
}
......@@ -616,7 +616,7 @@ bs_qualified_identifier =
, syntax_patterns = map (fromOk o compileRegex) ["^'.+'", "^qualified$"]
, syntax_code = ["'...'. ..."]
, syntax_description = "The identifiers of {{`qualified`}} imports must be prepended with `'...'.`, where `...` is the name of the qualified import."
, syntax_doc_locations = []
, syntax_doc_locations = [CLR "D.1.1"]
, syntax_examples =
[ add_imports ["StdEnum"] $ EX
"import qualified StdList\nStart = 'StdList'.sum [0..10]"
......@@ -632,7 +632,7 @@ bs_record_disambiguation =
, syntax_description = join "\n"
[ "Explicitly indicates the type of a record when it cannot be derived from the field names."
]
, syntax_doc_locations = []
, syntax_doc_locations = [CLR "5.2"]
, syntax_examples = map EX
[ ":: R1 = {x :: Int, y :: Int}\n:: R2 = {x :: Int, y :: Int}\nStart = {R1 | x=37, y=42}"
]
......
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