@@ -10,3 +10,19 @@ When elaborating an application of function Prelude.Monad.>>=:
12 \{uv0} => argTy -> uv
12 \{uv0} => argTy -> uv
13+./baddoublebang.idr:6:26: error: not
14+ a terminator, expected: "$",
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
27+doubleBang mmn = do pure !!mmn