Internal error on invalid record update

[rl]

A silly function:

foo :: () -> ()
foo x = x { foo = 1 }

6.8.2 says:

GHC internal error: `foo' is not in scope
In the expression: x {foo = 1}
In the definition of `foo': foo x = x {foo = 1}

HEAD's message is a bit more illuminating:

GHC internal error: `foo' is not in scope during type checking, but it passed the renamer
tcg_type_env of environment: []
In the expression: x {foo = 1}
In the definition of `foo': foo x = x {foo = 1}

[igloo]

Thanks for the report; the error could certainly be better!

[simonpj]

I'm fixing this.

[simonpj]

Fixed by

Wed Apr  2 06:20:57 PDT 2008  simonpj@microsoft.com
  * Fix Trac #2141: invalid record update

Ian: can you add a test case as well as merging?

Simon

[igloo]

Merged, and rnfail054 added.