Commit 2cb08adf authored by simonpj's avatar simonpj
Browse files

[project @ 2003-02-18 15:31:06 by simonpj]

Record update test
parent 875d5806
......@@ -100,3 +100,4 @@ test('tcfail110', normal, compile_fail, [''])
test('tcfail111', normal, compile_fail, [''])
test('tcfail112', normal, compile_fail, [''])
test('tcfail113', normal, compile_fail, [''])
test('tcfail114', normal, compile_fail, [''])
-- Killed GHC 5.04.2
module ShouldFail where
class Foo a where
foo :: a -> ()
data Bar = Bar { bar :: () }
test :: Bar
test = undefined { foo = () }
-- The point is that foo is a class method,
-- but not a record selector
tcfail114.hs:11:
`foo' is not a record selector
In the record update: undefined {foo = ()}
In a right-hand side of function `test': undefined {foo = ()}
In the definition of `test': test = undefined {foo = ()}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment