> 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 _______________________________________________ Glasgow-haskell-users mailing list [email protected] http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
