id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	os	architecture	failure	difficulty	testcase	blockedby	blocking	related
4364	Template Haskell: Cycle in type synonym declarations	igloo	simonpj	"`type-level-numbers-0.1` doesn't build with 7.0.1 RC 1. Here's the essence:

{{{
{-# LANGUAGE TemplateHaskell #-}
module Q where

data Z

type N0 = $( [t| Z |] )
type N1 = $( [t| Z |] )
}}}

{{{
$ ghc --make m.hs
[1 of 1] Compiling Q                ( m.hs, m.o )

m.hs:7:1:
    Cycle in type synonym declarations:
      m.hs:7:1-23: type N0 = $([t| Z |])
      m.hs:8:1-23: type N1 = $([t| Z |])
}}}
"	bug	new	high	7.8.1	Compiler (Type checker)	7.1			jakewheatmail@… pho@… hackage.haskell.org@… awson	Unknown/Multiple	Unknown/Multiple	None/Unknown	Unknown