default   Racket Bugs
Main PageQuick QueryStandard QueryAdvanced QueryHelp
Log in

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