Opened 5 years ago

Closed 5 years ago

#441 closed defect (fixed)

Make sure a program/library loads any imported libraries at most once

Reported by: cowan Owned by: cowan
Priority: major Milestone:
Component: WG1 - Core Keywords:


Add the following text to the discussion of library loading:

Regardless of the number of times that a library is loaded, each program or library that imports bindings from a library will receive bindings from a single loading of that library, regardless of the number of import or cond-expand declarations in which it appears.

to make it clear that, for example,

(import (prefix (foo) 'foo:))
(import (only (foo) bar))

will cause bar and foo:bar to come from the same instantiation of the library '(foo)'

Change History (4)

comment:1 Changed 5 years ago by alexshinn

Note Aaron Hsu argues that we should go in the
other direction and loosen the semantics to allow
loading (foo) zero times here.

comment:2 Changed 5 years ago by cowan

  • Status changed from new to decided

WG1 voted to accept the text above.

comment:3 Changed 5 years ago by cowan

  • Owner changed from alexshinn to cowan
  • Status changed from decided to writing

comment:4 Changed 5 years ago by cowan

  • Resolution set to fixed
  • Status changed from writing to closed
Note: See TracTickets for help on using tickets.