#5369: Vectoriser depends in too-fragile a way on the type constraint solver
---------------------------------+------------------------------------------
Reporter: simonpj | Owner: chak
Type: bug | Status: new
Priority: normal | Milestone:
Component: Compiler | Version: 7.0.4
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: None/Unknown
---------------------------------+------------------------------------------
Comment(by chak):
I did the first stage:
{{{
commit ae6161ec6f2466ca2d04f098f350ce06090003b1
Author: Manuel M T Chakravarty <[email protected]>
Date: Sat Aug 20 23:08:10 2011 +1000
Until the type checker can use vectorised signatures, we restrict the
RHS of VECTORISE pragmas to be a single identifier only.
- This removes the need to be careful about the order of dictionaries
during type inference. A property that is too fragile to try to maintain
in the type checker.
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5369#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
