Type system compiler flags
jules at jellybean.co.uk
Tue Feb 1 11:45:58 CET 2011
> It indeed does, even though I doubted it at first. As far as I remember
> the type in
> getnArrayST n bs :: ST s (Maybe (UArray Int Word8, [Word8])) =
> used to be necessary to bind the type variable s. Apparently things
> have become easier.
The higher-rank inference has been changed quite a bit, but I think -XPatternSignatures is all you were missing to get your original code to compiler (well, at least to parse).
More information about the Glasgow-haskell-users