Permalink
Browse files

More files

  • Loading branch information...
1 parent a02cfc3 commit 7321978319c0a59780b7b683c6d602277e4e5557 @frenchy64 committed Nov 16, 2012
View
@@ -2,13 +2,6 @@
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Checker
-(add-default-fold-case TCResult
- (fn [ty _]
- (-> ty
- (update-in [:t] type-rec)
- (update-in [:fl] filter-rec)
- (update-in [:o] object-rec))))
-
(declare ret-t ret-f ret-o)
(defn unparse-TCResult [r]
@@ -357,6 +350,8 @@
(for-type type)
@free-in?)))
+(declare subst-type)
+
(defn subst-filter [f k o polarity]
{:pre [(Filter? f)
(name-ref? k)
Oops, something went wrong.

0 comments on commit 7321978

Please sign in to comment.