id summary reporter owner description type status priority milestone component resolution keywords cc planetversion pltversion 174 Error in require pocmatos@… schematics "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 /schematics/port.plt/1/3 (port) setup-plt: module: identifier is already imported setup-plt: error: during making for /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 /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" defect closed major schematics/benchmark.plt error, require (2 0) 4.1.5.3