[plt-scheme] Re: bug installing PLAI language in 4.1.5?
In the Cygwin shell, I ran the command 'planet url plai plai.plt 1 1',
and obtained the following URL:
http://planet.plt-scheme.org/servlets/planet-servlet.ss?lang=%224.1.5%22&name=%22plai.plt%22&maj=1&min-lo=1&min-hi=%23f&path=%28%22plai%22%29
Then, I downloaded the file 'planet-servlet.ss' there to the directory
C:\Documents and Settings\Benjamin\My Documents\DrScheme\PLaneT
Libraries\PLAI .
Then, I changed to this directory in the Cygwin shell, and ran the
following command:
planet fileinject <username> planet-servlet.ss 1 1
with 'username' substituted by my username.
The installation seemed to proceed smoothly, but after about 5
minutes, setup-plt concluded with the following errors:
>setup-plt: error: during making for <planet>/Benjamin/planet-servlet.ss/1/1 (PLAI)
>setup-plt: planet: ill-formed module path in: (planet Benjamin/planet-servlet.ss:1:1/datatype)
>setup-plt: error: during making for <planet>/Benjamin/planet-servlet.ss/1/1/private
>setup-plt: planet: ill-formed module path in: (planet Benjamin/planet-servlet.ss:1:1/test-harness)
>setup-plt: error: during Building docs for C:\Documents and Settings\Benjamin\Application Data\PLT Scheme\planet\300\4.1.5\cache\Benjamin\planet-servlet.ss\1\1\
>scribblings/plai.scrblsetup-plt: --- creating launchers ---
>setup-plt: --- installing collections ---
>setup-plt: --- post-installing collections ---
>setup-plt: done
>setup-plt:
>
>setup-plt: planet: ill-formed module path in: (planet Benjamin/planet-servlet.ss:1:1/main)
In addition, when I then attempted to start DrScheme, version 4.1.5,
english, DrScheme froze in the middle of startup with the following
duplicate errors in the Standard Output window and in a mini dialog
box:
>Error invoking tool #<path:C:\Documents and Settings\Benjamin\Application Data\PLT Scheme\planet\300\4.1.5\cache\Benjamin\planet-servlet.ss\1\1>;"plai-tool.ss"
>
>planet: ill-formed module path in: (planet Benjamin/planet-servlet.ss:1:1/private/tool-private)
>
> === context ===
>C:\bin\PLT-4.1.5\collects\scheme\private\reqprov.ss:58:13: t
>try-next
>try-next
>try-next
>C:\bin\PLT-4.1.5\collects\scheme\private\reqprov.ss:203:2
>C:\bin\PLT-4.1.5\collects\scheme\private\modbeg.ss:44:4
>C:\bin\PLT-4.1.5\collects\drscheme\private\tools.ss:250:4
>C:\bin\PLT-4.1.5\collects\scheme\private\map.ss:44:11: for-each
>C:\bin\PLT-4.1.5\collects\drscheme\private\tools.ss:62:0: load/invoke-all-tools
When I pressed "Ok" for both dialog boxes, DrScheme then finished
starting up, but "PLAI" was not listed among the list of Teaching
Languages.
What should I do now?
-- Benjamin L. Russell
On Tue, 31 Mar 2009 05:56:14 -0500, Robby Findler
<robby at eecs.northwestern.edu> wrote:
>If you run the command 'planet url plai plai.plt 1 1' from the shell,
>you will get a url. Download that and then use 'planet fileinject' to
>install it.
>
>Robby
>
>On Tue, Mar 31, 2009 at 3:25 AM, Benjamin L.Russell
><DekuDekuplex at yahoo.com> wrote:
>> I just tried to install the PLAI package on PLaneT from the following
>> URL:
>>
>> http://planet.plt-scheme.org/display.ss?package=plai.plt&owner=plai
>>
>> using the following command:
>>
>> (require (planet plai/plai:1:1))
>>
>> However, I encountered the following error message:
>>
>> require: PLaneT could not download the requested package: tcp-connect:
>> connection to planet.plt-scheme.org, port 80 failed (at step 4:
>> ?\?P?b?g??O??????????????????s?????????????B; errno=10038) in: (planet
>> plai/plai:1:1)
>>
>> When I unblocked access to port 80 for TCP/IP packages in Control
>> Panel, restarted DrScheme (it repeated the same error message until I
>> did this), and tried to run the command again, this time I ran into
>> the following error message:
>>
>> require: PLaneT could not download the requested package: tcp-write:
>> error writing (Unknown error; errno=10038) in: (planet plai/plai:1:1)
>>
>> Do you have a download site where I can manually download the file and
>> then install it from the local hard disk?
>>
>> -- Benjamin L. Russell
>>
>> On Tue, 24 Mar 2009 10:30:53 -0600, Jay McCarthy
>> <jay.mccarthy at gmail.com> wrote:
>>
>>>The PLAI package listed on
>>>
>>>http://www.cs.brown.edu/~sk/Publications/Books/ProgLangs/2007-04-26/
>>>
>>>is only tested with 4.1.3 (although I think it may work with 4.1.4)
>>>
>>>If you want to use 4.1.5, I've just recently put the PLAI package on PLaneT:
>>>
>>>http://planet.plt-scheme.org/display.ss?package=plai.plt&owner=plai
>>>
>>>Jay
>>>
>>>On Tue, Mar 24, 2009 at 10:03 AM, Eric Tanter <etanter at dcc.uchile.cl> wrote:
>>>> Hi,
>>>>
>>>> I've just downloaded the latest version of DrScheme and tried to install the
>>>> PLAI package (Shriram's book).
>>>>
>>>> I get an error:
>>>> /snip/
>>>> setup-plt: --- creating launchers ---
>>>> setup-plt: --- installing collections ---
>>>> setup-plt: --- post-installing collections ---
>>>> setup-plt: done
>>>> setup-plt:
>>>> setup-plt: error: during making for <user>/plai (PLAI)
>>>> setup-plt: ? web/server.ss:81:8: module: identifier is already imported at:
>>>> url->path in: (define-values (url->path) (fsmap:make-url->path (build-path
>>>> server-root-path "htdocs")))
>>>> setup-plt: error: during making for <user>/plai/web
>>>> setup-plt: ? server.ss:81:8: module: identifier is already imported at:
>>>> url->path in: (define-values (url->path) (fsmap:make-url->path (build-path
>>>> server-root-path "htdocs")))
>>>>
>>>> any idea?
>>>>
>>>> -- Eric
>>>>
>>>>
>>>> _________________________________________________
>>>> ?For list-related administrative tasks:
>>>> ?http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>>>>
>> --
>> Benjamin L. Russell ?/ ? DekuDekuplex at Yahoo dot com
>> http://dekudekuplex.wordpress.com/
>> Translator/Interpreter / Mobile: ?+011 81 80-3603-6725
>> "Furuike ya, kawazu tobikomu mizu no oto."
>> -- Matsuo Basho^
>>
>> _________________________________________________
>> ?For list-related administrative tasks:
>> ?http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>>
--
Benjamin L. Russell / DekuDekuplex at Yahoo dot com
http://dekudekuplex.wordpress.com/
Translator/Interpreter / Mobile: +011 81 80-3603-6725
"Furuike ya, kawazu tobikomu mizu no oto."
-- Matsuo Basho^
![[logo]](/logo.png){kind=logo}