testsuite/tests/simplCore/should_compile/T23307c.hs


1
2
3
4
5
6
7

module Foo where

newtype Identity x = MkId x
newtype Fix f = MkFix (f (Fix f))

-- This test just checks that the compiler itself doesn't loop
data Loop = LCon {-# UNPACK #-} !(Fix Identity)