testsuite/tests/stranal/should_compile/str002.hs


1
2
3
4
5
6
7
8
9
10
11
12

-- !!! Recursive newtypes
-- 	Needs -O
-- This one made GHC < 5.00.2 go into an 
-- infinite loop in the strictness analysier

module Foo where

newtype V = MkV V

f :: V -> V
f (MkV v) = v