Skip to content
Browse files

Move filters

  • Loading branch information...
1 parent 7321978 commit e3799d1a44a0426feb247bfcca5aa76cf560bb96 @frenchy64 committed Nov 17, 2012
Showing with 27 additions and 32 deletions.
  1. +0 −31 src/typed/core.clj
  2. +21 −1 src/typed/filter_rep.clj
  3. +6 −0 src/typed/utils.clj
View
31 src/typed/core.clj
@@ -268,13 +268,6 @@
(declare abstract-many instantiate-many)
-;(defn- comp-mm [mm disps]
-; (set/difference disps (set (keys (methods mm)))))
-;
-;(comp-mm replace-image (disj kinds :scope))
-;(comp-mm replace-image (disj kinds :scope))
-
-
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Types
@@ -1037,33 +1030,9 @@
(def no-bounds (->Bounds (->Top) (Un) nil))
-;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-;; Filters
-
-(def name-ref? (some-fn symbol? integer?))
-
-(def Filter ::filter)
-
-(defn Filter? [a]
- (isa? (class a) Filter))
-
-(defn declare-filter [c]
- (derive c Filter))
-
-(defrecord BotFilter []
- "?"
- [])
-(defrecord TopFilter []
- "?"
- [])
-
-(def -top (->TopFilter))
-(def -bot (->BotFilter))
(declare unparse-path-elem)
-
-
(declare TypeFilter? NotTypeFilter? type-of TCResult? ret-t Nil? False? True? unparse-type)
(def ^:dynamic *mutated-bindings* #{})
View
22 src/typed/filter_rep.clj
@@ -1,5 +1,25 @@
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;; Filters
-; Filters
+(def name-ref? (some-fn symbol? integer?))
+
+(def Filter ::filter)
+
+(defn Filter? [a]
+ (isa? (class a) Filter))
+
+(defn declare-filter [c]
+ (derive c Filter))
+
+(defrecord BotFilter []
+ "?"
+ [])
+(defrecord TopFilter []
+ "?"
+ [])
+
+(def -top (->TopFilter))
+(def -bot (->BotFilter))
(defrecord NoFilter []
"Represents no info about filters, used for parsing types"
View
6 src/typed/utils.clj
@@ -48,3 +48,9 @@
(defn sequential-c? [c?]
(every-pred sequential?
(every-c? c?)))
+
+;(defn- comp-mm [mm disps]
+; (set/difference disps (set (keys (methods mm)))))
+;
+;(comp-mm replace-image (disj kinds :scope))
+;(comp-mm replace-image (disj kinds :scope))

0 comments on commit e3799d1

Please sign in to comment.
Something went wrong with that request. Please try again.