search

latte-central / LaTTe

LaTTe : a Laboratory for Type Theory experiments (in clojure)
http://latte-central.github.io/LaTTe/
MIT License
256 stars 13 forks source link

Docu improvements #11

Closed Bost closed 8 years ago

Bost commented 8 years ago

Unfortunately I get an NPE when running lein codox

fredokun commented 8 years ago

thanks you for the typos... do you still get an NPE ? (I don't ...) ... can you show me the beginning of the stacktrace ?

Bost commented 8 years ago

I think it's better to show the whole stacktrace:

$ lein codox                                                                                                                                                            2016-11-05 00:05:03 
Initializing core.typed ...
Building core.typed base environments ...
Finished building base environments
"Elapsed time: 979.496287 msecs"
core.typed initialized.
Start collecting latte.classic
Finished collecting latte.classic
Collected 1 namespaces in 718.191568 msecs
Not checking latte.classic (does not depend on clojure.core.typed)
Checked 1 namespaces  in 721.810902 msecs
Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.classic/excluded-middle-ax
Hint: Add the annotation for latte.classic/excluded-middle-ax via check-ns or cf
in: latte.classic/excluded-middle-ax

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.classic/not-impl-or-intro
Hint: Add the annotation for latte.classic/not-impl-or-intro via check-ns or cf
in: latte.classic/not-impl-or-intro

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.classic/not-not
Hint: Add the annotation for latte.classic/not-not via check-ns or cf
in: latte.classic/not-not

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.classic/not-not-impl
Hint: Add the annotation for latte.classic/not-not-impl via check-ns or cf
in: latte.classic/not-not-impl

Start collecting latte.core
[Warning] redefinition as special:  type-of%
[Warning] redefinition as notation:  lambda
[Warning] redefinition as notation:  forall
[Warning] redefinition as notation:  ==>
Finished collecting latte.core
Collected 1 namespaces in 376.330799 msecs
Not checking latte.core (does not depend on clojure.core.typed)
Checked 1 namespaces  in 379.290596 msecs
Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.core/==>
Hint: Add the annotation for latte.core/==> via check-ns or cf
in: latte.core/==>

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.core/forall
Hint: Add the annotation for latte.core/forall via check-ns or cf
in: latte.core/forall

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.core/lambda
Hint: Add the annotation for latte.core/lambda via check-ns or cf
in: latte.core/lambda

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.core/mk-doc
Hint: Add the annotation for latte.core/mk-doc via check-ns or cf
in: latte.core/mk-doc

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.core/type-of%
Hint: Add the annotation for latte.core/type-of% via check-ns or cf
in: latte.core/type-of%

Start collecting latte.equal
Finished collecting latte.equal
Collected 1 namespaces in 123.945394 msecs
Not checking latte.equal (does not depend on clojure.core.typed)
Checked 1 namespaces  in 125.032437 msecs
Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.equal/eq-cong
Hint: Add the annotation for latte.equal/eq-cong via check-ns or cf
in: latte.equal/eq-cong

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.equal/eq-refl
Hint: Add the annotation for latte.equal/eq-refl via check-ns or cf
in: latte.equal/eq-refl

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.equal/eq-subst
Hint: Add the annotation for latte.equal/eq-subst via check-ns or cf
in: latte.equal/eq-subst

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.equal/eq-sym
Hint: Add the annotation for latte.equal/eq-sym via check-ns or cf
in: latte.equal/eq-sym

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.equal/eq-trans
Hint: Add the annotation for latte.equal/eq-trans via check-ns or cf
in: latte.equal/eq-trans

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.equal/equal
Hint: Add the annotation for latte.equal/equal via check-ns or cf
in: latte.equal/equal

Start collecting latte.fun
Finished collecting latte.fun
Collected 1 namespaces in 1093.083218 msecs
Not checking latte.fun (does not depend on clojure.core.typed)
Checked 1 namespaces  in 1094.898616 msecs
Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.fun/bijective
Hint: Add the annotation for latte.fun/bijective via check-ns or cf
in: latte.fun/bijective

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.fun/bijective-is-injective
Hint: Add the annotation for latte.fun/bijective-is-injective via check-ns or cf
in: latte.fun/bijective-is-injective

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.fun/bijective-is-surjective
Hint: Add the annotation for latte.fun/bijective-is-surjective via check-ns or cf
in: latte.fun/bijective-is-surjective

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.fun/bijective-unique
Hint: Add the annotation for latte.fun/bijective-unique via check-ns or cf
in: latte.fun/bijective-unique

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.fun/compose
Hint: Add the annotation for latte.fun/compose via check-ns or cf
in: latte.fun/compose

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.fun/compose-injective
Hint: Add the annotation for latte.fun/compose-injective via check-ns or cf
in: latte.fun/compose-injective

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.fun/injective
Hint: Add the annotation for latte.fun/injective via check-ns or cf
in: latte.fun/injective

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.fun/injective-single
Hint: Add the annotation for latte.fun/injective-single via check-ns or cf
in: latte.fun/injective-single

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.fun/inverse
Hint: Add the annotation for latte.fun/inverse via check-ns or cf
in: latte.fun/inverse

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.fun/inverse-bijective
Hint: Add the annotation for latte.fun/inverse-bijective via check-ns or cf
in: latte.fun/inverse-bijective

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.fun/inverse-injective
Hint: Add the annotation for latte.fun/inverse-injective via check-ns or cf
in: latte.fun/inverse-injective

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.fun/inverse-prop
Hint: Add the annotation for latte.fun/inverse-prop via check-ns or cf
in: latte.fun/inverse-prop

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.fun/inverse-prop-conv
Hint: Add the annotation for latte.fun/inverse-prop-conv via check-ns or cf
in: latte.fun/inverse-prop-conv

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.fun/inverse-surjective
Hint: Add the annotation for latte.fun/inverse-surjective via check-ns or cf
in: latte.fun/inverse-surjective

Type Error (/tmp/form-init3409337147868957248.clj) Unannotated var latte.fun/surjective
Hint: Add the annotation for latte.fun/surjective via check-ns or cf
in: latte.fun/surjective

Start collecting latte.kernel.defenv
Exception in thread "main" java.lang.NullPointerException, compiling:(/tmp/form-init3409337147868957248.clj:1:73)
    at clojure.lang.Compiler.load(Compiler.java:7391)
    at clojure.lang.Compiler.loadFile(Compiler.java:7317)
    at clojure.main$load_script.invokeStatic(main.clj:275)
    at clojure.main$init_opt.invokeStatic(main.clj:277)
    at clojure.main$init_opt.invoke(main.clj:277)
    at clojure.main$initialize.invokeStatic(main.clj:308)
    at clojure.main$null_opt.invokeStatic(main.clj:342)
    at clojure.main$null_opt.invoke(main.clj:339)
    at clojure.main$main.invokeStatic(main.clj:421)
    at clojure.main$main.doInvoke(main.clj:384)
    at clojure.lang.RestFn.invoke(RestFn.java:421)
    at clojure.lang.Var.invoke(Var.java:383)
    at clojure.lang.AFn.applyToHelper(AFn.java:156)
    at clojure.lang.Var.applyTo(Var.java:700)
    at clojure.main.main(main.java:37)
Caused by: java.lang.NullPointerException
    at clojure.tools.analyzer.passes.jvm.emit_form$class__GT_str.invokeStatic(emit_form.clj:82)
    at clojure.tools.analyzer.passes.jvm.emit_form$class__GT_str.invoke(emit_form.clj:79)
    at clojure.tools.analyzer.passes.jvm.emit_form$fn__11010.invokeStatic(emit_form.clj:122)
    at clojure.tools.analyzer.passes.jvm.emit_form$fn__11010.invoke(emit_form.clj:120)
    at clojure.lang.MultiFn.invoke(MultiFn.java:233)
    at clojure.tools.analyzer.passes.jvm.emit_form$_emit_form_STAR_.invokeStatic(emit_form.clj:18)
    at clojure.tools.analyzer.passes.jvm.emit_form$_emit_form_STAR_.invoke(emit_form.clj:16)
    at clojure.tools.analyzer.passes.emit_form$fn__10855.invokeStatic(emit_form.clj:121)
    at clojure.tools.analyzer.passes.emit_form$fn__10855.invoke(emit_form.clj:118)
    at clojure.lang.MultiFn.invoke(MultiFn.java:233)
    at clojure.tools.analyzer.passes.jvm.emit_form$fn__10941.invokeStatic(emit_form.clj:46)
    at clojure.tools.analyzer.passes.jvm.emit_form$fn__10941.invoke(emit_form.clj:44)
    at clojure.lang.MultiFn.invoke(MultiFn.java:233)
    at clojure.tools.analyzer.passes.jvm.emit_form$_emit_form_STAR_.invokeStatic(emit_form.clj:18)
    at clojure.tools.analyzer.passes.jvm.emit_form$_emit_form_STAR_.invoke(emit_form.clj:16)
    at clojure.tools.analyzer.passes.emit_form$fn__10810.invokeStatic(emit_form.clj:85)
    at clojure.tools.analyzer.passes.emit_form$fn__10810.invoke(emit_form.clj:82)
    at clojure.lang.MultiFn.invoke(MultiFn.java:233)
    at clojure.tools.analyzer.passes.jvm.emit_form$fn__10941.invokeStatic(emit_form.clj:46)
    at clojure.tools.analyzer.passes.jvm.emit_form$fn__10941.invoke(emit_form.clj:44)
    at clojure.lang.MultiFn.invoke(MultiFn.java:233)
    at clojure.tools.analyzer.passes.jvm.emit_form$_emit_form_STAR_.invokeStatic(emit_form.clj:18)
    at clojure.tools.analyzer.passes.jvm.emit_form$_emit_form_STAR_.invoke(emit_form.clj:16)
    at clojure.tools.analyzer.passes.emit_form$fn__10855.invokeStatic(emit_form.clj:121)
    at clojure.tools.analyzer.passes.emit_form$fn__10855.invoke(emit_form.clj:118)
    at clojure.lang.MultiFn.invoke(MultiFn.java:233)
    at clojure.tools.analyzer.passes.jvm.emit_form$fn__10941.invokeStatic(emit_form.clj:46)
    at clojure.tools.analyzer.passes.jvm.emit_form$fn__10941.invoke(emit_form.clj:44)
    at clojure.lang.MultiFn.invoke(MultiFn.java:233)
    at clojure.tools.analyzer.passes.jvm.emit_form$_emit_form_STAR_.invokeStatic(emit_form.clj:18)
    at clojure.tools.analyzer.passes.jvm.emit_form$_emit_form_STAR_.invoke(emit_form.clj:16)
    at clojure.tools.analyzer.passes.emit_form$fn__10885.invokeStatic(emit_form.clj:152)
    at clojure.tools.analyzer.passes.emit_form$fn__10885.invoke(emit_form.clj:144)
    at clojure.lang.MultiFn.invoke(MultiFn.java:233)
    at clojure.tools.analyzer.passes.jvm.emit_form$fn__10941.invokeStatic(emit_form.clj:46)
    at clojure.tools.analyzer.passes.jvm.emit_form$fn__10941.invoke(emit_form.clj:44)
    at clojure.lang.MultiFn.invoke(MultiFn.java:233)
    at clojure.tools.analyzer.passes.jvm.emit_form$_emit_form_STAR_.invokeStatic(emit_form.clj:18)
    at clojure.tools.analyzer.passes.jvm.emit_form$_emit_form_STAR_.invoke(emit_form.clj:16)
    at clojure.tools.analyzer.passes.emit_form$fn__10892$fn__10894.invoke(emit_form.clj:157)
    at clojure.core$mapv$fn__6953.invoke(core.clj:6627)
    at clojure.lang.PersistentVector.reduce(PersistentVector.java:341)
    at clojure.core$reduce.invokeStatic(core.clj:6544)
    at clojure.core$mapv.invokeStatic(core.clj:6618)
    at clojure.core$mapv.invoke(core.clj:6618)
    at clojure.tools.analyzer.passes.emit_form$fn__10892.invokeStatic(emit_form.clj:157)
    at clojure.tools.analyzer.passes.emit_form$fn__10892.invoke(emit_form.clj:154)
    at clojure.lang.MultiFn.invoke(MultiFn.java:233)
    at clojure.tools.analyzer.passes.jvm.emit_form$fn__10941.invokeStatic(emit_form.clj:46)
    at clojure.tools.analyzer.passes.jvm.emit_form$fn__10941.invoke(emit_form.clj:44)
    at clojure.lang.MultiFn.invoke(MultiFn.java:233)
    at clojure.tools.analyzer.passes.jvm.emit_form$_emit_form_STAR_.invokeStatic(emit_form.clj:18)
    at clojure.tools.analyzer.passes.jvm.emit_form$_emit_form_STAR_.invoke(emit_form.clj:16)
    at clojure.tools.analyzer.passes.emit_form$fn__10898.invokeStatic(emit_form.clj:164)
    at clojure.tools.analyzer.passes.emit_form$fn__10898.invoke(emit_form.clj:159)
    at clojure.lang.MultiFn.invoke(MultiFn.java:233)
    at clojure.tools.analyzer.passes.jvm.emit_form$fn__11053.invokeStatic(emit_form.clj:164)
    at clojure.tools.analyzer.passes.jvm.emit_form$fn__11053.invoke(emit_form.clj:162)
    at clojure.lang.MultiFn.invoke(MultiFn.java:233)
    at clojure.tools.analyzer.passes.jvm.emit_form$_emit_form_STAR_.invokeStatic(emit_form.clj:18)
    at clojure.tools.analyzer.passes.jvm.emit_form$_emit_form_STAR_.invoke(emit_form.clj:16)
    at clojure.tools.analyzer.passes.jvm.emit_form$emit_form.invokeStatic(emit_form.clj:35)
    at clojure.tools.analyzer.passes.jvm.emit_form$emit_form.invoke(emit_form.clj:25)
    at clojure.tools.analyzer.passes.jvm.emit_form$emit_form.invokeStatic(emit_form.clj:32)
    at clojure.tools.analyzer.passes.jvm.emit_form$emit_form.invoke(emit_form.clj:25)
    at clojure.core.typed.analyze_clj$eval_ast.invokeStatic(analyze_clj.clj:440)
    at clojure.core.typed.analyze_clj$eval_ast.invoke(analyze_clj.clj:433)
    at clojure.core.typed.single_pass$analyze_PLUS_eval.invokeStatic(single_pass.clj:161)
    at clojure.core.typed.single_pass$analyze_PLUS_eval.invoke(single_pass.clj:88)
    at clojure.core.typed.analyze_clj$analyze1$fn__12408.invoke(analyze_clj.clj:347)
    at clojure.lang.AFn.applyToHelper(AFn.java:152)
    at clojure.lang.AFn.applyTo(AFn.java:144)
    at clojure.core$apply.invokeStatic(core.clj:646)
    at clojure.core$with_bindings_STAR_.invokeStatic(core.clj:1881)
    at clojure.core$with_bindings_STAR_.doInvoke(core.clj:1881)
    at clojure.lang.RestFn.invoke(RestFn.java:425)
    at clojure.core.typed.analyze_clj$analyze1.invokeStatic(analyze_clj.clj:345)
    at clojure.core.typed.analyze_clj$analyze1.invoke(analyze_clj.clj:338)
    at clojure.core.typed.analyze_clj$ast_for_file$fn__12418.invoke(analyze_clj.clj:396)
    at clojure.core.typed.analyze_clj$ast_for_file.invokeStatic(analyze_clj.clj:391)
    at clojure.core.typed.analyze_clj$ast_for_file.invoke(analyze_clj.clj:377)
    at clojure.core.typed.analyze_clj$ast_for_ns.invokeStatic(analyze_clj.clj:424)
    at clojure.core.typed.analyze_clj$ast_for_ns.invoke(analyze_clj.clj:402)
    at clojure.core.typed.collect_utils$collect_ns_STAR_.invokeStatic(collect_utils.clj:79)
    at clojure.core.typed.collect_utils$collect_ns_STAR_.invoke(collect_utils.clj:53)
    at clojure.core.typed.collect_phase$collect_ns.invokeStatic(collect_phase.clj:65)
    at clojure.core.typed.collect_phase$collect_ns.invoke(collect_phase.clj:59)
    at clojure.core.typed.check_ns_common$check_ns_info$fn__23490$fn__23491.invoke(check_ns_common.clj:72)
    at clojure.core.typed.check_ns_common$check_ns_info$fn__23490.invoke(check_ns_common.clj:64)
    at clojure.lang.AFn.applyToHelper(AFn.java:152)
    at clojure.lang.AFn.applyTo(AFn.java:144)
    at clojure.core$apply.invokeStatic(core.clj:646)
    at clojure.core$with_bindings_STAR_.invokeStatic(core.clj:1881)
    at clojure.core$with_bindings_STAR_.doInvoke(core.clj:1881)
    at clojure.lang.RestFn.invoke(RestFn.java:425)
    at clojure.core.typed.check_ns_common$check_ns_info.invokeStatic(check_ns_common.clj:47)
    at clojure.core.typed.check_ns_common$check_ns_info.doInvoke(check_ns_common.clj:33)
    at clojure.lang.RestFn.invoke(RestFn.java:425)
    at clojure.lang.AFn.applyToHelper(AFn.java:156)
    at clojure.lang.RestFn.applyTo(RestFn.java:132)
    at clojure.core$apply.invokeStatic(core.clj:650)
    at clojure.core$apply.invoke(core.clj:641)
    at clojure.core.typed.check_ns_clj$check_ns_info.invokeStatic(check_ns_clj.clj:19)
    at clojure.core.typed.check_ns_clj$check_ns_info.doInvoke(check_ns_clj.clj:6)
    at clojure.lang.RestFn.invoke(RestFn.java:410)
    at clojure.lang.AFn.applyToHelper(AFn.java:154)
    at clojure.lang.RestFn.applyTo(RestFn.java:132)
    at clojure.core$apply.invokeStatic(core.clj:648)
    at clojure.core$apply.invoke(core.clj:641)
    at clojure.core.typed$fn__1653.invokeStatic(typed.clj:2275)
    at clojure.core.typed$fn__1653.doInvoke(typed.clj:2257)
    at clojure.lang.RestFn.invoke(RestFn.java:410)
    at clojure.lang.Var.invoke(Var.java:379)
    at codox.reader.clojure$typecheck_namespace.invokeStatic(clojure.clj:23)
    at codox.reader.clojure$typecheck_namespace.invoke(clojure.clj:22)
    at codox.reader.clojure$read_ns.invokeStatic(clojure.clj:93)
    at codox.reader.clojure$read_ns.invoke(clojure.clj:90)
    at clojure.core$map$fn__4785.invoke(core.clj:2646)
    at clojure.lang.LazySeq.sval(LazySeq.java:40)
    at clojure.lang.LazySeq.seq(LazySeq.java:49)
    at clojure.lang.Cons.next(Cons.java:39)
    at clojure.lang.RT.next(RT.java:688)
    at clojure.core$next__4341.invokeStatic(core.clj:64)
    at clojure.core$concat$cat__4448$fn__4449.invoke(core.clj:723)
    at clojure.lang.LazySeq.sval(LazySeq.java:40)
    at clojure.lang.LazySeq.seq(LazySeq.java:49)
    at clojure.lang.RT.seq(RT.java:521)
    at clojure.core$seq__4357.invokeStatic(core.clj:137)
    at clojure.core$filter$fn__4812.invoke(core.clj:2700)
    at clojure.lang.LazySeq.sval(LazySeq.java:40)
    at clojure.lang.LazySeq.seq(LazySeq.java:49)
    at clojure.lang.RT.seq(RT.java:521)
    at clojure.core$seq__4357.invokeStatic(core.clj:137)
    at clojure.core$filter$fn__4812.invoke(core.clj:2700)
    at clojure.lang.LazySeq.sval(LazySeq.java:40)
    at clojure.lang.LazySeq.seq(LazySeq.java:49)
    at clojure.lang.RT.seq(RT.java:521)
    at clojure.core$seq__4357.invokeStatic(core.clj:137)
    at clojure.core$map$fn__4785.invoke(core.clj:2637)
    at clojure.lang.LazySeq.sval(LazySeq.java:40)
    at clojure.lang.LazySeq.seq(LazySeq.java:49)
    at clojure.lang.RT.seq(RT.java:521)
    at clojure.core$seq__4357.invokeStatic(core.clj:137)
    at clojure.core$seq__4357.invoke(core.clj:137)
    at codox.utils$add_source_paths$iter__57__61$fn__62.invoke(utils.clj:79)
    at clojure.lang.LazySeq.sval(LazySeq.java:40)
    at clojure.lang.LazySeq.seq(LazySeq.java:49)
    at clojure.lang.RT.seq(RT.java:521)
    at clojure.core$seq__4357.invokeStatic(core.clj:137)
    at clojure.core$seq__4357.invoke(core.clj:137)
    at codox.main$add_ns_defaults$iter__255__259$fn__260.invoke(main.clj:63)
    at clojure.lang.LazySeq.sval(LazySeq.java:40)
    at clojure.lang.LazySeq.seq(LazySeq.java:49)
    at clojure.lang.Cons.next(Cons.java:39)
    at clojure.lang.RT.countFrom(RT.java:628)
    at clojure.lang.RT.count(RT.java:618)
    at codox.writer.html$namespace_list_type.invokeStatic(html.clj:245)
    at codox.writer.html$namespace_list_type.invoke(html.clj:244)
    at codox.writer.html$namespaces_menu.invokeStatic(html.clj:252)
    at codox.writer.html$namespaces_menu.invoke(html.clj:248)
    at codox.writer.html$primary_sidebar.invokeStatic(html.clj:260)
    at codox.writer.html$primary_sidebar.doInvoke(html.clj:256)
    at clojure.lang.RestFn.invoke(RestFn.java:410)
    at codox.writer.html$index_page.invokeStatic(html.clj:303)
    at codox.writer.html$index_page.invoke(html.clj:302)
    at codox.writer.html$write_index.invokeStatic(html.clj:430)
    at codox.writer.html$write_index.invoke(html.clj:429)
    at codox.writer.html$write_docs.invokeStatic(html.clj:486)
    at codox.writer.html$write_docs.invoke(html.clj:482)
    at clojure.lang.Var.invoke(Var.java:379)
    at codox.main$generate_docs.invokeStatic(main.clj:115)
    at codox.main$generate_docs.invoke(main.clj:106)
    at user$eval285.invokeStatic(form-init3409337147868957248.clj:1)
    at user$eval285.invoke(form-init3409337147868957248.clj:1)
    at clojure.lang.Compiler.eval(Compiler.java:6927)
    at clojure.lang.Compiler.eval(Compiler.java:6917)
    at clojure.lang.Compiler.load(Compiler.java:7379)
    ... 14 more
Subprocess failed
fredokun commented 8 years ago

looks like an incompatibility with typed clojure... I use plain clojure (and thought it was transparent to use typed clojure) ...