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

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
>