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

Biding -> Binding.

Browse Source 
Closes PR13992.

original commit: 4453a4318c617857fcd0d1dddc75f573e0476c07
This commit is contained in:
Vincent St-Amour 2013-09-03 11:13:12 -04:00
parent b281083d13
commit 2796aa5481
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/fail/safe-letrec.rkt
View File

@ -2,7 +2,7 @@
(exn-pred 2)
#lang typed/racket
;; make sure letrec takes into account that some bidings may be undefined
;; make sure letrec takes into account that some bindings may be undefined
(+ (letrec: ([x : Float x]) x) 1) ; PR 11511

2
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/succeed/safe-letrec.rkt
View File

@ -1,6 +1,6 @@
#lang typed/racket
;; make sure letrec takes into account that some bidings may be undefined
;; make sure letrec takes into account that some bindings may be undefined
(letrec: ([x : Number 3])
x)