...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
