[project @ 1999-09-16 17:55:57 by sof]

newtypes with a labelled field caused DS trouble sometime back

diff --git a/ghc/tests/deSugar/should_compile/ds048.hs b/ghc/tests/deSugar/should_compile/ds048.hs
new file mode 100644 (file)
index 0000000..2003430
--- /dev/null
+++ b/ghc/tests/deSugar/should_compile/ds048.hs
@@ -0,0 +1,7 @@
+-- !!! newtypes with a labelled field.
+module ShouldSucceed where
+
+newtype Foo = Foo { x :: Int } deriving (Eq)
+
+f :: Foo -> Foo -> Int
+f a b = x a + x b