From 9b715f5ba299f20c5a14b62bc9fc88b18cffbcf9 Mon Sep 17 00:00:00 2001 From: Ambrose Bonnaire-Sergeant Date: Tue, 15 Oct 2013 13:58:23 +0800 Subject: [PATCH] Typo in comment original commit: 51a3094fdcb79b03fd7e9e1973206ca09039e9d3 --- .../typed-racket-lib/typed-racket/infer/infer-unit.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt index d831a126..f0ba6c33 100644 --- a/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt +++ b/pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/infer/infer-unit.rkt @@ -87,7 +87,7 @@ ;; dbound : index variable ;; vars : listof[type variable] - temporary variables ;; 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 (define/cond-contract (move-vars-to-dmap cset dbound vars) (cset? symbol? (listof symbol?) . -> . cset?)