ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-21 14:09:30 +03:00
Code Issues Projects Releases Wiki Activity

Update reg050 for <$> as fmap alias

Browse Source
This commit is contained in:
David Raymond Christiansen 2015-03-02 11:28:04 +01:00
parent a2c7b15902
commit 6f25fbe6cc
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
test/reg050/expected
View File

@ -14,11 +14,11 @@ When elaborating an application of function Prelude.Monad.>>=:
a terminator, expected: "$",
"&&", "*", "*>", "+", "++", "-",
"->", ".", "/", "/=", "::", ";",
"<", "<#>", "<*", "<*>", "<+>",
"<->", "<.>", "<<", "<=", "<|>",
"=", "==", ">", ">=", ">>",
">>=", "\\\\", "`", "in", "||",
"~=~",
"<", "<#>", "<$>", "<*", "<*>",
"<+>", "<->", "<.>", "<<", "<=",
"<|>", "=", "==", ">", ">=",
">>", ">>=", "\\\\", "`", "in",
"||", "~=~",
ambiguous use of a left-associative operator,
ambiguous use of a non-associative operator,
ambiguous use of a right-associative operator,