git.iko.soy/Idris-dev
on master help sign in
update test/reg050/expected [2]
1356047BlackBrane
test/reg050/expected+4−4
compare with master
unifiedsplit
@@ -14,10 +14,10 @@ When elaborating an application of function Prelude.Monad.>>=:
14 a terminator, expected: "$",
14 a terminator, expected: "$",
15 "$>", "&&", "*", "+", "++", "-",
15 "$>", "&&", "*", "+", "++", "-",
16 "->", ".", "/", "/=", "::", ";",
16 "->", ".", "/", "/=", "::", ";",
17− "<", "<#>", "<$", "<$>", "<*>",
17+ "<", "<#>", "<$", "<$>", "<*>",
18− "<+>", "<->", "<<", "<=", "<|>",
18+ "<+>", "<->", "<<", "<=", "<|>",
19− "=", "==", ">", ">=", ">>",
19+ "=", "==", ">", ">=", ">>",
20− ">>=", "\\\\", "`", "in", "||",
20+ ">>=", "\\\\", "`", "in", "||",
21 "~=~",
21 "~=~",
22 ambiguous use of a left-associative operator,
22 ambiguous use of a left-associative operator,
23 ambiguous use of a non-associative operator,
23 ambiguous use of a non-associative operator,