#6152: Type synonym for Type family + DataKinds won't recompile due to internal
error
---------------------------------------+------------------------------------
Reporter: konn | Owner:
Type: bug | Status: new
Priority: normal | Component: Compiler
Version: 7.4.1 | Keywords:
Os: MacOS X | Architecture: x86_64 (amd64)
Failure: GHC rejects valid program | Testcase:
Blockedby: | Blocking:
Related: |
---------------------------------------+------------------------------------
I have following program:
{{{
{-# LANGUAGE DataKinds, TypeFamilies, GADTs #-}
module Main where
data U = Unit
data SU (a :: U) where
SInt :: SU Unit
type family I (a :: U) :: U
type instance I Unit = Unit
type SUI a = SU (I a)
main :: IO ()
main = return ()
}}}
This program compiles successfully, but won't recompile due to an internal
error.
{{{
$ ghc WontCompile.hs
[1 of 1] Compiling Main ( WontCompile.hs, WontCompile.o )
Linking WontCompile ...
$ ghc WontCompile.hs -fforce-recomp
[1 of 1] Compiling Main ( WontCompile.hs, WontCompile.o )
WontCompile.hs:12:18:
GHC internal error: `I' is not in scope during type checking, but it
passed the renamer
tcl_env of environment: [(a9O, AThing k_a9X)]
In the type `SU (I a)'
In the type synonym declaration for `SUI'
}}}
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/6152>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
Glasgow-haskell-bugs@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
