internal (import) allows redefinitions at the repl

Hi

A question:

Given the about X and Y libraries, would it be correct to import them into separate lexical scopes? Eg:

(let ()
    (import (X))
    a)

(let ()
    (import (Y))
    a)

Cheers

leppie

s/about/above

Oops :o)

On Sep 15, 2008, at 11:50 AM, leppie wrote:

> A question:
>
> Given the about X and Y libraries, would it be correct to import them
> into separate lexical scopes? Eg:
>
> (let ()
> (import (X))
> a)
>
> (let ()
> (import (Y))
> a)

Of course.

I think this is related:

$ cat internal-define-duplicates.sps
(import (ikarus))
(let ()
  (define x 1)
  (define x 2)
  (pretty-print x))
$ ikarus internal-define-duplicates.sps
Ikarus Scheme version 0.0.3+ (revision 1649, build 2008-10-28)
Copyright (c) 2006-2008 Abdulaziz Ghuloum

2
>
$ ikarus --r6rs-script internal-define-duplicates.sps
Unhandled exception:
 Condition components:
   1. &who: x
   2. &message: "multiple definitions of identifier"
   3. &syntax:
       form: x
       subform: #f
   4. &source-information:
       file-name: "internal-define-duplicates.sps"
       character: 52
   5. &trace: #<syntax x (char 52 of internal-define-duplicates.sps)>
$

It is related. Will investigate more.

Fixed in revision 1655 and added some tests for the semantics of the repl.
The tests did help avoid some problems that we would've run to due to the change, but they're not that comprehensive.
If something breaks in the repl, somebody remind me to add appropriate tests.

Thank!

Aziz,,,