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

TR: Prevent internal error on begin-for-syntax

Browse Source 
Closes PR 13878

Please merge to v6.0

original commit: 9da8203c9c3a7c101360f57c6721f7f1a071ca91
This commit is contained in:
Asumu Takikawa 2013-11-21 15:52:31 -05:00
parent e9c9d6ae30
commit 3ff3d7eead
2 changed files with 12 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/tc-setup.rkt
View File

@ -12,8 +12,10 @@
(provide tc-setup invis-kw maybe-optimize init-current-type-names)
(define-syntax-class invis-kw
#:literals (define-values define-syntaxes #%require #%provide #%declare begin)
(pattern (~or define-values define-syntaxes #%require #%provide #%declare begin)))
#:literals (define-values define-syntaxes #%require
#%provide #%declare begin begin-for-syntax)
(pattern (~or define-values define-syntaxes #%require
#%provide #%declare begin begin-for-syntax)))
(define (maybe-optimize body)
;; do we optimize?

8
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/top-level-begin-for-syntax.rkt Normal file
View File

@ -0,0 +1,8 @@
#lang racket/load
;; Test for PR 13878, ensure that this doesn't produce
;; an internal type-checker error
(require typed/racket)
(begin-for-syntax 3)