| Reporter's email: |
cce@ccs.neu.edu |
| Number: |
10815 |
| Category: |
all |
| Synopsis: |
Typed Scheme: cannot define alias for declared refinement type |
| Class: |
sw-bug |
| Responsible: |
nobody |
| Notify-List: |
|
| Severity: |
serious |
| Priority: |
medium |
| State: |
open |
| Confidential: |
no |
| Arrival-Date: |
Fri Mar 05 19:44:01 -0500 2010 |
| Closed-Date: |
|
| Last-Modified: |
|
| Originator: |
Carl Eastlund |
| Organization: |
plt
|
| Submitter-Id: |
unknown |
| Release: |
4.2.4.5-svn5mar2010 |
| Environment: |
macosx "Darwin Kauai.ccs.neu.edu 9.7.0 Darwin Kernel Version 9.7.0: Tue Mar 31 22:54:29 PDT 2009; root:xnu-1228.12.14~1/RELEASE_PPC Power Macintosh powerpc" (ppc-macosx/3m) (get-display-depth) = 32
Human Language: english
(current-memory-use) 476520804
Collections:
(("/Users/cce/svn/2010-03-05/dist/add-on/4.2.4.5/collects" non-existent-path) ("/Users/cce/svn/2010-03-05/dist/collects" ".svn" "2htdp" "afm" "algol60" "at-exp" "browser" "combinator-parser" "compiler" "config" "defaults" "deinprogramm" "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" "plai" "planet" "plot" "preprocessor" "profile" "r5rs" "r6rs" "reader" "readline" "redex" "repos-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" "unstable" "version" "waterworld" "web-server" "wxme" "xml"))
Computer Language: (("Determine language from source") (#(#t write mixed-fraction-e #f #t debug) (default) #() "#lang scheme\n" #f))
|
| Description: |
Welcome to DrScheme, version 4.2.4.5-svn5mar2010 [3m].
Language: typed/scheme [custom].
. Type Checker: cannot declare refinement for non-predicate Nothing in: (Refinement module-path?)
>
|
| File Attachments: |
|
| How-To-Repeat: |
#lang typed/scheme
(require/typed scheme [module-path? (Any -> Boolean)])
(declare-refinement module-path?)
(define-type-alias Module-Path (Refinement module-path?))
|
| Fix: |
|
| Release-Note: |
|
| Unformatted: |
|