Send Beginners mailing list submissions to
        beginners@haskell.org

To subscribe or unsubscribe via the World Wide Web, visit
        http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners
or, via email, send a message with subject or body 'help' to
        beginners-requ...@haskell.org

You can reach the person managing the list at
        beginners-ow...@haskell.org

When replying, please edit your Subject line so it is more specific
than "Re: Contents of Beginners digest..."


Today's Topics:

   1.  Non type-variable argument (Nikolay Kurtov)


----------------------------------------------------------------------

Message: 1
Date: Wed, 14 Jun 2017 20:52:32 +0200
From: Nikolay Kurtov <nkur...@gmail.com>
To: beginners@haskell.org
Subject: [Haskell-beginners] Non type-variable argument
Message-ID:
        <cag+yhsn+06cm4vx3nur68o8wftbh-wycnsq0_ce+eknz33f...@mail.gmail.com>
Content-Type: text/plain; charset="utf-8"

Hello everyone,

Please help me compile the program without the -XFlexibleContexts extension.
I don't understand the "Non type-variable argument" error message and
googling does not shed any light on the problem.
Any help is appreciated.

% ghc --version
The Glorious Glasgow Haskell Compilation System, version 7.10.3

% ghc orfest.hs
orfest.hs:6:1:
    Non type-variable argument
      in the constraint: AM.MArray a (t, t, t, [i]) m
    (Use FlexibleContexts to permit this)
    When checking that ‘go’ has the inferred type
      go :: forall (m :: * -> *) t t1 t2 t3 (a :: * -> * -> *) i.
            (Read t, AM.Ix i, AM.MArray a (t, t1, t2, [i]) m) =>
            a i (t, t1, t2, [i]) -> [[Char]] -> t3 -> i -> m (t3, i)

This works:
% ghc orfest.hs -XFlexibleContexts

Regards,
Orfest
-------------- next part --------------
An HTML attachment was scrubbed...
URL: 
<http://mail.haskell.org/pipermail/beginners/attachments/20170614/9982367e/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: orfest.hs
Type: text/x-haskell
Size: 1087 bytes
Desc: not available
URL: 
<http://mail.haskell.org/pipermail/beginners/attachments/20170614/9982367e/attachment-0001.hs>

------------------------------

Subject: Digest Footer

_______________________________________________
Beginners mailing list
Beginners@haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/beginners


------------------------------

End of Beginners Digest, Vol 108, Issue 7
*****************************************

Reply via email to