default  Access: edit PLT Bugs
Main PageCreateQuick QueryStandard QueryAdvanced QueryHelp
Edit

View Problem Report: 9476

or send email to interested parties or send email followup to audit-trail
Reporter's email: eli@barzilay.org
Number: 9476
Category: misc
Synopsis: Debugger broken on mzscheme + kw
Class: sw-bug
Responsible: mflatt
Notify-List:
Severity: serious
Priority: medium
State: closed
Confidential: no
Arrival-Date: Wed Jun 11 01:00:01 -0400 2008
Closed-Date: Sun Jun 27 19:21:48 -0400 2010
Last-Modified: Sun Jun 27 19:21:48 -0400 2010
Originator: Eli Barzilay
Organization: plt
Submitter-Id: unknown
Release: 3.99.0.9
Environment: ...or type
Description: Trying to debug the program below throws an error:

  require: namespace mismatch; reference (phase 0) to a
  module "/home/scheme/plt/collects/scheme/private/kw.ss" that is
  not available (phase level 0) in: #%app
File Attachments:
How-To-Repeat: Module language,

  #lang mzscheme
  (require (lib "kw.ss"))
  (define foo 1)
Fix:
Release-Note:
Unformatted:

or send email to interested parties or send email followup to audit-trail

Audit Trail:

From: John Clements <clements@brinckerhoff.org>
To: eli@barzilay.org, bugs@plt-scheme.org
Cc: nobody@plt-scheme.org, eli@plt-scheme.org, matthias@plt-scheme.org,
        sk@plt-scheme.org, mflatt@plt-scheme.org, robby@plt-scheme.org,
        clements@plt-scheme.org, jay@plt-scheme.org, meunier@plt-scheme.org,
        sowens@plt-scheme.org, kathyg@plt-scheme.org, jacobm@plt-scheme.org,
        cce@plt-scheme.org, samth@plt-scheme.org, ryanc@plt-scheme.org,
        gcooper@plt-scheme.org
Subject: Re: [plt-bug] all/9476: Debugger broken on mzscheme + kw
Date: Tue, 10 Jun 2008 22:20:15 -0700

 On Jun 10, 2008, at 10:00 PM, eli@barzilay.org wrote:
 
 > A new problem report is waiting at
 >   http://bugs.plt-scheme.org/query/?cmd=view&pr=9476
 >
 > Reported by Eli Barzilay for release: 3.99.0.9
 >
 > *** Description:
 > Trying to debug the program below throws an error:
 >
 >   require: namespace mismatch; reference (phase 0) to a
 >   module "/home/scheme/plt/collects/scheme/private/kw.ss" that is
 >   not available (phase level 0) in: #%app
 
 FWIW, this is also the error encountered by the stepper tests in all  
 of the test cases that involve running the stepper on non-teaching  
 languages.  The stepper doesn't _need_ to run on non-teaching  
 languages, so this is a lower priority, but I would love to fix it.
 
 John
 
 
From: Eli Barzilay <eli@barzilay.org>
To: John Clements <clements@brinckerhoff.org>
Cc: bugs@plt-scheme.org, nobody@plt-scheme.org, matthias@plt-scheme.org,
        sk@plt-scheme.org, mflatt@plt-scheme.org, robby@plt-scheme.org,
        clements@plt-scheme.org, jay@plt-scheme.org, meunier@plt-scheme.org,
        sowens@plt-scheme.org, kathyg@plt-scheme.org, jacobm@plt-scheme.org,
        cce@plt-scheme.org, samth@plt-scheme.org, ryanc@plt-scheme.org,
        gcooper@plt-scheme.org
Subject: Re: [plt-bug] all/9476: Debugger broken on mzscheme + kw
Date: Wed, 11 Jun 2008 01:36:20 -0400

 On Jun 10, John Clements wrote:
 > 
 > On Jun 10, 2008, at 10:00 PM, eli@barzilay.org wrote:
 > 
 > > A new problem report is waiting at
 > >   http://bugs.plt-scheme.org/query/?cmd=view&pr=9476
 > >
 > > Reported by Eli Barzilay for release: 3.99.0.9
 > >
 > > *** Description:
 > > Trying to debug the program below throws an error:
 > >
 > >   require: namespace mismatch; reference (phase 0) to a module
 > >   "/home/scheme/plt/collects/scheme/private/kw.ss" that is not
 > >   available (phase level 0) in: #%app
 > 
 > FWIW, this is also the error encountered by the stepper tests in all
 > of the test cases that involve running the stepper on non-teaching
 > languages.  The stepper doesn't _need_ to run on non-teaching
 > languages, so this is a lower priority, but I would love to fix it.
 
 I think that the debugger is pretty important...  The bugs that I
 reported are from someone on the irc channel who asked about it.
 
 -- 
           ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                   http://www.barzilay.org/                 Maze is Life!
From: Matthew Flatt <mflatt@cs.utah.edu>
To: John Clements <clements@brinckerhoff.org>
Cc: eli@barzilay.org, bugs@plt-scheme.org, nobody@plt-scheme.org,
        eli@plt-scheme.org, matthias@plt-scheme.org, sk@plt-scheme.org,
        robby@plt-scheme.org, clements@plt-scheme.org, jay@plt-scheme.org,
        meunier@plt-scheme.org, sowens@plt-scheme.org, kathyg@plt-scheme.org,
        jacobm@plt-scheme.org, cce@plt-scheme.org, samth@plt-scheme.org,
        ryanc@plt-scheme.org, gcooper@plt-scheme.org
Subject: Re: [plt-bug] all/9476: Debugger broken on mzscheme + kw
Date: Wed, 11 Jun 2008 06:07:27 -0600

 At Tue, 10 Jun 2008 22:20:15 -0700, John Clements wrote:
 > 
 > On Jun 10, 2008, at 10:00 PM, eli@barzilay.org wrote:
 > 
 > > A new problem report is waiting at
 > >   http://bugs.plt-scheme.org/query/?cmd=view&pr=9476
 > >
 > > Reported by Eli Barzilay for release: 3.99.0.9
 > >
 > > *** Description:
 > > Trying to debug the program below throws an error:
 > >
 > >   require: namespace mismatch; reference (phase 0) to a
 > >   module "/home/scheme/plt/collects/scheme/private/kw.ss" that is
 > >   not available (phase level 0) in: #%app
 > 
 > FWIW, this is also the error encountered by the stepper tests in all  
 > of the test cases that involve running the stepper on non-teaching  
 > languages.
 
 The problem happens when a tool adds code to the a program, and when
 the added code uses `#%app' from `scheme/base'.
 
 The solution is to explicitly use `#%plain-app' for the added code.
 
 I'll fix the debugger...
 
 Matthew
 

Responsible changed from "nobody" to "goldberg" by eli at Tue, 07 Oct 2008 01:44:11 -0400
Reason>>> probably to be closed


Responsible changed from "goldberg" to "mflatt" by eli at Sun, 27 Jun 2010 19:21:48 -0400
Reason>>> Matthew fixed

State changed from "open" to "closed" by eli at Sun, 27 Jun 2010 19:21:48 -0400
Reason>>> ancient