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

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Mon Feb 13 09:25:12 EST 2006

This is now fixed.

Thanks,
Matthew

At Fri, 10 Feb 2006 14:18:55 -0800 (PST), Danny Yoo wrote:
> >  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!
> 
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme


Posted on the users mailing list.