Re: Type system compiler flags

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