Looks like some of that is my fault. I added a dependency on mred to
htdp/error. But I don't see why that file should be being loaded at
compile time so I changed syn-aux.ss to not load syn-aux-aux.ss at
(its) runtime, but only for-template.
I also removed an unused definition of check-color from
2htdp/private/check-aux.ss and changed the name of the check-color
function in htdp/world.ss so it doesn't conflict with the new one in
htdp/error.ss
---
Also, looking at syn-aux.ss, I see this:
;; Symbol (Symbol X -> X) -> (X -> X)
(define (check-flat-spec tag coerce>)
(lambda (p)
(syntax-case p ()
[(b) #'(coerce> tag b)]
[_ (err tag p)])))
which seems like it has to be wrong (that's going to always introduce
a free variable, right?). I think it should probably be define-syntax,
but I didn't change it.
Robby
On Wed, Aug 5, 2009 at 1:33 PM, Carl Eastlund<c...@ccs.neu.edu> wrote:
> I get the following errors from the HtDP/2e and Universe stuff when I
> run 'setup-plt -D':
>
> setup-plt: version: 4.2.1.5 [3m]
> setup-plt: variants: 3m
> setup-plt: main collects: /Users/cce/plt/trunk/collects
> setup-plt: collects paths:
> setup-plt: /Users/cce/Library/PLT Scheme/4.2.1.5/collects
> setup-plt: /Users/cce/plt/trunk/collects
> setup-plt: --- pre-installing collections ---
> setup-plt: pre-installing: plot
> setup-plt: pre-installing: profj (ProfessorJ)
> setup-plt: pre-installing: sgl
> setup-plt: --- compiling collections ---
> setup-plt: making: 2htdp (HtDP/2e Teachpacks)
> setup-plt: in 2htdp
> dynamic-require: unknown module: '#%mred-kernel; need to run in mred
> instead of mzscheme
> setup-plt: making: 2htdp/private
> setup-plt: in 2htdp/private
> check-aux.ss:190:9: module: identifier is already imported at:
> check-color in: (define-values (check-color) (new-lambda (tag width
> rank) (check-arg tag (or (symbol? width) (string? width)) "color
> symbol or string" rank width)))
> setup-plt: making: 2htdp/uchat
> setup-plt: in 2htdp
> dynamic-require: unknown module: '#%mred-kernel; need to run in mred
> instead of mzscheme
> setup-plt: making: afm
> setup-plt: making: algol60
> setup-plt: making: algol60/examples
> setup-plt: making: at-exp
> setup-plt: making: at-exp/lang
> setup-plt: making: browser
> setup-plt: making: browser/private
> setup-plt: making: combinator-parser
> setup-plt: making: combinator-parser/private-combinator
> setup-plt: making: compiler
> setup-plt: making: compiler/private
> setup-plt: making: config
> setup-plt: making: defaults
> setup-plt: making: deinprogramm (DeinProgramm)
> setup-plt: making: deinprogramm/DMdA
> setup-plt: making: deinprogramm/DMdA-advanced
> setup-plt: making: deinprogramm/DMdA-advanced/lang
> setup-plt: making: deinprogramm/DMdA-assignments
> setup-plt: making: deinprogramm/DMdA-assignments/lang
> setup-plt: making: deinprogramm/DMdA-beginner
> setup-plt: making: deinprogramm/DMdA-beginner/lang
> setup-plt: making: deinprogramm/DMdA-vanilla
> setup-plt: making: deinprogramm/DMdA-vanilla/lang
> setup-plt: making: deinprogramm/DMdA/lang
> setup-plt: making: deinprogramm/contract
> setup-plt: making: deinprogramm/scribblings
> setup-plt: making: drscheme
> setup-plt: making: drscheme/private
> setup-plt: making: dynext
> setup-plt: making: dynext/private
> setup-plt: making: embedded-gui
> setup-plt: making: embedded-gui/private
> setup-plt: making: embedded-gui/scribblings
> setup-plt: making: eopl
> setup-plt: making: eopl/lang
> setup-plt: making: eopl/private
> setup-plt: making: errortrace
> setup-plt: making: errortrace/scribblings
> setup-plt: making: ffi (Sample FFIs)
> setup-plt: making: ffi/private
> setup-plt: making: file
> setup-plt: making: file/private
> setup-plt: making: file/scribblings
> setup-plt: making: framework
> setup-plt: making: framework/private
> setup-plt: making: frtime (FrTime)
> setup-plt: making: frtime/animation
> setup-plt: making: frtime/core
> setup-plt: making: frtime/frlibs
> setup-plt: making: frtime/gui
> setup-plt: making: frtime/lang
> setup-plt: making: frtime/opt
> setup-plt: making: frtime/reactive
> setup-plt: making: frtime/reactive/lang
> setup-plt: making: frtime/scribblings
> setup-plt: making: frtime/tool (FrTime Tool)
> setup-plt: making: games
> setup-plt: in 2htdp
> dynamic-require: unknown module: '#%mred-kernel; need to run in mred
> instead of mzscheme
> setup-plt: making: games/aces
> setup-plt: making: games/blackjack
> setup-plt: making: games/cards
> setup-plt: making: games/cards/hicolor
> setup-plt: making: games/cards/locolor
> setup-plt: making: games/chat-noir (Chat Noir)
> setup-plt: in 2htdp
> dynamic-require: unknown module: '#%mred-kernel; need to run in mred
> instead of mzscheme
> setup-plt: making: games/checkers
> setup-plt: making: games/crazy8s (Crazy 8s)
> setup-plt: making: games/crazy8s/images
> setup-plt: making: games/doors
> setup-plt: making: games/doors/private
> setup-plt: making: games/gcalc (GCalc)
> setup-plt: making: games/ginrummy (Rummy)
> setup-plt: making: games/gl-board-game
> setup-plt: making: games/gobblet
> setup-plt: making: games/gofish (Go Fish)
> setup-plt: making: games/jewel
> setup-plt: making: games/lights-out
> setup-plt: making: games/memory
> setup-plt: making: games/memory/images
> setup-plt: making: games/mines (Minesweeper)
> setup-plt: making: games/mines/images
> setup-plt: making: games/paint-by-numbers
> setup-plt: making: games/parcheesi
> setup-plt: making: games/pousse
> setup-plt: making: games/same
> setup-plt: making: games/scribblings
> setup-plt: making: games/slidey
> setup-plt: making: games/spider
> setup-plt: making: graphics
> setup-plt: making: graphics/scribblings
> setup-plt: making: gui-debugger
> setup-plt: making: gui-debugger/icons
> setup-plt: making: guibuilder
> setup-plt: making: handin-client (Course)
> setup-plt: making: handin-server
> setup-plt: making: handin-server/overridden-collects
> setup-plt: making: handin-server/overridden-collects/fake-teachpack
> setup-plt: making: handin-server/overridden-collects/fake-teachpack/htdp
> setup-plt: making: handin-server/private
> setup-plt: making: handin-server/scribblings
> setup-plt: making: help
> setup-plt: making: help/private
> setup-plt: making: hierlist
> setup-plt: making: honu
> setup-plt: making: honu/lang
> setup-plt: making: honu/private
> setup-plt: making: htdch (Java Teachpacks)
> setup-plt: making: htdch/colors
> setup-plt: making: htdch/draw
> setup-plt: making: htdch/geometry
> setup-plt: making: htdch/graphics
> setup-plt: making: htdch/idraw (Imperative Drawing)
> setup-plt: making: htdp (HtDP Teachpacks)
> setup-plt: in htdp
> world.ss:414:9: module: identifier is already imported at: check-color
> in: (define-values (check-color) (new-lambda (tag width rank)
> (check-arg tag (or (symbol? width) (string? width)) "color symbol or
> string" rank width)))
> setup-plt: making: html
> setup-plt: making: icons
> setup-plt: making: info-domain
> setup-plt: making: lang (HtDP Languages)
> setup-plt: making: lang/private
> setup-plt: making: lang/private/contracts
> setup-plt: making: launcher
> setup-plt: making: lazy (Lazy Scheme)
> setup-plt: making: lazy/lang
> setup-plt: making: macro-debugger
> setup-plt: making: macro-debugger/model (Expansion Model)
> setup-plt: making: macro-debugger/syntax-browser
> setup-plt: making: macro-debugger/util
> setup-plt: making: macro-debugger/view
> setup-plt: making: make
> setup-plt: making: mred
> setup-plt: making: mred/lang
> setup-plt: making: mred/private
> setup-plt: making: mred/private/wxme
> setup-plt: making: mrlib
> setup-plt: making: mrlib/hierlist
> setup-plt: making: mrlib/private
> setup-plt: making: mrlib/private/aligned-pasteboard
> setup-plt: making: mrlib/scribblings
> setup-plt: making: mrlib/scribblings/aligned-pasteboard
> setup-plt: making: mrlib/scribblings/graph
> setup-plt: making: mrlib/scribblings/hierlist
> setup-plt: making: mysterx
> setup-plt: making: mysterx/private
> setup-plt: making: mysterx/scribblings
> setup-plt: making: mzcom
> setup-plt: making: mzlib
> setup-plt: making: mzlib/private
> setup-plt: making: mzlib/scribblings
> setup-plt: making: mzscheme
> setup-plt: making: mzscheme/lang
> setup-plt: making: net
> setup-plt: making: net/private
> setup-plt: making: net/scribblings
> setup-plt: making: openssl
> setup-plt: making: parser-tools
> setup-plt: making: parser-tools/examples
> setup-plt: making: parser-tools/private-lex
> setup-plt: making: parser-tools/private-yacc
> setup-plt: making: planet (PLaneT)
> setup-plt: making: planet/lang
> setup-plt: making: planet/private
> setup-plt: making: plot
> setup-plt: making: plot/fonts
> setup-plt: making: plot/src
> setup-plt: making: plot/src/all
> setup-plt: making: plot/src/fit
> setup-plt: making: preprocessor
> setup-plt: making: preprocessor/scribblings
> setup-plt: making: profile
> setup-plt: making: profile/scribblings
> setup-plt: making: profj (ProfessorJ)
> setup-plt: making: profj/classpath
> setup-plt: making: profj/comb-parsers
> setup-plt: making: profj/libs
> setup-plt: making: profj/libs/java
> setup-plt: making: profj/libs/java/io
> setup-plt: making: profj/libs/java/lang
> setup-plt: making: profj/libs/java/tester
> setup-plt: making: profj/libs/java/util
> setup-plt: making: profj/parsers
> setup-plt: making: profj/scribblings
> setup-plt: making: profjWizard (ProfessorJ Wizard)
> setup-plt: making: r5rs
> setup-plt: making: r5rs/lang
> setup-plt: making: r5rs/private
> setup-plt: making: r6rs
> setup-plt: making: r6rs/lang
> setup-plt: making: r6rs/private
> setup-plt: making: r6rs/scribblings
> setup-plt: making: readline
> setup-plt: making: redex (PLT Redex)
> setup-plt: making: redex/examples (Reduction Semantics examples)
> setup-plt: making: redex/private
> setup-plt: making: redex/private/bmps
> setup-plt: making: repos-time-stamp
> setup-plt: making: rnrs
> setup-plt: making: rnrs/arithmetic
> setup-plt: making: rnrs/io
> setup-plt: making: rnrs/records
> setup-plt: making: s-exp
> setup-plt: making: s-exp/lang
> setup-plt: making: scheme
> setup-plt: making: scheme/base
> setup-plt: making: scheme/base/lang
> setup-plt: making: scheme/gui
> setup-plt: making: scheme/gui/lang
> setup-plt: making: scheme/lang
> setup-plt: making: scheme/load
> setup-plt: making: scheme/load/lang
> setup-plt: making: scheme/match
> setup-plt: making: scheme/private
> setup-plt: making: scheme/signature
> setup-plt: making: scheme/signature/lang
> setup-plt: making: scheme/unit
> setup-plt: making: scheme/unit/lang
> setup-plt: making: schemeunit (SchemeUnit)
> setup-plt: making: schemeunit/scribblings
> setup-plt: making: scribble
> setup-plt: making: scribble/base
> setup-plt: making: scribble/base/lang
> setup-plt: making: scribble/doc
> setup-plt: making: scribble/doc/lang
> setup-plt: making: scribble/lp
> setup-plt: making: scribble/lp/lang
> setup-plt: making: scribble/manual
> setup-plt: making: scribble/manual/lang
> setup-plt: making: scribble/private
> setup-plt: making: scribble/sigplan
> setup-plt: making: scribble/sigplan/lang
> setup-plt: making: scribble/text
> setup-plt: making: scribble/text/lang
> setup-plt: making: scribblings (Documentation Sources)
> setup-plt: making: scribblings/drscheme
> setup-plt: making: scribblings/foreign
> setup-plt: making: scribblings/framework
> setup-plt: making: scribblings/gui
> setup-plt: making: scribblings/guide
> setup-plt: making: scribblings/honu
> setup-plt: making: scribblings/htdp-langs
> setup-plt: making: scribblings/inside
> setup-plt: making: scribblings/main
> setup-plt: making: scribblings/main/private
> setup-plt: making: scribblings/main/user
> setup-plt: making: scribblings/more
> setup-plt: making: scribblings/mzc
> setup-plt: making: scribblings/quick
> setup-plt: making: scribblings/quick/images
> setup-plt: making: scribblings/reference
> setup-plt: making: scribblings/scribble
> setup-plt: making: scribblings/setup-plt
> setup-plt: making: scribblings/slideshow
> setup-plt: making: scribblings/tools
> setup-plt: making: scriblib
> setup-plt: making: scriblib/private
> setup-plt: making: scriblib/scribblings
> setup-plt: making: setup
> setup-plt: making: setup/infotab
> setup-plt: making: setup/infotab/lang
> setup-plt: making: setup/private
> setup-plt: making: sgl
> setup-plt: making: sgl/scribblings
> setup-plt: making: sirmail
> setup-plt: making: sirmail/emoticon
> setup-plt: making: slatex
> setup-plt: making: slideshow
> setup-plt: making: slideshow/lang
> setup-plt: making: slideshow/private
> setup-plt: making: srfi
> setup-plt: making: srfi/%3a1
> setup-plt: making: srfi/%3a11
> setup-plt: making: srfi/%3a13
> setup-plt: making: srfi/%3a14
> setup-plt: making: srfi/%3a16
> setup-plt: making: srfi/%3a17
> setup-plt: making: srfi/%3a18
> setup-plt: making: srfi/%3a19
> setup-plt: making: srfi/%3a2
> setup-plt: making: srfi/%3a23
> setup-plt: making: srfi/%3a25
> setup-plt: making: srfi/%3a26
> setup-plt: making: srfi/%3a27
> setup-plt: making: srfi/%3a28
> setup-plt: making: srfi/%3a29
> setup-plt: making: srfi/%3a31
> setup-plt: making: srfi/%3a38
> setup-plt: making: srfi/%3a39
> setup-plt: making: srfi/%3a41
> setup-plt: making: srfi/%3a42
> setup-plt: making: srfi/%3a43
> setup-plt: making: srfi/%3a45
> setup-plt: making: srfi/%3a48
> setup-plt: making: srfi/%3a5
> setup-plt: making: srfi/%3a54
> setup-plt: making: srfi/%3a57
> setup-plt: making: srfi/%3a59
> setup-plt: making: srfi/%3a6
> setup-plt: making: srfi/%3a60
> setup-plt: making: srfi/%3a61
> setup-plt: making: srfi/%3a63
> setup-plt: making: srfi/%3a64
> setup-plt: making: srfi/%3a66
> setup-plt: making: srfi/%3a67
> setup-plt: making: srfi/%3a69
> setup-plt: making: srfi/%3a71
> setup-plt: making: srfi/%3a74
> setup-plt: making: srfi/%3a78
> setup-plt: making: srfi/%3a8
> setup-plt: making: srfi/%3a86
> setup-plt: making: srfi/%3a87
> setup-plt: making: srfi/%3a9
> setup-plt: making: srfi/1
> setup-plt: making: srfi/13
> setup-plt: making: srfi/14
> setup-plt: making: srfi/17
> setup-plt: making: srfi/19
> setup-plt: making: srfi/2
> setup-plt: making: srfi/25
> setup-plt: making: srfi/26
> setup-plt: making: srfi/27
> setup-plt: making: srfi/29
> setup-plt: making: srfi/29/bundles
> setup-plt: making: srfi/29/bundles/es
> setup-plt: making: srfi/31
> setup-plt: making: srfi/32
> setup-plt: making: srfi/34
> setup-plt: making: srfi/35
> setup-plt: making: srfi/38
> setup-plt: making: srfi/40
> setup-plt: making: srfi/41
> setup-plt: making: srfi/42
> setup-plt: making: srfi/42ref
> setup-plt: making: srfi/43
> setup-plt: making: srfi/45
> setup-plt: making: srfi/48
> setup-plt: making: srfi/5
> setup-plt: making: srfi/54
> setup-plt: making: srfi/57
> setup-plt: making: srfi/59
> setup-plt: making: srfi/60
> setup-plt: making: srfi/61
> setup-plt: making: srfi/63
> setup-plt: making: srfi/64
> setup-plt: making: srfi/67
> setup-plt: making: srfi/69
> setup-plt: making: srfi/7
> setup-plt: making: srfi/71
> setup-plt: making: srfi/74
> setup-plt: making: srfi/78
> setup-plt: making: srfi/8
> setup-plt: making: srfi/86
> setup-plt: making: srfi/87
> setup-plt: making: srfi/9
> setup-plt: making: stepper
> setup-plt: making: stepper/private
> setup-plt: making: string-constants
> setup-plt: making: string-constants/private
> setup-plt: making: stxclass
> setup-plt: making: stxclass/private
> setup-plt: making: stxclass/scribblings
> setup-plt: making: stxclass/util
> setup-plt: making: swindle
> setup-plt: making: swindle/lang
> setup-plt: making: syntax
> setup-plt: making: syntax-color
> setup-plt: making: syntax/private
> setup-plt: making: syntax/private/stxparse
> setup-plt: making: syntax/private/util
> setup-plt: making: syntax/scribblings
> setup-plt: making: teachpack
> setup-plt: in htdp
> /Users/cce/plt/trunk/collects/htdp/world.ss:414:9: module: identifier
> is already imported at: check-color in: (define-values (check-color)
> (new-lambda (tag width rank) (check-arg tag (or (symbol? width)
> (string? width)) "color symbol or string" rank width)))
> setup-plt: making: teachpack/2htdp
> setup-plt: in 2htdp
> dynamic-require: unknown module: '#%mred-kernel; need to run in mred
> instead of mzscheme
> setup-plt: making: teachpack/2htdp/scribblings
> setup-plt: making: teachpack/deinprogramm
> setup-plt: making: teachpack/htdp
> setup-plt: in htdp
> /Users/cce/plt/trunk/collects/htdp/world.ss:414:9: module: identifier
> is already imported at: check-color in: (define-values (check-color)
> (new-lambda (tag width rank) (check-arg tag (or (symbol? width)
> (string? width)) "color symbol or string" rank width)))
> setup-plt: making: teachpack/htdp/scribblings
> setup-plt: making: test-box-recovery
> setup-plt: making: test-engine
> setup-plt: making: tests (Test Suites)
> setup-plt: making: tests/drscheme
> setup-plt: making: tests/file
> setup-plt: making: tests/framework
> setup-plt: making: tests/lazy
> setup-plt: making: tests/net
> setup-plt: making: tests/profile
> setup-plt: making: tests/scribble
> setup-plt: making: tests/utils
> setup-plt: making: tex2page
> setup-plt: making: texpict
> setup-plt: making: texpict/private
> setup-plt: making: trace (Calltrace)
> setup-plt: making: trace/scribblings
> setup-plt: making: typed
> setup-plt: making: typed-scheme
> setup-plt: making: typed-scheme/env
> setup-plt: making: typed-scheme/infer
> setup-plt: making: typed-scheme/lang
> setup-plt: making: typed-scheme/no-check
> setup-plt: making: typed-scheme/no-check/lang
> setup-plt: making: typed-scheme/private
> setup-plt: making: typed-scheme/rep
> setup-plt: making: typed-scheme/typecheck
> setup-plt: making: typed-scheme/types
> setup-plt: making: typed-scheme/utils
> setup-plt: making: typed/file
> setup-plt: making: typed/framework
> setup-plt: making: typed/mred
> setup-plt: making: typed/net
> setup-plt: making: typed/private
> setup-plt: making: typed/srfi
> setup-plt: making: version
> setup-plt: making: waterworld
> setup-plt: making: web-server
> setup-plt: making: web-server/configuration
> setup-plt: making: web-server/dispatch
> setup-plt: making: web-server/dispatchers
> setup-plt: making: web-server/formlets
> setup-plt: making: web-server/http
> setup-plt: making: web-server/insta
> setup-plt: making: web-server/insta/lang
> setup-plt: making: web-server/lang
> setup-plt: making: web-server/managers
> setup-plt: making: web-server/private
> setup-plt: making: web-server/scribblings
> setup-plt: making: web-server/scribblings/tutorial
> setup-plt: making: web-server/scribblings/tutorial/images
> setup-plt: making: web-server/servlet
> setup-plt: making: web-server/stuffers
> setup-plt: making: wxme
> setup-plt: making: wxme/private
> setup-plt: making: xml
> setup-plt: making: xml/private
> setup-plt: making: /Users/cce/research/planet/dracula (Dracula)
> setup-plt: in /Users/cce/research/planet/dracula/teachpacks/
> teachpacks/universe.ss:429:9: module: identifier is already imported
> at: check-color in: (define-values (check-color) (new-lambda (tag
> width rank) (check-arg tag (or (symbol? width) (string? width)) "color
> symbol or string" rank width)))
> setup-plt: making: /Users/cce/research/planet/dracula/acl2
> setup-plt: making: /Users/cce/research/planet/dracula/drscheme
> setup-plt: making: /Users/cce/research/planet/dracula/guide
> setup-plt: making: /Users/cce/research/planet/dracula/guide/images
> setup-plt: making: /Users/cce/research/planet/dracula/images
> setup-plt: making: /Users/cce/research/planet/dracula/lang
> setup-plt: making:
> /Users/cce/research/planet/dracula/lang/primitive-procedures
> setup-plt: making: /Users/cce/research/planet/dracula/modular
> setup-plt: in /Users/cce/research/planet/dracula/teachpacks/
> /Users/cce/research/planet/dracula/teachpacks/universe.ss:429:9:
> module: identifier is already imported at: check-color in:
> (define-values (check-color) (new-lambda (tag width rank) (check-arg
> tag (or (symbol? width) (string? width)) "color symbol or string" rank
> width)))
> setup-plt: making: /Users/cce/research/planet/dracula/modular/lang
> setup-plt: making: /Users/cce/research/planet/dracula/modular/nonstd
> setup-plt: making: /Users/cce/research/planet/dracula/modular/nonstd/lang
> setup-plt: making: /Users/cce/research/planet/dracula/private
> setup-plt: making: /Users/cce/research/planet/dracula/proof
> setup-plt: making: /Users/cce/research/planet/dracula/reference
> setup-plt: making: /Users/cce/research/planet/dracula/reference/acl2
> setup-plt: making: /Users/cce/research/planet/dracula/reference/modular
> setup-plt: making: /Users/cce/research/planet/dracula/reference/teachpacks
> setup-plt: making: /Users/cce/research/planet/dracula/teachpacks
> setup-plt: in /Users/cce/research/planet/dracula/teachpacks/
> universe.ss:429:9: module: identifier is already imported at:
> check-color in: (define-values (check-color) (new-lambda (tag width
> rank) (check-arg tag (or (symbol? width) (string? width)) "color
> symbol or string" rank width)))
> setup-plt: making: /Users/cce/research/planet/dracula/test
> setup-plt: in /Users/cce/research/planet/dracula/teachpacks/
> /Users/cce/research/planet/dracula/teachpacks/universe.ss:429:9:
> module: identifier is already imported at: check-color in:
> (define-values (check-color) (new-lambda (tag width rank) (check-arg
> tag (or (symbol? width) (string? width)) "color symbol or string" rank
> width)))
> setup-plt: making: /Users/cce/research/planet/experimental
> setup-plt: making: /Users/cce/research/planet/experimental/hygienic-acl2
> setup-plt: making: /Users/cce/research/planet/experimental/hygienic-acl2/data
> setup-plt: making:
> /Users/cce/research/planet/experimental/hygienic-acl2/expansion
> setup-plt: making: /Users/cce/research/planet/experimental/hygienic-acl2/lang
> setup-plt: making: /Users/cce/research/planet/experimental/hygienic-acl2/test
> setup-plt: making: /Users/cce/research/planet/experimental/lang
> setup-plt: making: /Users/cce/research/planet/experimental/private
> setup-plt: making: /Users/cce/research/planet/fasttest (FastTest)
> setup-plt: making: /Users/cce/research/planet/fasttest/examples
> setup-plt: making: /Users/cce/research/planet/fasttest/private
> setup-plt: making: /Users/cce/research/planet/object-debugger (Object
> Debugger)
> setup-plt: making: /Users/cce/research/planet/object-debugger/gui
> setup-plt: making: /Users/cce/research/planet/object-debugger/model
> setup-plt: making: /Users/cce/research/planet/object-debugger/private
> setup-plt: making: /Users/cce/research/planet/scheme (Scheme
> Utilities: (planet cce/scheme))
> setup-plt: making: /Users/cce/research/planet/scheme/private
> setup-plt: making: /Users/cce/research/planet/scheme/reference
> setup-plt: making: <planet>/dherman/inspector.plt/1/0 (inspector)
> setup-plt: making: <planet>/dherman/struct.plt/2/4 (struct)
> setup-plt: making: <planet>/dherman/struct.plt/2/4/private
> setup-plt: making: <planet>/dherman/struct.plt/2/4/private/tests
> setup-plt: making: <planet>/dyoo/version-case.plt/1/8 (version-case)
> setup-plt: making: <planet>/dyoo/version-case.plt/1/8/planet-docs
> setup-plt: making: <planet>/dyoo/version-case.plt/1/8/planet-docs/version-case
> setup-plt: making: <planet>/dyoo/version-case.plt/1/8/private
> setup-plt: making: <planet>/schematics/random.plt/1/0 (Random)
> setup-plt: making: <planet>/schematics/schemeunit.plt/2/12 (schemeunit)
> setup-plt: --- updating info-domain tables ---
> setup-plt: updating: info-domain/compiled/cache.ss
> setup-plt: updating: /Users/cce/Library/PLT Scheme/planet/300/4.2.1.5/cache.ss
> setup-plt: --- creating launchers ---
> setup-plt: launcher: <console-bin>/mzc
> setup-plt: launcher: <gui-bin>/DrScheme.app
> setup-plt: launcher: <gui-bin>/bin/drscheme [script-3m]
> setup-plt: launcher: <gui-bin>/PLT Games.app
> setup-plt: launcher: <gui-bin>/bin/plt-games [script-3m]
> setup-plt: launcher: <console-bin>/planet
> setup-plt: launcher: <console-bin>/mzpp
> setup-plt: launcher: <console-bin>/mztext
> setup-plt: launcher: <console-bin>/plt-r5rs
> setup-plt: launcher: <console-bin>/plt-r6rs
> setup-plt: launcher: <console-bin>/scribble
> setup-plt: launcher: <console-bin>/setup-plt
> setup-plt: launcher: <gui-bin>/SirMail.app
> setup-plt: launcher: <gui-bin>/bin/sirmail [script-3m]
> setup-plt: launcher: <console-bin>/slatex
> setup-plt: launcher: <console-bin>/pdf-slatex
> setup-plt: launcher: <gui-bin>/Slideshow.app
> setup-plt: launcher: <gui-bin>/bin/slideshow [script-3m]
> setup-plt: launcher: <console-bin>/swindle
> setup-plt: launcher: <console-bin>/tex2page
> setup-plt: launcher: <console-bin>/plt-web-server
> setup-plt: --- installing collections ---
> setup-plt: installing: htdch (Java Teachpacks)
> setup-plt: installing: profj (ProfessorJ)
> setup-plt: --- post-installing collections ---
> setup-plt: post-installing: help
> setup-plt: post-installing: mred
> setup-plt: post-installing: mysterx
> setup-plt: post-installing: mzcom
> setup-plt: done
> setup-plt:
> setup-plt: error: during making for 2htdp (HtDP/2e Teachpacks)
> setup-plt: dynamic-require: unknown module: '#%mred-kernel; need to
> run in mred instead of mzscheme
> setup-plt: error: during making for 2htdp/private
> setup-plt: check-aux.ss:190:9: module: identifier is already
> imported at: check-color in: (define-values (check-color) (new-lambda
> (tag width rank) (check-arg tag (or (symbol? width) (string? width))
> "color symbol or string" rank width)))
> setup-plt: error: during making for 2htdp/uchat
> setup-plt: dynamic-require: unknown module: '#%mred-kernel; need to
> run in mred instead of mzscheme
> setup-plt: error: during making for games
> setup-plt: dynamic-require: unknown module: '#%mred-kernel; need to
> run in mred instead of mzscheme
> setup-plt: error: during making for games/chat-noir (Chat Noir)
> setup-plt: dynamic-require: unknown module: '#%mred-kernel; need to
> run in mred instead of mzscheme
> setup-plt: error: during making for htdp (HtDP Teachpacks)
> setup-plt: world.ss:414:9: module: identifier is already imported
> at: check-color in: (define-values (check-color) (new-lambda (tag
> width rank) (check-arg tag (or (symbol? width) (string? width)) "color
> symbol or string" rank width)))
> setup-plt: error: during making for teachpack
> setup-plt: /Users/cce/plt/trunk/collects/htdp/world.ss:414:9:
> module: identifier is already imported at: check-color in:
> (define-values (check-color) (new-lambda (tag width rank) (check-arg
> tag (or (symbol? width) (string? width)) "color symbol or string" rank
> width)))
> setup-plt: error: during making for teachpack/2htdp
> setup-plt: dynamic-require: unknown module: '#%mred-kernel; need to
> run in mred instead of mzscheme
> setup-plt: error: during making for teachpack/htdp
> setup-plt: /Users/cce/plt/trunk/collects/htdp/world.ss:414:9:
> module: identifier is already imported at: check-color in:
> (define-values (check-color) (new-lambda (tag width rank) (check-arg
> tag (or (symbol? width) (string? width)) "color symbol or string" rank
> width)))
> setup-plt: error: during making for /Users/cce/research/planet/dracula
> (Dracula)
> setup-plt: teachpacks/universe.ss:429:9: module: identifier is
> already imported at: check-color in: (define-values (check-color)
> (new-lambda (tag width rank) (check-arg tag (or (symbol? width)
> (string? width)) "color symbol or string" rank width)))
> setup-plt: error: during making for /Users/cce/research/planet/dracula/modular
> setup-plt: /Users/cce/research/planet/dracula/teachpacks/universe.ss:429:9:
> module: identifier is already imported at: check-color in:
> (define-values (check-color) (new-lambda (tag width rank) (check-arg
> tag (or (symbol? width) (string? width)) "color symbol or string" rank
> width)))
> setup-plt: error: during making for
> /Users/cce/research/planet/dracula/teachpacks
> setup-plt: universe.ss:429:9: module: identifier is already imported
> at: check-color in: (define-values (check-color) (new-lambda (tag
> width rank) (check-arg tag (or (symbol? width) (string? width)) "color
> symbol or string" rank width)))
> setup-plt: error: during making for /Users/cce/research/planet/dracula/test
> setup-plt: /Users/cce/research/planet/dracula/teachpacks/universe.ss:429:9:
> module: identifier is already imported at: check-color in:
> (define-values (check-color) (new-lambda (tag width rank) (check-arg
> tag (or (symbol? width) (string? width)) "color symbol or string" rank
> width)))
> _________________________________________________
> For list-related administrative tasks:
> http://list.cs.brown.edu/mailman/listinfo/plt-dev
>
_________________________________________________
For list-related administrative tasks:
http://list.cs.brown.edu/mailman/listinfo/plt-dev
