[plt-dev] I am not using .rkt files yet...

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Apr 12 15:56:18 EDT 2010

Perhaps the easiest solution to get accurate error messages is to
NOT add an extension at all. This would report the error in terms
of the code that's written down and probably makes it easiest to
locate. DrScheme opens the correct file presumably -- Matthias






On Apr 12, 2010, at 3:51 PM, Robby Findler wrote:

> IIUC, .rkt is the default extension for module paths like (require
> planet/..../drscheme/dracula-state), ie those that do not have quotes.
>
> Then there is some magic munging that goes on whereby a .ss file in
> the place where a .rkt file is expected happens. I recall that
> Matthew, Matthias, Eli and I had a long discussion on the best way to
> accommodate such paths and this seems to be the best option. Matthew
> probably remembers more, since he seems to have implemented it
> recently.
>
> Robby
>
> On Mon, Apr 12, 2010 at 2:43 PM, Carl Eastlund <cce at ccs.neu.edu>  
> wrote:
>> ...but I am already getting error messages in terms of them:
>>
>> /Users/cce/svn/2010-04-12/research/planet/dracula/drscheme/dracula- 
>> state.rkt:
>>  (file
>>   /Users/cce/svn/2010-04-12/research/planet/dracula/drscheme/ 
>> dracula-proof-panel.rkt)
>>  broke the contract
>>  (->
>>   (and/c
>>    dracula-state-active?
>>    (not/c dracula-state-error?))
>>   (and/c
>>    dracula-state?
>>    (not/c dracula-state-active?))) on dracula-state-done; expected
>> <(and/c dracula-state-active? (not/c dracula-state-error?))>, given:
>> #s(dracula-state #f #s(proof-table (Dracula) Dracula #hasheq((Dracula
>> . #s(proof-state #s(loc unsaved-editor1185 0 204) 5 #f #hash((0 .
>> #s(term-state #s(loc unsaved-editor1185 0 0) #f #f #f)) (1 .
>> #s(term-state #s(loc unsaved-editor1185 1 57) (include-b...
>>
>> This is incorrect, and for errors in someone else's code it would be
>> really confusing.  Error messages should not direct me to nonexistent
>> files.  Those things should have ".ss" extensions.
>>
>> Carl Eastlund
>> _________________________________________________
>>  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



Posted on the dev mailing list.