Type system compiler flags

[Julian Bean]

> 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).

Jules