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

Fix prims for quote-syntax -> quote change

Browse Source
This commit is contained in:
Asumu Takikawa 2015-02-27 00:17:02 -05:00
parent 5d84201789
commit d0a8b8c25b
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-lib/typed-racket/base-env/class-prims.rkt
View File

@ -183,7 +183,7 @@
(begin
#,(tr:class:top-level-property
(tr:class:type-annotation-property
#'(quote-syntax (:-augment name augment-type)) #t) #t)
#'(quote (:-augment name augment-type)) #t) #t)
#,(tr:class:top-level-property
(tr:class:type-annotation-property
(syntax/loc #'class-exp (: name type)) #t) #t)))]

8
typed-racket-lib/typed-racket/base-env/prims.rkt
View File

@ -1256,13 +1256,13 @@ This file defines two sorts of primitives. All of them are provided into any mod
(define-syntax (typecheck-fail stx)
(syntax-parse stx
[(_ orig msg:str #:covered-id var:id)
#'(quote-syntax (typecheck-fail-internal orig msg var))]
#'(quote (typecheck-fail-internal orig msg var))]
[(_ orig msg:str)
#'(quote-syntax (typecheck-fail-internal orig msg #f))]
#'(quote (typecheck-fail-internal orig msg #f))]
[(_ orig #:covered-id var:id)
#'(quote-syntax (typecheck-fail-internal orig "Incomplete case coverage" var))]
#'(quote (typecheck-fail-internal orig "Incomplete case coverage" var))]
[(_ orig)
#'(quote-syntax (typecheck-fail-internal orig "Incomplete case coverage" #f))]))
#'(quote(typecheck-fail-internal orig "Incomplete case coverage" #f))]))
(define-syntax (base-for/vector stx)
(syntax-case stx ()