[project @ 1999-06-15 10:23:38 by simonmar]

Test for Richard Reid's bug:  syntax C{} for constructing C with all fields set
to bottom.

diff --git a/ghc/tests/deSugar/should_run/Makefile b/ghc/tests/deSugar/should_run/Makefile
index 46c5287..ddb826f 100644 (file)
--- a/ghc/tests/deSugar/should_run/Makefile
+++ b/ghc/tests/deSugar/should_run/Makefile
@@ -5,6 +5,7 @@ include $(TOP)/mk/should_run.mk
 HC_OPTS += -dcore-lint
 
 dsrun005_RUNTEST_OPTS = -x 1
+dsrun007_RUNTEST_OPTS = -x 1
 
 include $(TOP)/mk/target.mk
 

diff --git a/ghc/tests/deSugar/should_run/dsrun007.hs b/ghc/tests/deSugar/should_run/dsrun007.hs
new file mode 100644 (file)
index 0000000..19a0c64
--- /dev/null
+++ b/ghc/tests/deSugar/should_run/dsrun007.hs
@@ -0,0 +1,5 @@
+data T = C Int
+
+unpick (C i) = i + 1
+
+main = print (unpick (C{}))
\ No newline at end of file

diff --git a/ghc/tests/deSugar/should_run/dsrun007.stderr b/ghc/tests/deSugar/should_run/dsrun007.stderr
new file mode 100644 (file)
index 0000000..f8ad0ca
--- /dev/null
+++ b/ghc/tests/deSugar/should_run/dsrun007.stderr
@@ -0,0 +1,4 @@
+
+Fail: dsrun007.hs:5: Missing field in record construction 
+
+