├── .gitignore ├── CHANGELOG.md ├── LICENSE ├── README.md ├── doc └── intro.md ├── project.clj ├── src └── beichte │ └── core.clj └── test └── beichte └── core_test.clj /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /classes 3 | /checkouts 4 | pom.xml 5 | pom.xml.asc 6 | *.jar 7 | *.class 8 | /.lein-* 9 | /.nrepl-port 10 | .hgignore 11 | .hg/ 12 | -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- 1 | # Change Log 2 | All notable changes to this project will be documented in this file. This change log follows the conventions of [keepachangelog.com](http://keepachangelog.com/). 3 | 4 | ## [Unreleased] 5 | ### Changed 6 | - Add a new arity to `make-widget-async` to provide a different widget shape. 7 | 8 | ## [0.1.1] - 2017-10-14 9 | ### Changed 10 | - Documentation on how to make the widgets. 11 | 12 | ### Removed 13 | - `make-widget-sync` - we're all async, all the time. 14 | 15 | ### Fixed 16 | - Fixed widget maker to keep working when daylight savings switches over. 17 | 18 | ## 0.1.0 - 2017-10-14 19 | ### Added 20 | - Files from the new template. 21 | - Widget maker public API - `make-widget-sync`. 22 | 23 | [Unreleased]: https://github.com/your-name/beichte/compare/0.1.1...HEAD 24 | [0.1.1]: https://github.com/your-name/beichte/compare/0.1.0...0.1.1 25 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | THE ACCOMPANYING PROGRAM IS PROVIDED UNDER THE TERMS OF THIS ECLIPSE PUBLIC 2 | LICENSE ("AGREEMENT"). ANY USE, REPRODUCTION OR DISTRIBUTION OF THE PROGRAM 3 | CONSTITUTES RECIPIENT'S ACCEPTANCE OF THIS AGREEMENT. 4 | 5 | 1. DEFINITIONS 6 | 7 | "Contribution" means: 8 | 9 | a) in the case of the initial Contributor, the initial code and 10 | documentation distributed under this Agreement, and 11 | 12 | b) in the case of each subsequent Contributor: 13 | 14 | i) changes to the Program, and 15 | 16 | ii) additions to the Program; 17 | 18 | where such changes and/or additions to the Program originate from and are 19 | distributed by that particular Contributor. A Contribution 'originates' from 20 | a Contributor if it was added to the Program by such Contributor itself or 21 | anyone acting on such Contributor's behalf. Contributions do not include 22 | additions to the Program which: (i) are separate modules of software 23 | distributed in conjunction with the Program under their own license 24 | agreement, and (ii) are not derivative works of the Program. 25 | 26 | "Contributor" means any person or entity that distributes the Program. 27 | 28 | "Licensed Patents" mean patent claims licensable by a Contributor which are 29 | necessarily infringed by the use or sale of its Contribution alone or when 30 | combined with the Program. 31 | 32 | "Program" means the Contributions distributed in accordance with this 33 | Agreement. 34 | 35 | "Recipient" means anyone who receives the Program under this Agreement, 36 | including all Contributors. 37 | 38 | 2. GRANT OF RIGHTS 39 | 40 | a) Subject to the terms of this Agreement, each Contributor hereby grants 41 | Recipient a non-exclusive, worldwide, royalty-free copyright license to 42 | reproduce, prepare derivative works of, publicly display, publicly perform, 43 | distribute and sublicense the Contribution of such Contributor, if any, and 44 | such derivative works, in source code and object code form. 45 | 46 | b) Subject to the terms of this Agreement, each Contributor hereby grants 47 | Recipient a non-exclusive, worldwide, royalty-free patent license under 48 | Licensed Patents to make, use, sell, offer to sell, import and otherwise 49 | transfer the Contribution of such Contributor, if any, in source code and 50 | object code form. This patent license shall apply to the combination of the 51 | Contribution and the Program if, at the time the Contribution is added by the 52 | Contributor, such addition of the Contribution causes such combination to be 53 | covered by the Licensed Patents. The patent license shall not apply to any 54 | other combinations which include the Contribution. No hardware per se is 55 | licensed hereunder. 56 | 57 | c) Recipient understands that although each Contributor grants the licenses 58 | to its Contributions set forth herein, no assurances are provided by any 59 | Contributor that the Program does not infringe the patent or other 60 | intellectual property rights of any other entity. Each Contributor disclaims 61 | any liability to Recipient for claims brought by any other entity based on 62 | infringement of intellectual property rights or otherwise. As a condition to 63 | exercising the rights and licenses granted hereunder, each Recipient hereby 64 | assumes sole responsibility to secure any other intellectual property rights 65 | needed, if any. For example, if a third party patent license is required to 66 | allow Recipient to distribute the Program, it is Recipient's responsibility 67 | to acquire that license before distributing the Program. 68 | 69 | d) Each Contributor represents that to its knowledge it has sufficient 70 | copyright rights in its Contribution, if any, to grant the copyright license 71 | set forth in this Agreement. 72 | 73 | 3. REQUIREMENTS 74 | 75 | A Contributor may choose to distribute the Program in object code form under 76 | its own license agreement, provided that: 77 | 78 | a) it complies with the terms and conditions of this Agreement; and 79 | 80 | b) its license agreement: 81 | 82 | i) effectively disclaims on behalf of all Contributors all warranties and 83 | conditions, express and implied, including warranties or conditions of title 84 | and non-infringement, and implied warranties or conditions of merchantability 85 | and fitness for a particular purpose; 86 | 87 | ii) effectively excludes on behalf of all Contributors all liability for 88 | damages, including direct, indirect, special, incidental and consequential 89 | damages, such as lost profits; 90 | 91 | iii) states that any provisions which differ from this Agreement are offered 92 | by that Contributor alone and not by any other party; and 93 | 94 | iv) states that source code for the Program is available from such 95 | Contributor, and informs licensees how to obtain it in a reasonable manner on 96 | or through a medium customarily used for software exchange. 97 | 98 | When the Program is made available in source code form: 99 | 100 | a) it must be made available under this Agreement; and 101 | 102 | b) a copy of this Agreement must be included with each copy of the Program. 103 | 104 | Contributors may not remove or alter any copyright notices contained within 105 | the Program. 106 | 107 | Each Contributor must identify itself as the originator of its Contribution, 108 | if any, in a manner that reasonably allows subsequent Recipients to identify 109 | the originator of the Contribution. 110 | 111 | 4. COMMERCIAL DISTRIBUTION 112 | 113 | Commercial distributors of software may accept certain responsibilities with 114 | respect to end users, business partners and the like. While this license is 115 | intended to facilitate the commercial use of the Program, the Contributor who 116 | includes the Program in a commercial product offering should do so in a 117 | manner which does not create potential liability for other Contributors. 118 | Therefore, if a Contributor includes the Program in a commercial product 119 | offering, such Contributor ("Commercial Contributor") hereby agrees to defend 120 | and indemnify every other Contributor ("Indemnified Contributor") against any 121 | losses, damages and costs (collectively "Losses") arising from claims, 122 | lawsuits and other legal actions brought by a third party against the 123 | Indemnified Contributor to the extent caused by the acts or omissions of such 124 | Commercial Contributor in connection with its distribution of the Program in 125 | a commercial product offering. The obligations in this section do not apply 126 | to any claims or Losses relating to any actual or alleged intellectual 127 | property infringement. In order to qualify, an Indemnified Contributor must: 128 | a) promptly notify the Commercial Contributor in writing of such claim, and 129 | b) allow the Commercial Contributor to control, and cooperate with the 130 | Commercial Contributor in, the defense and any related settlement 131 | negotiations. The Indemnified Contributor may participate in any such claim 132 | at its own expense. 133 | 134 | For example, a Contributor might include the Program in a commercial product 135 | offering, Product X. That Contributor is then a Commercial Contributor. If 136 | that Commercial Contributor then makes performance claims, or offers 137 | warranties related to Product X, those performance claims and warranties are 138 | such Commercial Contributor's responsibility alone. Under this section, the 139 | Commercial Contributor would have to defend claims against the other 140 | Contributors related to those performance claims and warranties, and if a 141 | court requires any other Contributor to pay any damages as a result, the 142 | Commercial Contributor must pay those damages. 143 | 144 | 5. NO WARRANTY 145 | 146 | EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, THE PROGRAM IS PROVIDED ON 147 | AN "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, EITHER 148 | EXPRESS OR IMPLIED INCLUDING, WITHOUT LIMITATION, ANY WARRANTIES OR 149 | CONDITIONS OF TITLE, NON-INFRINGEMENT, MERCHANTABILITY OR FITNESS FOR A 150 | PARTICULAR PURPOSE. Each Recipient is solely responsible for determining the 151 | appropriateness of using and distributing the Program and assumes all risks 152 | associated with its exercise of rights under this Agreement , including but 153 | not limited to the risks and costs of program errors, compliance with 154 | applicable laws, damage to or loss of data, programs or equipment, and 155 | unavailability or interruption of operations. 156 | 157 | 6. DISCLAIMER OF LIABILITY 158 | 159 | EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, NEITHER RECIPIENT NOR ANY 160 | CONTRIBUTORS SHALL HAVE ANY LIABILITY FOR ANY DIRECT, INDIRECT, INCIDENTAL, 161 | SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING WITHOUT LIMITATION 162 | LOST PROFITS), HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 163 | CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 164 | ARISING IN ANY WAY OUT OF THE USE OR DISTRIBUTION OF THE PROGRAM OR THE 165 | EXERCISE OF ANY RIGHTS GRANTED HEREUNDER, EVEN IF ADVISED OF THE POSSIBILITY 166 | OF SUCH DAMAGES. 167 | 168 | 7. GENERAL 169 | 170 | If any provision of this Agreement is invalid or unenforceable under 171 | applicable law, it shall not affect the validity or enforceability of the 172 | remainder of the terms of this Agreement, and without further action by the 173 | parties hereto, such provision shall be reformed to the minimum extent 174 | necessary to make such provision valid and enforceable. 175 | 176 | If Recipient institutes patent litigation against any entity (including a 177 | cross-claim or counterclaim in a lawsuit) alleging that the Program itself 178 | (excluding combinations of the Program with other software or hardware) 179 | infringes such Recipient's patent(s), then such Recipient's rights granted 180 | under Section 2(b) shall terminate as of the date such litigation is filed. 181 | 182 | All Recipient's rights under this Agreement shall terminate if it fails to 183 | comply with any of the material terms or conditions of this Agreement and 184 | does not cure such failure in a reasonable period of time after becoming 185 | aware of such noncompliance. If all Recipient's rights under this Agreement 186 | terminate, Recipient agrees to cease use and distribution of the Program as 187 | soon as reasonably practicable. However, Recipient's obligations under this 188 | Agreement and any licenses granted by Recipient relating to the Program shall 189 | continue and survive. 190 | 191 | Everyone is permitted to copy and distribute copies of this Agreement, but in 192 | order to avoid inconsistency the Agreement is copyrighted and may only be 193 | modified in the following manner. The Agreement Steward reserves the right to 194 | publish new versions (including revisions) of this Agreement from time to 195 | time. No one other than the Agreement Steward has the right to modify this 196 | Agreement. The Eclipse Foundation is the initial Agreement Steward. The 197 | Eclipse Foundation may assign the responsibility to serve as the Agreement 198 | Steward to a suitable separate entity. Each new version of the Agreement will 199 | be given a distinguishing version number. The Program (including 200 | Contributions) may always be distributed subject to the version of the 201 | Agreement under which it was received. In addition, after a new version of 202 | the Agreement is published, Contributor may elect to distribute the Program 203 | (including its Contributions) under the new version. Except as expressly 204 | stated in Sections 2(a) and 2(b) above, Recipient receives no rights or 205 | licenses to the intellectual property of any Contributor under this 206 | Agreement, whether expressly, by implication, estoppel or otherwise. All 207 | rights in the Program not expressly granted under this Agreement are 208 | reserved. 209 | 210 | This Agreement is governed by the laws of the State of New York and the 211 | intellectual property laws of the United States of America. No party to this 212 | Agreement will bring a legal action under this Agreement more than one year 213 | after the cause of action arose. Each party waives its rights to a jury trial 214 | in any resulting litigation. 215 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # beichte 2 | 3 | *Formalize and enforce purity staticly without a type system.* 4 | 5 | Confess (German: beichten) your sins and expose your side-effects. Beichte will 6 | track down your Clojure source code recursively and examine all accesses to vars 7 | statically with [tools.analyzer](https://github.com/clojure/tools.analyzer). 8 | Access to variables that it does not know by a whitelist will taint all access 9 | to vars depending on the access and so on. 10 | 11 | ## Usage 12 | 13 | ~~~clojure 14 | (require '[beichte.core :refer [impure? pure-ground]] 15 | '[clojure.tools.analyzer.jvm :as jvm]) 16 | 17 | (impure? (jvm/analyze '(map (fn [x] (+ 1 x)) [1 2 (inc 3)]) (jvm/empty-env))) 18 | ;; => nil, pure :D 19 | 20 | (defn foo 21 | "I don't do a whole lot." 22 | [x] 23 | (println x "Hello, World!")) 24 | 25 | (impure? (jvm/analyze '(foo 42) (jvm/empty-env))) 26 | ;; => {;; deeply nested analysis stack finds problematic method call: 27 | {:problem :unsafe-instance-call, :class java.io.Writer, :method append, :form (. *out* (append system-newline))}}} 28 | 29 | @pure-ground 30 | ;; => dictionary entries of known purity of functions, currently also cache 31 | ;; you can add entries, effectively marking them as pure, be careful though... 32 | ~~~ 33 | 34 | ## TODO 35 | 36 | - separate cache from ground truth 37 | - integrate as linter, e.g. in eastwood 38 | https://github.com/jonase/eastwood/tree/master/src/eastwood/linters 39 | - investigate tools.decompiler as fallback if we cannot find the source 40 | 41 | ## License 42 | 43 | Copyright © 2017 Christian Weilbach 44 | 45 | Distributed under the Eclipse Public License either version 1.0 or (at 46 | your option) any later version. 47 | -------------------------------------------------------------------------------- /doc/intro.md: -------------------------------------------------------------------------------- 1 | # Introduction to beichte 2 | 3 | TODO: write [great documentation](http://jacobian.org/writing/what-to-write/) 4 | -------------------------------------------------------------------------------- /project.clj: -------------------------------------------------------------------------------- 1 | (defproject beichte "0.1.0-SNAPSHOT" 2 | :description "FIXME: write description" 3 | :url "http://example.com/FIXME" 4 | :license {:name "Eclipse Public License" 5 | :url "http://www.eclipse.org/legal/epl-v10.html"} 6 | :dependencies [[org.clojure/clojure "1.8.0"] 7 | [org.clojure/tools.analyzer "0.6.7"] 8 | [org.clojure/tools.reader "1.0.5"] 9 | [org.clojure/core.cache "0.6.5"]] 10 | :plugins [[lein-environ "1.0.0"]] 11 | :env {:squiggly {:checkers [:eastwood] 12 | :eastwood-exclude-linters [:unlimited-use]}}) 13 | -------------------------------------------------------------------------------- /src/beichte/core.clj: -------------------------------------------------------------------------------- 1 | (ns beichte.core 2 | (:require [clojure.tools.analyzer :as ana] 3 | [clojure.tools.analyzer.env :as env] 4 | [clojure.tools.analyzer.jvm :as jvm] 5 | [clojure.java.io :as io]) 6 | (:import (java.io LineNumberReader InputStreamReader PushbackReader) 7 | (clojure.lang RT Reflector))) 8 | 9 | 10 | ;; taken from clojure.repl 11 | (defn source-var 12 | "Returns a string of the source code for the given symbol, if it can 13 | find it. This requires that the symbol resolve to a Var defined in 14 | a namespace for which the .clj is in the classpath. Returns nil if 15 | it can't find the source. For most REPL usage, 'source' is more 16 | convenient. 17 | Example: (source-fn 'filter)" 18 | [v] 19 | (if-let [filepath (:file (meta v))] 20 | (if-let [strm (or (.getResourceAsStream (RT/baseLoader) filepath) 21 | ;; fall back to filesystem for dev 22 | (io/input-stream filepath))] 23 | (with-open [rdr (LineNumberReader. (InputStreamReader. strm))] 24 | (dotimes [_ (dec (:line (meta v)))] (.readLine rdr)) 25 | (let [text (StringBuilder.) 26 | pbr (proxy [PushbackReader] [rdr] 27 | (read [] (let [i (proxy-super read)] 28 | (.append text (char i)) 29 | i))) 30 | read-opts (if (.endsWith ^String filepath "cljc") {:read-cond :allow} {})] 31 | (if (= :unknown *read-eval*) 32 | (throw (IllegalStateException. "Unable to read source while *read-eval* is :unknown.")) 33 | (read read-opts (PushbackReader. pbr))) (str text))) 34 | {:problem :cannot-open-stream 35 | :var v :file filepath}) 36 | {:problem :file-not-found 37 | :var v :meta (meta v)})) 38 | 39 | 40 | (comment 41 | (source-var (:var (jvm/analyze 'clojure.core/*print-readably* (ana/empty-env))))) 42 | 43 | (def pure-ground (atom {#'clojure.core/*print-readably* true 44 | #'clojure.core/*print-dup* true 45 | #'clojure.core/*out* false 46 | #'clojure.core/pr true 47 | 48 | #'clojure.core/cons true ;; breaks recursion 49 | #'clojure.core/first true 50 | #'clojure.core/rest true 51 | #'clojure.core/spread true 52 | 53 | ;; classes 54 | "Exception" true 55 | "clojure.lang.LazySeq" true 56 | "clojure.lang.ChunkBuffer" true 57 | "clojure.lang.ChunkedCons" true 58 | 59 | ;; instance calls 60 | ["clojure.lang.IFn" 'applyTo] true 61 | ["clojure.lang.Var" 'pushThreadBindings] true 62 | ["clojure.lang.Var" 'popThreadBindings] true 63 | ["clojure.lang.PersistentHashMap" 'create] true 64 | ["clojure.lang.IChunkedSeq" 'chunkedFirst] true 65 | ["clojure.lang.IChunkedSeq" 'chunkedMore] true 66 | ["clojure.lang.Numbers" 'add] true 67 | ["clojure.lang.Numbers" 'inc] true 68 | ["clojure.lang.Numbers" 'lt] true 69 | ["clojure.lang.Numbers" 'unchecked_inc] true 70 | ["clojure.lang.Numbers" 'isZero] true 71 | ["clojure.lang.Util" 'identical] true 72 | ["clojure.lang.RT" 'seq] true 73 | ["clojure.lang.RT" 'intCast] true 74 | ["clojure.lang.RT" 'longCast] true 75 | ["clojure.lang.RT" 'count] true 76 | ["clojure.lang.RT" 'next] true 77 | ["clojure.lang.RT" 'conj] true 78 | ["clojure.lang.ChunkBuffer" 'add] true 79 | ["clojure.lang.ChunkBuffer" 'chunk] true 80 | ["clojure.lang.Indexed" 'nth] true 81 | })) 82 | 83 | 84 | (declare impure?) 85 | 86 | (defn impure-var? [visited ast] 87 | (let [v (or (:var ast) (:the-var ast)) 88 | g (@pure-ground v) 89 | res (cond (true? g) false 90 | (false? g) 91 | {:problem :impure-var-accessed 92 | :file (:file (meta v)) 93 | :line (:line (meta v)) 94 | :var v} 95 | :else 96 | (let [src (source-var v)] 97 | (if (map? src) ;; error 98 | src 99 | (-> src 100 | read-string 101 | (jvm/analyze (assoc (jvm/empty-env) 102 | :ns (symbol (str (:ns (meta v)))))))))) 103 | res (impure? visited res)] 104 | (swap! pure-ground assoc v (not res)) 105 | res)) 106 | 107 | 108 | 109 | (defn pure-class? [class] 110 | (@pure-ground (pr-str class))) 111 | 112 | (defn pure-method? [class method] 113 | (@pure-ground [(pr-str class) method])) 114 | 115 | (defn some-impure? [visited args] 116 | (some identity (map (partial impure? visited) args))) 117 | 118 | 119 | (defn impure? 120 | ([ast] 121 | (impure? #{} ast)) 122 | ([visited ast] 123 | (let [{:keys [args op env form children] :as ast} ast 124 | res (case op 125 | nil nil ;; catch missing forms 126 | :static-call (if (pure-method? (:class ast) (:method ast)) 127 | (some-impure? visited args) 128 | {:problem :unsafe-static-instance-call 129 | :class (:class ast) 130 | :method (:method ast) 131 | :form (:form ast)}) 132 | :const (case (:type ast) 133 | :class (let [res (not (pure-class? (:form ast)))] 134 | (if res 135 | {:problem :unsafe-class-instantiated 136 | :form (:form ast)} 137 | res)) 138 | :vector false 139 | :map false 140 | :set false 141 | :nil false 142 | :number false 143 | :keyword false 144 | :string false 145 | :bool false 146 | :constant false) 147 | :def (impure? (conj visited (:var ast)) 148 | ;; TODO why inconsistent? 149 | (or (-> ast :init :expr) (-> ast :init))) 150 | :fn (some-impure? visited (:methods ast)) 151 | :fn-method (impure? visited (:body ast)) 152 | :do (or (some-impure? visited (:statements ast)) 153 | (impure? visited (:ret ast))) 154 | :local (when (:assignable? ast) 155 | {:problem :assignable-local 156 | :form (:form ast)}) 157 | :invoke (or (impure? visited (:fn ast)) 158 | (some-impure? visited args)) 159 | :try (or (impure? visited (:body ast)) 160 | (some-impure? visited (:catches ast)) 161 | (impure? visited (:finally ast))) 162 | :catch (or (impure? visited (:class ast)) 163 | (impure? visited (:body ast))) 164 | :instance? false 165 | :let (or (some-impure? visited (:bindings ast)) 166 | (impure? visited (:body ast))) 167 | :binding (impure? visited (:init ast)) 168 | :instance-call 169 | (if (pure-method? (:class ast) (:method ast)) 170 | (some-impure? visited args) 171 | {:problem :unsafe-instance-call 172 | :class (:class ast) 173 | :method (:method ast) 174 | :form (:form ast)}) 175 | :loop (or (some-impure? visited (:bindings ast)) 176 | (impure? visited (:body ast))) 177 | :recur (some-impure? visited (:exprs ast)) 178 | :new (or (impure? visited (:class ast)) 179 | (some-impure? visited args)) 180 | :if (or (impure? visited (:test ast)) 181 | (impure? visited (:then ast)) 182 | (impure? visited (:else ast))) 183 | :vector (some-impure? visited (:items ast)) 184 | :set (some-impure? visited (:items ast)) 185 | :map (or (some-impure? visited (:keys ast)) 186 | (some-impure? visited (:vals ast))) 187 | :the-var (if (visited (:var ast)) 188 | nil 189 | (impure-var? visited ast)) 190 | :var (if (visited (:var ast)) 191 | nil 192 | (impure-var? visited ast)))] 193 | (if res 194 | {:form (:form ast) 195 | :subform res} 196 | res)))) 197 | 198 | 199 | (defn foo 200 | "I don't do a whole lot." 201 | [x] 202 | (println x "Hello, World!")) 203 | 204 | 205 | 206 | 207 | 208 | (comment 209 | (impure? (jvm/analyze '{:a (inc 1)} (jvm/empty-env))) 210 | 211 | (impure? (jvm/analyze '(map (fn [x] (+ 1 x)) [1 2 (inc 3)]) (jvm/empty-env))) 212 | 213 | (impure? (jvm/analyze '(foo 42) (jvm/empty-env))) 214 | 215 | (env/with-env (jvm/global-env) 216 | (jvm/analyze 'println (jvm/empty-env) #_(env/deref-env))) 217 | 218 | (impure? (jvm/analyze '(try 1 (catch Exception e)) (jvm/empty-env))) 219 | 220 | (jvm/analyze '(try 1 (catch Exception e)) (jvm/empty-env)) 221 | 222 | 223 | (impure? (jvm/analyze '(let [a 1] a) (jvm/empty-env))) 224 | 225 | (impure? (jvm/analyze '(java.util.UUID/randomUUID) (jvm/empty-env))) 226 | 227 | (-> 228 | (source-var #'clojure.core/println) 229 | read-string 230 | (jvm/analyze (jvm/empty-env)) 231 | prn)) 232 | 233 | 234 | 235 | 236 | 237 | -------------------------------------------------------------------------------- /test/beichte/core_test.clj: -------------------------------------------------------------------------------- 1 | (ns beichte.core-test 2 | (:require [clojure.test :refer :all] 3 | [beichte.core :refer :all])) 4 | 5 | (deftest a-test 6 | (testing "FIXME, I fail." 7 | (is (= 0 1)))) 8 | --------------------------------------------------------------------------------