From 24b988eeafaa202b5b2c52e60db68b69c13ec265 Mon Sep 17 00:00:00 2001 From: simonpj Date: Tue, 5 Jun 2001 09:30:20 +0000 Subject: [PATCH] [project @ 2001-06-05 09:30:20 by simonpj] Add str002 (recursive newtype test) --- ghc/tests/stranal/should_compile/str002.hs | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 ghc/tests/stranal/should_compile/str002.hs create mode 100644 ghc/tests/stranal/should_compile/str002.stderr diff --git a/ghc/tests/stranal/should_compile/str002.hs b/ghc/tests/stranal/should_compile/str002.hs new file mode 100644 index 0000000..65fb8a7 --- /dev/null +++ b/ghc/tests/stranal/should_compile/str002.hs @@ -0,0 +1,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 + diff --git a/ghc/tests/stranal/should_compile/str002.stderr b/ghc/tests/stranal/should_compile/str002.stderr new file mode 100644 index 0000000..e69de29 -- 1.7.10.4