View Problem Report: 12116

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

Reporter's email:	`clklein at eecs dot northwestern dot edu`
Number:	`12116`
Category:	`all`
Synopsis:	`id used out of context when providing id from define/contract`
Class:	`sw-bug`
Responsible:	`mflatt`
Notify-List:
Severity:	`serious`
Priority:	`medium`
State:	`closed`
Confidential:	`no`
Arrival-Date:	`Tue Aug 16 17:52:01 -0400 2011`
Closed-Date:	`Tue Aug 16 22:24:15 -0400 2011`
Last-Modified:	`Tue Aug 16 22:24:15 -0400 2011`
Originator:	`Casey Klein`
Organization:	`plt`
Submitter-Id:	`unknown`
Release:	`5.1.3.1--2011-08-16(de732dd/g)`
Environment:	macosx "Darwin clk.local 9.7.0 Darwin Kernel Version 9.7.0: Tue Mar 31 22:52:17 PDT 2009; root:xnu-1228.12.14~1/RELEASE_I386 i386" (i386-macosx/3m) (get-display-depth) = 32 Human Language: english (current-memory-use) 132210620 Collections: ("/Users/clklein/Library/Racket/5.1.3.1/collects" (non-existent-path)) ("/Users/clklein/git/plt/collects" (".gitignore" "2htdp" "algol60" "at-exp" "browser" "combinator-parser" "compiler" "config" "data" "datalog" "defaults" "deinprogramm" "drracket" "drscheme" "dynext" "embedded-gui" "eopl" "errortrace" "ffi" "file" "framework" "frtime" "games" "graphics" "gui-debugger" "guibuilder" "handin-client" "handin-server" "help" "hierlist" "honu" "htdp" "html" "icons" "info-domain" "lang" "launcher" "lazy" "macro-debugger" "make" "meta" "mred" "mrlib" "mysterx" "mzcom" "mzlib" "mzscheme" "net" "openssl" "parser-tools" "picturing-programs" "plai" "planet" "plot" "preprocessor" "profile" "r5rs" "r6rs" "racket" "racklog" "rackunit" "raco" "reader" "readline" "redex" "repo-time-stamp" "rnrs" "s-exp" "scheme" "schemeunit" "scribble" "scribblings" "scriblib" "setup" "sgl" "sirmail" "slatex" "slideshow" "srfi" "srpersist" "stepper" "string-constants" "swindle" "syntax" "syntax-color" "teachpack" "test-box-recovery" "test-engine" "tests" "tex2page" "texpict" "trace" "typed" "typed-scheme" "un! stable" "version" "waterworld" "web-server" "wxme" "xml" "xrepl")) Computer Language: (("Determine language from source") (#(#t quasiquote mixed-fraction-e #f #t debug) (default) #() "#lang racket\n" #t #t))
Description:	$ cat a.rkt #lang racket (require "b.rkt") (define (f x) (g 1)) $ cat b.rkt #lang racket (provide g) (define/contract (g m) any/c m) $ raco make a.rkt compile: identifier used out of context in: g === context === /Users/clklein/git/plt/collects/compiler/cm.rkt:297:0: compile-zo* /Users/clklein/git/plt/collects/compiler/cm.rkt:449:26 /Users/clklein/git/plt/collects/compiler/cm.rkt:442:42 /Users/clklein/git/plt/collects/compiler/cm.rkt:407:0: maybe-compile-zo /Users/clklein/git/plt/collects/compiler/cm.rkt:520:2: do-check /Users/clklein/git/plt/collects/compiler/cm.rkt:594:4 /Users/clklein/git/plt/collects/compiler/commands/make.rkt:70:8: for-loop /Users/clklein/git/plt/collects/compiler/commands/make.rkt: [running body] /Users/clklein/git/plt/collects/raco/raco.rkt: [running body] /Users/clklein/git/plt/collects/raco/main.rkt: [running body]
File Attachments:
How-To-Repeat:
Fix:
Release-Note:
Unformatted:

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

Audit Trail:

Responsible changed from "nobody" to "mflatt" by mflatt at racket-lang.org at Tue, 16 Aug 2011 22:24:15 -0400
Reason>>> A commit by mflatt at racket-lang.org has resolved this report
  http://git.racket-lang.org/plt/commit/591e08fb10
State changed from "open" to "closed" by mflatt at racket-lang.org at Tue, 16 Aug 2011 22:24:15 -0400
Reason>>> A commit by mflatt at racket-lang.org has resolved this report
  http://git.racket-lang.org/plt/commit/591e08fb10