Ticket #174 (closed defect)
Error in require
| Reported by: | pocmatos@… | Owned by: | schematics |
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | schematics/benchmark.plt | Keywords: | error, require |
| Cc: | Version: | (2 0) | |
| Racket Version: | 4.1.5.3 |
Description
When I require the package in 4.1.5.3 I get:
(require (planet schematics/benchmark:2:0))
module: identifier is already imported
module: identifier is already imported
module: identifier is already imported
setup-plt: error: during making for <planet>/schematics/port.plt/1/3 (port)
setup-plt: module: identifier is already imported
setup-plt: error: during making for <planet>/schematics/port.plt/1/3/scribblings
setup-plt: module: identifier is already imported
setup-plt: error: during Building docs for /home/pmatos/.plt-scheme/planet/300/4.1.5.3/cache/schematics/port.plt/1/3/scribblings/port.scrbl
setup-plt: module: identifier is already imported
module: identifier is already imported
module: identifier is already imported
setup-plt: error: during making for <planet>/schematics/benchmark.plt/2/0 (Benchmark)
setup-plt: module: identifier is already imported
setup-plt: error: during Building docs for /home/pmatos/.plt-scheme/planet/300/4.1.5.3/cache/schematics/benchmark.plt/2/0/scribblings/benchmark.scrbl
setup-plt: module: identifier is already imported
. .plt-scheme/planet/300/4.1.5.3/cache/schematics/port.plt/1/3/port.ss:57:9: module: identifier is already imported in: port->string
