Skip to content

Do not import the Prelude by default for proper modules

In a cross-posted thread starting:

it was proposed that a module beginning module Foo would not implicitly import the Prelude. Modules without this would still import the Prelude. Interactive environments would have the Prelude in scope unless they have loaded a module beginning module Foo.

In terms of changes to the report, 5.1 "Module Structure" would be changed to say that if no header is given then

module Main (main) where
import Prelude

is prepended.

See also #58 and Prelude.

Trac metadata
Trac field Value
Version
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Proposal
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information