Verified Commit 1e8e46cb authored by Camil Staps's avatar Camil Staps 🚀

Fix explanation about functional dependencies (from !175) in Builtin.Syntax (again)

parent 9008defe
Pipeline #19864 passed with stages
in 20 minutes and 31 seconds
......@@ -306,7 +306,7 @@ bs_funcdep =
, syntax_examples = map (requires_itask_compiler o EX)
[ "class plus a b ~c :: a b -> c\n" +
"instance plus Int Int Int where plus x y = x + y\n" +
"Start = plus 1 (plus 1 1) // Overloading can be resolved because we told the compiler that c determines the other types."
"Start = plus 1 (plus 1 1) // Overloading can be resolved because we told the compiler that c is determined by the other types."
]
}
......
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