On Wed, Nov 18, 2009 at 3:10 PM, levi <greenspan.l...@googlemail.com> wrote:
> On Nov 18, 8:18 pm, Luke Palmer <lrpal...@gmail.com> 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).
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
