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

Test for former bug. Closes PR 10470.

Browse Source 
original commit: 775e1b06a577a1306ab50de05174a6e26f944d40
This commit is contained in:
Sam Tobin-Hochstadt 2010-05-24 23:29:17 -07:00
parent 987521b9eb
commit f5c6d808af
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
collects/tests/typed-scheme/succeed/pr10470.rkt Normal file
View File

@ -0,0 +1,15 @@
(module pr10470 typed-scheme
(define-type-alias (Memo alpha) (U (Option alpha) (-> (Option alpha))))
(define-struct: table ([val : (Memo Number)]) #:mutable)
(: f (table -> (Option Number)))
(define (f tab)
(let ([proc-or-num (table-val tab)])
(cond
[(procedure? proc-or-num)
(let ([result (proc-or-num)])
(set-table-val! tab result)
result)]
[else proc-or-num]))))