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

Typo in comment

Browse Source
This commit is contained in:
Ambrose Bonnaire-Sergeant 2013-10-15 13:58:23 +08:00
parent eb42f25a4e
commit 51a3094fdc
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt
View File

@ -87,7 +87,7 @@
;; dbound : index variable ;; dbound : index variable
;; vars : listof[type variable] - temporary variables ;; vars : listof[type variable] - temporary variables
;; cset : the constraints being manipulated ;; cset : the constraints being manipulated
;; takes the constraints on vars and creates a dmap entry contstraining dbound to be |vars| ;; takes the constraints on vars and creates a dmap entry constraining dbound to be |vars|
;; with the constraints that cset places on vars ;; with the constraints that cset places on vars
(define/cond-contract (move-vars-to-dmap cset dbound vars) (define/cond-contract (move-vars-to-dmap cset dbound vars)
(cset? symbol? (listof symbol?) . -> . cset?) (cset? symbol? (listof symbol?) . -> . cset?)