[plt-scheme] Re: bug installing PLAI language in 4.1.5?

Tue Mar 31 09:00:58 EDT 2009

Thanks for the response in e-mail, Noel.  (I'm posting a summary here
just so that this summary will be available in the archives if I need
it later.)

It worked:

First, I removed the erroneously fileinjected file as follows:

     planet remove -e Benjamin planet-servlet.ss 1 1

Then, I renamed the file 'planet-servlet.ss' to 'plai.plt' in the same
directory, since as you stated, the directory for this file didn't
matter.

Then, I installed the file 'plai.plt' using the following command:

     planet fileinject plai plai.plt 1 1

This correctly installed plai.plt.

Now I have "Programming Languages: Application and Interpretation"
listed among the Teaching Languages in DrScheme.

It's just unusual that the username for the 'planet fileinject'
command is 'plt', and not my username, 'Benjamin'.  I would not have
been able to deduce this part on my own.  Is there a special reason
for this particular username?

-- Benjamin L. Russell

On Tue, 31 Mar 2009 21:12:56 +0900, Benjamin L.Russell
<DekuDekuplex at Yahoo.com> wrote:

>One point that is confusing is that when I try to save the file at the
>URL indicated by the command 'planet url plai plai.plt 1 1', the
>filename defaults to 'planet-servlet.ss' instead of 'plai.plt' in
>Firefox.
>
>Should I change the filename when saving this file, and perhaps save
>it in a specific directory?
>
>-- Benjamin L. Russell
>
>On Tue, 31 Mar 2009 21:03:47 +0900, Benjamin L.Russell
><DekuDekuplex at Yahoo.com> wrote:
>
>>Thanks for the reply.
>>
>>Here is the a transcript of running the command 'planet show',
>>together with resulting output:
>>
>>$ planet show
>>Normally-installed packages:
>>  Benjamin      planet-servlet.ss       1 1
>>  cce   scheme.plt      4 1
>>
>>Let me guess:  Perhaps I should now run the following command in the
>>Cygwin shell
>>
>>     planet remove -e Benjamin planet-servlet.ss 1 1
>>
>>before then running the following command:
>>
>>     planet fileinject plai plai.plt 1 1
>>
>>Is this correct?
>>
>>-- Benjamin L. Russell
>>
>>On Tue, 31 Mar 2009 06:53:30 -0500, Robby Findler
>><robby at eecs.northwestern.edu> wrote:
>>
>>>On Tue, Mar 31, 2009 at 6:48 AM, Benjamin L.Russell
>>><DekuDekuplex at yahoo.com> wrote:
>>>> 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.
>>>
>>>Oops! Sorry, that should have been
>>>
>>>  planet fileinject plai plai.plt 1 1
>>>
>>>
>>>I think that you want to now run
>>>
>>>  planet show
>>>
>>>and you'll see something listed with a Benjamin in it. Run planet
>>>remove with arguments from the planet show line (if you send the
>>>planet show output I can tell you the precise line).
>>>
>>>Then run the planet fileinject above and, assuming that the plai
>>>package doesn't have any problems of its own, you should be set.
>>>
>>>Robby
>>>
>>>> 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^
>>>>
>>>> _________________________________________________
>>>> ?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^ 