diff options
Diffstat (limited to 'testsuite/tests/deSugar/should_run/dsrun006.hs')
-rw-r--r-- | testsuite/tests/deSugar/should_run/dsrun006.hs | 33 |
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})) |