A bunch of additional typos

svn: r17976

original commit: c88a5a685674ea70991a97f35972bd5144483e7a
This commit is contained in:
Eli Barzilay 2010-02-05 03:21:52 +00:00
parent 4c1cf6b520
commit 32dcd7960c

View File

@ -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))
(define current-poly-struct (make-parameter #f))