suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Update require/typed in no-check mode for keywords

Browse Source 
Closes PR 14463
This commit is contained in:
Asumu Takikawa 2014-04-29 21:27:18 -04:00
parent f58cfe596a
commit 2a32c58815
2 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
pkgs/typed-racket-pkgs/typed-racket-lib/typed/private/no-check-helper.rkt
View File

@ -25,11 +25,16 @@
(define-syntax-class struct-clause (define-syntax-class struct-clause
;#:literals (struct) ;#:literals (struct)
#:attributes (nm (body 1)) #:attributes (nm (body 1))
(pattern [#:struct nm:opt-rename (body ...)])
(pattern [struct nm:opt-rename (body ...)] (pattern [struct nm:opt-rename (body ...)]
#:fail-unless (eq? 'struct (syntax-e #'struct)) #f)) #:fail-unless (eq? 'struct (syntax-e #'struct)) #f))
(define-syntax-class opaque-clause (define-syntax-class opaque-clause
;#:literals (opaque) ;#:literals (opaque)
#:attributes (ty pred opt) #:attributes (ty pred opt)
(pattern [#:opaque ty:id pred:id]
#:with opt #'())
(pattern [#:opaque ty:id pred:id #:name-exists]
#:with opt #'(#:name-exists))
(pattern [opaque ty:id pred:id] (pattern [opaque ty:id pred:id]
#:fail-unless (eq? 'opaque (syntax-e #'opaque)) #f #:fail-unless (eq? 'opaque (syntax-e #'opaque)) #f
#:with opt #'()) #:with opt #'())

15
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/pr14463.rkt Normal file
View File

@ -0,0 +1,15 @@
#lang typed/racket/no-check
;; Test for PR 14463. Check that require/typed with #:opaque works
;; in no-check mode
(module untyped racket
(provide f thing?)
(define (f x) x)
(define (thing? x) #t))
(require/typed 'untyped
[#:opaque Thing thing?]
[f (Thing -> Thing)])
(thing? 3)