[GHC] #9888: Inconsistent type family resolution
GHC
ghc-devs at haskell.org
Tue Dec 16 02:11:29 UTC 2014
#9888: Inconsistent type family resolution
-------------------------------------+-------------------------------------
Reporter: crockeea | Owner:
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Compiler | Version: 7.8.3
Resolution: duplicate | Keywords:
Operating System: | Architecture: Unknown/Multiple
Unknown/Multiple | Difficulty: Unknown
Type of failure: GHC | Blocked By:
rejects valid program | Related Tickets:
Test Case: |
Blocking: |
Differential Revisions: |
-------------------------------------+-------------------------------------
Comment (by crockeea):
I get the same error using `(:==$)`:
{{{#!hs
type family CommonElt xs where
CommonElt (x ': xs) =
EqResult (And (Map ((:==$) $ x) xs)) x
}}}
but I think that is related to a `singletons`
[https://github.com/goldfirere/singletons/issues/100 ticket]
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9888#comment:2>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list