Ticket #124 (new modification)

Opened 2 years ago

Do not import the Prelude by default for proper modules

Reported by: igloo@earth.li Assigned to: none
Priority: major Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: normal Adopt:
Topic: Module System

Description

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.