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

Fix curried function type parsing without ().

Browse Source 
original commit: 3caf08da43398438b5f8767233ceb831361e9e98
This commit is contained in:
Sam Tobin-Hochstadt 2011-10-28 15:42:56 -04:00
parent 1c4fed2096
commit 432b35f0b0
1 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
collects/typed-racket/base-env/colon.rkt
View File

@ -1,6 +1,6 @@
#lang scheme/base
(require (for-syntax scheme/base syntax/parse "internal.rkt")
(require (for-syntax scheme/base syntax/parse "internal.rkt" "../utils/tc-utils.rkt")
"../typecheck/internal-forms.rkt"
(prefix-in t: "base-types-extra.rkt"))
@ -12,12 +12,13 @@
;; and in that case, a `->' on the RHS does not need to be
;; explicitly parenthesized
(syntax-parse stx #:literals (: t:->)
[(: id : x ...)
#:fail-unless (= 1 (length
(for/list ([i (syntax->list #'(x ...))]
#:when (and (identifier? i)
(free-identifier=? i #'t:->)))
i))) #f
[(: id (~and kw :) x ...)
#:fail-unless (for/first ([i (syntax->list #'(x ...))]
#:when (identifier? i)
#:when (free-identifier=? i #'t:->))
i)
#f
(add-disappeared-use #'kw)
(syntax/loc stx (: id (x ...)))]
[(: id : . more)
(syntax/loc stx (: id . more))]