typed scheme: bad error on require/opaque-type

[mfelleisen]

Originally submitted on: Mon Aug 11 14:32:02 -0400 2008

(module a typed-scheme
  (require/opaque-type b lwT lw?)
  (require/typed x lwT 'b)

yields 

. lw?: invalid module-path form in: lw?
> 

AND 

(require/opaque-type 'b lwT lw?)

yields 

Language: Module custom; memory limit: 256 megabytes.
. require/opaque-type: bad syntax in: (require/opaque-type (quote b) lwT lw?)
> 

The context is 

#lang scheme/load 

(module b scheme
  (require "../iswim/iswim.ss"
           "../types/types.ss")
  (require redex)
  (require texpict/mrpict scheme/class)

  (define x (to-lw (f ,a)))
  (provide lw?)
  (provide x))

(module a typed-scheme
  (require/opaque-type 'b lwT lw?)
  (require/typed x lwT 'b)

  (define-type-alias Pict Number)

  (define-struct: l: ([e : (U Symbol String (Listof l:) Pict)] 
                      [line : Integer]
                      [line-span : Integer]
                      [column : Integer]
                      [column-span : Integer]
                      [unq? : Boolean]
                      [metafunction-name : (U #f Symbol)]))
  (define: (copy (lw : lwI)) : l:
    (cond
      [(symbol? lw) lw]
      [(string? lw) 0]))

  )

Release:

4.0.2.6-svn4aug2008

Environment:

macosx "Darwin europe.local 8.11.1 Darwin Kernel Version 8.11.1: Wed Oct 10 18:23:28 PDT
 2007; root:xnu-792.25.20~1/RELEASE_I386 i386 i386" (i386-macosx/3m) (get-display-depth) =
 32
Human Language: english
(current-memory-use) 117288888

Collections:
(("/Users/matthias/Unison/collects/" ".DS_Store" "date" "finance" "info-domain" "info.ss"
 "short" "testing" "tll-collects" "utils" "web") ("/Users/matthias/Library/PLT
 Scheme/4.0.2.6/collects" non-existent-path) ("/Users/matthias/plt/collects" ".DS_Store"
 ".svn" "afm" "algol60" "big" "browser" "combinator-parser" "compiler" "config" "defaults"
 "doc" "drscheme" "dynext" "embedded-gui" "eopl" "errortrace" "ffi" "file" "framework"
 "frtime" "games" "graphics" "gui-debugger" "guibuilder" "handin-client" "handin-server"
 "help" "hierlist" "honu" "honu-module" "htdch" "htdp" "html" "icons" "info-domain" "lang"
 "launcher" "lazy" "little-helper" "macro-debugger" "make" "mred" "mrflow" "mrlib"
 "mysterx" "mzcom" "mzlib" "mzscheme" "mztake" "net" "openssl" "parser-tools" "planet"
 "plot" "preprocessor" "profj" "profjBoxes" "profjWizard" "r5rs" "r6rs" "readline" "redex"
 "repos-time-stamp" "rnrs" "s-exp" "scheme" "scribble" "scribblings" "setup" "sgl"
 "sirmail" "skipper" "slatex" "slibinit"!
  "slideshow" "srfi" "srpersist" "stepper" "string-constants" "swindle" "syntax"
 "syntax-color" "teachpack" "test-box-recovery" "test-engine" "test-suite" "tests"
 "tex2page" "texpict" "trace" "typed-scheme" "version" "waterworld" "web-server" "wxme"
 "xml"))
Computer Language: (("Module") (#(#t constructor mixed-fraction-e #f #t debug) (default)
 #() "#lang scheme\n"))

This bug was converted from Gnats bug 9678.

[mfelleisen]

On Mon, 11 Aug 2008 14:45:16 -0400, matthias at ccs dot neu dot edu wrote:

i.e., this conflicts w/ your thesis proposal

On Aug 11, 2008, at 2:32 PM, matthias@ccs.neu.edu wrote:

> A new problem report is waiting at
>   http://bugs.plt-scheme.org/query/?cmd=view&pr=9678
> Reported by matthias for release: 4.0.2.6-svn4aug2008
> *** Description:
>   (require/opaque-type b lwT lw?)
>   (require/typed x lwT 'b)
> yields
> AND
> yields
> . require/opaque-type: bad syntax in: (require/opaque-type (quote  
> b) lwT lw?)
> The context is
> #lang scheme/load
>   (require "../iswim/iswim.ss"
>            "../types/types.ss")
>   (require redex)
>   (require texpict/mrpict scheme/class)
>   (define x (to-lw (f ,a)))
>   (provide lw?)
>   (provide x))
>   (require/typed x lwT 'b)
>   (define-type-alias Pict Number)
>   (define-struct: l: ([e : (U Symbol String (Listof l:) Pict)]
>                       [line : Integer]
>                       [line-span : Integer]
>                       [column : Integer]
>                       [column-span : Integer]
>                       [unq? : Boolean]
>                       [metafunction-name : (U #f Symbol)]))
>   (define: (copy (lw : lwI)) : l:
>     (cond
>       [(symbol? lw) lw]
>       [(string? lw) 0]))
>   )
> *** How to repeat:
> *** Environment:
> macosx "Darwin europe.local 8.11.1 Darwin Kernel Version 8.11.1:  
> Wed Oct 10 18:23:28 PDT 2007; root:xnu-792.25.20~1/RELEASE_I386  
> i386 i386" (i386-macosx/3m) (get-display-depth) = 32
> Human Language: english
> (current-memory-use) 117288888
> Collections:
> (("/Users/matthias/Unison/collects/" ".DS_Store" "date" "finance"  
> "info-domain" "info.ss" "short" "testing" "tll-collects" "utils"  
> "web") ("/Users/matthias/Library/PLT Scheme/4.0.2.6/collects" non- 
> existent-path) ("/Users/matthias/plt/collects" ".DS_Store" ".svn"  
> "afm" "algol60" "big" "browser" "combinator-parser" "compiler"  
> "config" "defaults" "doc" "drscheme" "dynext" "embedded-gui" "eopl"  
> "errortrace" "ffi" "file" "framework" "frtime" "games" "graphics"  
> "gui-debugger" "guibuilder" "handin-client" "handin-server" "help"  
> "hierlist" "honu" "honu-module" "htdch" "htdp" "html" "icons" "info- 
> domain" "lang" "launcher" "lazy" "little-helper" "macro-debugger"  
> "make" "mred" "mrflow" "mrlib" "mysterx" "mzcom" "mzlib" "mzscheme"  
> "mztake" "net" "openssl" "parser-tools" "planet" "plot"  
> "preprocessor" "profj" "profjBoxes" "profjWizard" "r5rs" "r6rs"  
> "readline" "redex" "repos-time-stamp" "rnrs" "s-exp" "scheme"  
> "scribble" "scribblings" "setup" "sgl" "sirmail" "skipper" "slatex"  
> "slibinit"!
>   "slideshow" "srfi" "srpersist" "stepper" "string-constants"  
> "swindle" "syntax" "syntax-color" "teachpack" "test-box-recovery"  
> "test-engine" "test-suite" "tests" "tex2page" "texpict" "trace"  
> "typed-scheme" "version" "waterworld" "web-server" "wxme" "xml"))
> Computer Language: (("Module") (#(#t constructor mixed-fraction-e  
> #f #t debug) (default) #() "#lang scheme\n"))

[samth]

On Tue, 19 Aug 2008 15:48:54 -0400, samth

[samth]

On Tue, 16 Sep 2008 16:23:51 -0400, samth assigned this bug to samth

typed-scheme