ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-13 07:26:59 +03:00
Code Issues Projects Releases Wiki Activity

Fixed test error due to improved error message (the test had expected the old

Browse Source 
message)
This commit is contained in:
Ahmad Salim Al-Sibahi 2015-03-01 20:44:28 +01:00
parent dcbab5e67b
commit ef906d30a0
1 changed files with 4 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
test/reg050/expected
View File

@ -10,19 +10,8 @@ When elaborating an application of function Prelude.Monad.>>=:
List
with
\{uv0} => argTy -> uv
./baddoublebang.idr:6:26: error: not
a terminator, expected: "$",
"$>", "&&", "*", "+", "++", "-",
"->", ".", "/", "/=", "::", ";",
"<", "<#>", "<$", "<$>", "<*>",
"<+>", "<->", "<<", "<=", "<|>",
"=", "==", ">", ">=", ">>",
">>=", "\\\\", "`", "in", "||",
"~=~",
ambiguous use of a left-associative operator,
ambiguous use of a non-associative operator,
ambiguous use of a right-associative operator,
end of input, function argument,
matching application expression
./baddoublebang.idr:6:28: error: unexpected
Operator without known fixity:
!!, expected: space
doubleBang mmn = do pure !!mmn
^
^