<div dir="ltr"><div><div><div>Hello everyone,<br><br></div><div>Please help me compile the program without the -XFlexibleContexts extension.<br></div><div>I don't understand the "Non type-variable argument" error message and googling does not shed any light on the problem.<br></div><div>Any help is appreciated.<br></div><div><br></div></div></div>% ghc --version<br>The Glorious Glasgow Haskell Compilation System, version 7.10.3<br><div><div><div><div><br></div><div>% ghc orfest.hs<br></div><div>orfest.hs:6:1:<br>    Non type-variable argument<br>      in the constraint: AM.MArray a (t, t, t, [i]) m<br>    (Use FlexibleContexts to permit this)<br>    When checking that ‘go’ has the inferred type<br>      go :: forall (m :: * -> *) t t1 t2 t3 (a :: * -> * -> *) i.<br>            (Read t, AM.Ix i, AM.MArray a (t, t1, t2, [i]) m) =><br>            a i (t, t1, t2, [i]) -> [[Char]] -> t3 -> i -> m (t3, i)<br><br>This works:<br>% ghc orfest.hs -XFlexibleContexts<br></div><div><br clear="all"><div><div class="gmail_signature">Regards,<br></div><div class="gmail_signature">Orfest<br></div></div>
</div></div></div></div></div>