Re: Curry module system

From: Wolfgang Jeltsch <>
Date: Fri, 27 Jan 2006 17:30:19 +0100

Am Freitag, 27. Januar 2006 16:36 schrieb Michael Hanus:
> Wolfgang Jeltsch wrote:
> > > 2. As a consequence of 1., it seems reasonable that in a Curry program
> > > stored in file "Prog.curry" with a missing module head, the default
> > > module head "module Prog where" is inserted (currently, the report
> > > states that in this case the standard module head "module main
> > > where" is inserted).
> >
> > Of course, inserting "module Prog where" is not what typical Haskell
> > systems do since they insert "module Main where". Is it feasible to
> > introduce an incompatibility to Haskell here?
> Initially, I proposed this conformity with Haskell and I usually
> prefer whenever possible. However, I do not know in which cases the
> compatibility with Haskell is really helpful here. If we require that a
> module Prog should be stored in file Prog.curry, then inserting
> "module Main where" seems to make no sense and is a contradiction
> to this general rule. Furthermore, I do not see any advantage
> of inserting "Main" rather than "Prog".

Maybe we shouldn't strictly force that a module Main is stored in Main.curry
since this might cause problems if one wants to deal with several main I/O
actions which, as far as I know, must all reside inside a module Main.

> [...]

> Best regards,
> Michael

Best wishes,

curry mailing list
Received on Fr Jan 27 2006 - 17:31:32 CET

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:07 CEST