,(">>-", ITRarrowtail, bit arrowsBit)
#if __GLASGOW_HASKELL__ >= 605
- ,("∀", ITforall, bit tvBit)
- ,("→", ITrarrow, 0)
- ,("←", ITlarrow, 0)
- ,("⋯", ITdotdot, 0)
+ ,("λ", ITlam, bit glaExtsBit)
+ ,("∀", ITforall, bit glaExtsBit)
+ ,("→", ITrarrow, bit glaExtsBit)
+ ,("←", ITlarrow, bit glaExtsBit)
+ ,("⋯", ITdotdot, bit glaExtsBit)
#endif
]
span `seq` setLastToken span bytes
t span buf bytes
+-- ToDo: Alex reports the buffer at the start of the erroneous lexeme,
+-- but it would be more informative to report the location where the
+-- error was actually discovered, especially if this is a decoding
+-- error.
reportLexError loc1 loc2 buf str =
let
c = fst (nextChar buf)