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: [EMAIL PROTECTED] [mailto:glasgow-haskell-bugs- | [EMAIL PROTECTED] On Behalf Of Marc Weber | Sent: 25 September 2008 01:50 | To: glasgow-haskell-bugs@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@haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
_______________________________________________ Glasgow-haskell-bugs mailing list Glasgow-haskell-bugs@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs