Associated type families regression
The original code snippet is taken from synthesizer-core-0.7.1 from hackage: http://code.haskell.org/synthesizer/core/src/Synthesizer/Causal/Class.hs
Here is the minimal example:
{-# LANGUAGE TypeFamilies #-}
module M where
class ProcessOf (SignalOf process) ~ process => C process where
type SignalOf process :: * -> *
type ProcessOf (signal :: * -> *) :: * -> * -> *
$ ghc -c M.hs
M.hs:4:1:
The associated type ‘ProcessOf’
mentions none of the type or kind variables of the class ‘C process’
In the class declaration for ‘C’
ghc-7.8.4 was able to compile this. Is it a known new restriction of ghc or a regression?
Trac metadata
Trac field | Value |
---|---|
Version | 7.10.2 |
Type | Bug |
TypeOfFailure | OtherFailure |
Priority | normal |
Resolution | Unresolved |
Component | Compiler |
Test case | |
Differential revisions | |
BlockedBy | |
Related | |
Blocking | |
CC | simonpj |
Operating system | |
Architecture |