@@ -10,19 +10,8 @@ When elaborating an application of function Prelude.Monad.>>=:
12 \{uv0} => argTy -> uv
12 \{uv0} => argTy -> uv
13−./baddoublebang.idr:6:26: error: not
13+./baddoublebang.idr:6:28: error: unexpected
14+ Operator without known fixity:
14− a terminator, expected: "$",
15+ !!, expected: space
15− "$>", "&&", "*", "+", "++", "-",
16− "->", ".", "/", "/=", "::", ";",
17− "<", "<#>", "<$", "<$>", "<*>",
18− "<+>", "<->", "<<", "<=", "<|>",
19− "=", "==", ">", ">=", ">>",
20− ">>=", "\\\\", "`", "in", "||",
22− ambiguous use of a left-associative operator,
23− ambiguous use of a non-associative operator,
24− ambiguous use of a right-associative operator,
25− end of input, function argument,
26− matching application expression
27doubleBang mmn = do pure !!mmn
16doubleBang mmn = do pure !!mmn