Permalink
Browse files

Move type rep to correct directory

  • Loading branch information...
1 parent 109fbaf commit 1dd6589f808bd132970c59a868cbaa2f2b083484 @frenchy64 committed Nov 16, 2012
Showing with 3 additions and 0 deletions.
  1. +1 −0 src/typed/core.clj
  2. +2 −0 { → src/typed}/type_rep.clj
View
@@ -540,6 +540,7 @@
(-> (ast (ann-form ~form ~expected)) (#(check % (ret (parse-type '~expected)))) expr-type unparse-TCResult))))
(defn check-ns
+ "Type check a namespace. If not provided default to current namespace"
([] (check-ns (ns-name *ns*)))
([nsym]
(require nsym)
@@ -771,6 +771,8 @@
(defn is-var-mutated? [id]
(contains? *mutated-bindings* id))
+(declare FilterSet?)
+
(defrecord TCResult [t fl o]
"This record represents the result of typechecking an expression"
[(AnyType? t)

0 comments on commit 1dd6589

Please sign in to comment.