From 32dcd7960c01f612fe67c25092bf248215eeef58 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 5 Feb 2010 03:21:52 +0000 Subject: [PATCH] A bunch of additional typos svn: r17976 original commit: c88a5a685674ea70991a97f35972bd5144483e7a --- collects/typed-scheme/types/utils.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/typed-scheme/types/utils.ss b/collects/typed-scheme/types/utils.ss index 75454175..85d4aa5b 100644 --- a/collects/typed-scheme/types/utils.ss +++ b/collects/typed-scheme/types/utils.ss @@ -125,7 +125,7 @@ ;; substitute many variables ;; substitution = Listof[U List[Name,Type] List[Name,Listof[Type]]] -;; subst-all : substition Type -> Type +;; subst-all : substitution Type -> Type (define (subst-all s t) (for/fold ([t t]) ([e s]) (match e @@ -309,4 +309,4 @@ ;; a parameter for the current polymorphic structure being defined ;; to allow us to prevent non-regular datatypes -(define current-poly-struct (make-parameter #f)) \ No newline at end of file +(define current-poly-struct (make-parameter #f))