[plt-scheme] Debugger error in eopl langauge with sllgen

From: Danny Yoo (dyoo at hkn.eecs.berkeley.edu)
Date: Fri Feb 10 17:18:55 EST 2006

>  This was actually pointed out by a student when they tried
>  running the debugger on the following file
>
>  http://www.ccs.neu.edu/home/wand/csg111/interps/lecture02/grammar3.scm
>
>  The error message I get on 301.5 is the following error:
>
>  procedure annotate-for-single-stepping: expects 6
>  arguments, given 5: #<syntax:1:0>
>  #<procedure:...ke/debug-tool.ss:511:23>
>  #<procedure:...ke/debug-tool.ss:518:23>
>  #<procedure:...ke/debug-tool.ss:522:23>
>  #<procedure:...ke/debug-tool.ss:481:46>
>
>  A quick search on the mailing list archive did not give me
>  anything. Is there something I am missing in terms of
>  config options or is this a bug?


Hi Theo,

This looks new; ANNOTATE-FOR-SINGLE-STEPPING in
collects/mztake/annotator.ss used to take in five arguments, but it looks
like it now takes six.  Checking svn... it looks like the change in r2071
might be it.


########################################################################
bash-3.00$ svn log -v -r2071
------------------------------------------------------------------------
r2071 | gmarceau | 2006-02-01 11:05:04 -0800 (Wed, 01 Feb 2006) | 1 line
Changed paths:
   M /trunk/collects/mztake/annotator.ss
   M /trunk/collects/mztake/engine.ss
   M /trunk/collects/mztake/mztake-structs.ss

implementing top-level-ids
------------------------------------------------------------------------

Perhaps you might want to revert back to a version before r2071 until this
is fixed?


It looks that that sixth parameter needs to be a "record-top-level-id".
I'm not familiar enough yet with mztake's internals to figure out what
appropriate value to place in there.


Good luck!



Posted on the users mailing list.