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

add type for an internal function in a match expansion

Browse Source
This commit is contained in:
Matthew Flatt 2015-12-09 17:21:56 -07:00
parent 7f05dc6731
commit 38e091c1c4
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-lib/info.rkt
View File

@ -2,7 +2,7 @@
(define collection 'multi)
(define deps '(("base" #:version "6.2.900.16")
(define deps '(("base" #:version "6.3.0.8")
"pconvert-lib"
"source-syntax"
"compatibility-lib" ;; to assign types

3
typed-racket-lib/typed-racket/base-env/base-env.rkt
View File

@ -17,7 +17,7 @@
racket/logging
racket/private/stx
(only-in mzscheme make-namespace)
(only-in racket/match/runtime match:error matchable? match-equality-test))
(only-in racket/match/runtime match:error matchable? match-equality-test syntax-srclocs))
"base-structs.rkt"
racket/file
(only-in racket/private/pre-base new-apply-proc)
@ -1173,6 +1173,7 @@
;[match:error (Univ . -> . (Un))]
[match-equality-test (-Param (Univ Univ . -> . Univ) (Univ Univ . -> . Univ))]
[matchable? (make-pred-ty (Un -String -Bytes))]
[syntax-srclocs (Univ . -> . Univ)]
;; Section 10.1
[values (-polydots (a b) (cl->*