We planned to upgrade GitLab and Mattermost to the latest version this Friday morning (early). You may experience some downtime!

Unverified Commit e67fa3e1 authored by Camil Staps's avatar Camil Staps 🚀 Committed by GitHub

Merge pull request #195 from clean-cloogle/dopefishh-patch-1

Add generic dependency to syntax.icl
parents 70590aa9 cf909326
......@@ -142,7 +142,9 @@ bs_context =
, "To add multiple restrictions, use `&`.\n"
, "In constructors, the type context starts with `&`.\n"
, "Uniqueness constraints can be given with `,`. For details, see under {{`,`}}.\n"
, "With the `special` keyword, specialised instances for certain type instantiations are exported for efficiency."
, "With the `special` keyword, specialised instances for certain type instantiations are exported for efficiency.\n"
, "The context of a generic function can only contain other generic functions."
, "The generic context is written without kinds and separated by `,` as seen in the example."
]
, syntax_doc_locations = [CLR 8 "6.2" "_Toc311798057"]
, syntax_examples = map EX
......@@ -150,6 +152,7 @@ bs_context =
, "sum :: [a] -> a | zero, + a // a must instantiate zero and +\nsum [] = zero\nsum [x:xs] = x + sum xs"
, "(<+) infixr 5 :: a b -> String | toString a & toString b // a and b must instantiate toString\n(<+) x y = toString x +++ toString y"
, "isMember :: a [a] -> Bool special a=Int // specialised instance for integer lists for efficiency"
, "generic gFun a | gDefault a, gEq a :: a -> Int // generic context"
]
}
......
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