TypeCompose Patch

[Conal Elliott]

What's the status of this bug?  I'd like to know when it's safe to upgrade
to a new ghc.  Also, I want to blog about my linear map implementation, but
not when it tickles a ghc bug for me and for readers.

Thanks,  - Conal

2008/9/25 Simon Peyton-Jones <simonpj at microsoft.com>

> Conal, Marc
>
> This is definitely a bug in the new equality-solving mechanism.  I can
> reproduce it readily.  I'll discuss it with Manuel tomorrow and get back to
> you. Thanks for finding it!
>
> Simon
>
> | -----Original Message-----
> | From: glasgow-haskell-bugs-bounces at haskell.org [mailto:
> glasgow-haskell-bugs-
> | bounces at haskell.org] On Behalf Of Marc Weber
> | Sent: 25 September 2008 01:50
> | To: glasgow-haskell-bugs at haskell.org
> | Subject: Re: TypeCompose Patch
> |
> | On Wed, Sep 24, 2008 at 02:55:01PM -0700, Conal Elliott wrote:
> | >    Eep!  That code (which uses type classes) fails to compile under
> 6.8.3
> | but
> | >    does compile under 6.9.  Looks like 6.10 broke something.
> | >
> | >    Can anyone else check whether vector-space build or breaks under
> 6.10?
> | >    The repo is
> | >
> | >        [1]http://code.haskell.org/vector-space/
> |
> | src/Data/LinearMap.hs|37 col 21 error|
> | ||     Couldn't match expected type `t' against inferred type `Basis u'
> | ||     In the second argument of `(.)', namely `basisValue'
> | ||     In the first argument of `trie', namely `(f . basisValue)'
> | ||     In the expression: trie (f . basisValue)
> |
> | Hi Conal, I'm getting the error above (current ghc from darcs)
> | If you want I can give you an ssh account where this ghc version is
> | installed within the next days.
> |
> | I also had to add a -fglasgow-exts to a MemoTrie file..
> | (Not sure which is the correct language extension which was missing)
> |
> | Sincerly
> | Marc Weber
> | _______________________________________________
> | Glasgow-haskell-bugs mailing list
> | Glasgow-haskell-bugs at haskell.org
> | http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
>
>
> _______________________________________________
> Glasgow-haskell-bugs mailing list
> Glasgow-haskell-bugs at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/glasgow-haskell-bugs/attachments/20081011/0adad9a8/attachment.htm