| The error in linux is:
| Illegal instance declaration for `Read (UArray Int Double)'
| (The instance type must be of form (T a b c)
| where T is not a synonym, and a,b,c are distinct type variables)
| In the instance declaration for `Read (UArray Int Double)'
|
| Why
Simon Peyton-Jones wrote:
| The error in linux is:
| Illegal instance declaration for `Read (UArray Int Double)'
| (The instance type must be of form (T a b c)
| where T is not a synonym, and a,b,c are distinct type variables)
| In the instance declaration for `Read
@haskell.org
| Subject: Re: [Haskell-cafe] Read Instance for UArray won't port to linux
|
| Simon Peyton-Jones wrote:
| | The error in linux is:
| | Illegal instance declaration for `Read (UArray Int Double)'
| | (The instance type must be of form (T a b c)
| | where T
Hello Bjorn,
Wednesday, March 14, 2007, 5:27:35 PM, you wrote:
I'm not the original poster, but what about just changing it to The
instance type must be of the form (T a1 ... an) where T is not a
synonym, and a1 ... an are distinct type variables)?
or even better, are distinct type
Hallo,
On 3/14/07, Simon Peyton-Jones [EMAIL PROTECTED] wrote:
Ah, a fine idea. I'll do that anyway; maybe others will have even better
ideas, but that's a good start
Ah! So now I knows what it means. I've also been beaten by this
error message a couple of days ago.
Cheers,
--
-alex
On 3/14/07, Simon Peyton-Jones [EMAIL PROTECTED] wrote:
However, you mis-read the error message to say the instance type must have three
parameters, which isn't what I meant at all! I was trying to use an example of the
general form, but conveyed the wrong idea.
Oh!
I've been wondering
You guys are awesome! I post this not 12 hours ago and I already have a
complete treatise on the subject. Yeah to clarify things putting an
ellipsis between b and c would help. But also clarify the meaning of
distinct type variables. Does this mean the type variable must not be
parameterized?
Hello SevenThunders,
Wednesday, March 14, 2007, 10:32:23 PM, you wrote:
the type variables are dark side of GHC, and you need to have at least
1 mlOleg of brain to understand them. it will be great if someone will
ever write reasonable introduction into this. meanwhile, you can look
into ghc
It's not just type variables. Type classes looked innocent, but
smuggled an entire turing complete generic meta computation system
into the language. Just thank SIMON that the error messages aren't as
bad as C++ and templates.
This does imply that mOleg have some equivalence relation to
I have the pleasure of porting a good sized Haskell application to linux.
So far the Haskell code has compiled without incident, however some code
that I hacked
to implement a Read instance for Unboxed Arrays does not compile on linux
even though it compiles just fine on Windows XP in Haskell
It looks like you forgot to pass a compiler flag, namely -fglasgow-exts.
Cheers,
Spencer Janssen
On Tue, 13 Mar 2007 22:20:20 -0700 (PDT)
SevenThunders [EMAIL PROTECTED] wrote:
I have the pleasure of porting a good sized Haskell application to
linux. So far the Haskell code has compiled
11 matches
Mail list logo
