Type system compiler flags

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

Jules


More information about the Glasgow-haskell-users mailing list