Opened 6 years ago

Closed 4 years ago

#160 closed defect (fixed)

Interleaving of imports and code in a module

Reported by: cowan Owned by: alexshinn
Priority: major Milestone:
Component: WG1 - Modules Keywords:
Cc:

Description

Given

   (module (name)
     (begin c1 ...)
     (import (A))
     (begin c2 ...)
     (import (B))
     (begin c3 ...))

what environments are c1, c2, c3 evaluated in? Two possibilities: all three are evaluated in an environment jointly composed of the (A) and (B) imports, or c1 is evaluated in the empty environment, c2 in the (A) environment, and only c3 in the joint environment.

Change History (3)

comment:1 Changed 6 years ago by alexshinn

  • Status changed from new to decided

We voted that all imports are independent of code, and are
established before any code is expanded.

comment:2 Changed 6 years ago by alexshinn

  • Status changed from decided to writing

comment:3 Changed 4 years ago by cowan

  • Resolution set to fixed
  • Status changed from writing to closed

This was overridden in part later to specify that use before import is an error.

Note: See TracTickets for help on using tickets.