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

Fix opt-lambda:. Merge to 5.0.2.

Browse Source
This commit is contained in:
Vincent St-Amour 2010-10-20 14:31:52 -04:00
parent c5c6c1c9e6
commit a15236ea4f
2 changed files with 10 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/tests/typed-scheme/succeed/opt-lambda.rkt Normal file
View File

@ -0,0 +1,9 @@
#lang typed/racket
(: opt (case-lambda ( -> Void)
(Integer -> Void)))
(define opt
(opt-lambda: ((n : Integer 0))
(display n)))
(opt)
(opt 1)

1
collects/typed-scheme/private/prims.rkt
View File

@ -34,6 +34,7 @@ This file defines two sorts of primitives. All of them are provided into any mod
"base-types.rkt" "base-types.rkt"
"base-types-extra.rkt" "base-types-extra.rkt"
racket/flonum ; for for/flvector and for*/flvector racket/flonum ; for for/flvector and for*/flvector
mzlib/etc
(for-syntax (for-syntax
syntax/parse syntax/parse
syntax/private/util syntax/private/util