On 08-Dec-2003, Christian Maeder <[EMAIL PROTECTED]> wrote:
> Fergus Henderson wrote:
> >I think the issue here is that in ghc (with -fglasgow-exts),
> >the "a" here refers to the same type variable "a" in the
> >top of the instance declaration, whic
On 09-Dec-2003, Christian Maeder <[EMAIL PROTECTED]> wrote:
> Fergus Henderson wrote:
> >Or were you referring to the fact that variables which are already
> >constrained can't be constrained again? IMHO that is a feature too.
> >It doesn't make sense to co
grammar in the Haskell report, I don't think it is.
However, ghc-0.24 (ancient, I know) and Hugs 1.3 both accept it without
complaint.
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED] | -- the last words of T. S. Garp.
s
> complains
> ERROR "tmp.hs" (line 7): Ambiguous use of operator "foo" with "bar"
Ah. Thank you for reading my mind.
Now why can't ghc and Hugs do that? ;-) ;-)
Sorry about that. (I really should think a bit harder before mailing
this list, lest I
see why this doesn't work: but any ideas on how to fix?
Hmm, I'm not sure exactly what you're trying to achieve here...
but perhaps you just need to add
instance Ord AnyOrd where
compare (MkAnyOrd x) (MkAnyOrd y) = compare x y
to make it work.
-
be well-typed.
Oh, of course -- you're quite correct.
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED]| -- the last words of T. S. Garp.
han allocating it on
the heap at run-time.
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh> | of excellence is a lethal habit"
PGP: finger [EMAIL PROTECTED]| -- the last words of T. S. Garp.
y comment on what is going on with GHC?
That sure looks to me like a bug in GHC's support for implicit
parameter passing.
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
| of excellence is
On 12-Mar-2001, Julian Seward (Intl Vendor) <[EMAIL PROTECTED]> wrote:
>
> Does any kind person have an IA64 box, running Linux, on which we could
> have an account?
You might want to check out SourceForge: <http://ia-64.sourceforge.net/>.
--
Fergus Henderson <[EMAIL
NU C front-end if you really want.
I think this is required by traditional K&R C code, which does things
like calling such functions without declaring them.
--
Fergus Henderson <[EMAIL PROTECTED]> | "I have always known that the pursuit
The University of Melbourne | o
On 08-Aug-2001, Fergus Henderson <[EMAIL PROTECTED]> wrote:
> Sigbjorn Finne <[EMAIL PROTECTED]> wrote:
> >
> > "Julian Seward (Intl Vendor)" <[EMAIL PROTECTED]> writes:
> > >
> > > | > char fooble ( ... )
> > > | > {
&
11 matches
Mail list logo
