summaryrefslogtreecommitdiff
path: root/testsuite/tests/deSugar/should_run/dsrun006.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/deSugar/should_run/dsrun006.hs')
-rw-r--r--testsuite/tests/deSugar/should_run/dsrun006.hs33
1 files changed, 33 insertions, 0 deletions
diff --git a/testsuite/tests/deSugar/should_run/dsrun006.hs b/testsuite/tests/deSugar/should_run/dsrun006.hs
new file mode 100644
index 0000000000..759c9c542d
--- /dev/null
+++ b/testsuite/tests/deSugar/should_run/dsrun006.hs
@@ -0,0 +1,33 @@
+{-
+Date: Tue, 20 May 1997 05:10:04 GMT
+From: Tomasz Cholewo <tjchol01@mecca.spd.louisville.edu>
+
+ghc-2.03 cannot compile the following code, which I think is correct
+according to the Report
+
+ data X = A {a :: Int} | B {a :: Int}
+
+The error message is:
+
+ Conflicting definitions for: a
+ Defined at bug4.lhs:2
+ Defined at bug4.lhs:2
+
+In addition the following snippet
+
+ data X = A {a :: Int}
+ y = let A {a} = x
+ in a
+
+fails with:
+
+ bug4.lhs:4:5: Not a valid LHS on input: "in"
+-}
+--module Main(main) where
+
+data X = A {a :: Int} | B {a :: Int}
+
+f x = let A {a=a} = x
+ in a
+
+main = print (f (A {a = 3}))