Opened 12 years ago

Last modified 4 years ago

#124 new modification

Do not import the Prelude by default for proper modules

Reported by: Ian Lynagh Owned by: none
Priority: normal Milestone:
Version: Keywords:
Cc: Meta Owner: CLiC
State: Section: N/A or multiple
Related Tickets:

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.

Change History (3)

comment:1 Changed 4 years ago by Herbert Valerio Riedel

Milestone:

moving non-milestoned many year old legacy tickets out of the way

comment:2 Changed 4 years ago by Herbert Valerio Riedel

Priority: majornormal

Set default priority (as this confuses Trac otherwise)

comment:3 Changed 4 years ago by Herbert Valerio Riedel

Meta Owner: CLiC
Section: N/A or multiple
Note: See TracTickets for help on using tickets.