Re: [Haskell-cafe] Re: Status of TypeDirectedNameResolution proposal?

On Wed, Nov 18, 2009 at 3:10 PM, levi wrote:

On Nov 18, 8:18 pm, Luke Palmer wrote:

...

You know, another solution to the records problem, which is not quite as convenient but much simpler (and has other applications) is to allow local modules.

module Foo where module Bar where data Bar = Bar { x :: Int, y :: Int } module Baz where data Baz = Baz { x :: Int, y :: Int }

f a b = Bar.x a + Baz.y b

+1

Independent of TDNR I would welcome this. Maybe Ticket 2551 ("Allow multiple modules per source file") [1] should be reconsidered.

Although ticket 2551 is not exactly what Luke is suggesting (which would be an extension to the language, whereas, if I'm not mistaken, 2551 is just a change to where GHC can find modules, not nesting of modules).