git.iko.soy/Idris-dev
on 50878fa help sign in
Idris-dev/test/reg050/expected
10 lines 310 B history raw
1./badbangop.idr:7:1: error: ! is
2 not a valid
3 operator, expected: space
4(!) : List a -> Nat -> Maybe a
5^
6./baddoublebang.idr:6:28: error: unexpected
7 Operator without known fixity:
8 !!, expected: space
9doubleBang mmn = do pure !!mmn
10 ^