http://dev.clojure.org/jira This file is an XML representation of an issue en-us 4.4 649 25-07-2011 http://dev.clojure.org/jira/browse/LOGIC-105 core.logic <p>When compiling this project <a href="https://github.com/timowest/symbol">https://github.com/timowest/symbol</a> with the master version of core.logic I run into the following stacktrace</p> <p>Exception in thread "main" java.lang.IllegalArgumentException: No single method: _id of interface: clojure.core.logic.IConstraintId found for function: -id of protocol: IConstraintId, compiling:(clojure/core/logic.clj:177:5)<br/> at clojure.lang.Compiler.analyzeSeq(Compiler.java:6566)<br/> at clojure.lang.Compiler.analyze(Compiler.java:6360)<br/> at clojure.lang.Compiler.analyze(Compiler.java:6321)<br/> at clojure.lang.Compiler$IfExpr$Parser.parse(Compiler.java:2668)<br/> at clojure.lang.Compiler.analyzeSeq(Compiler.java:6559)<br/> at clojure.lang.Compiler.analyze(Compiler.java:6360)<br/> at clojure.lang.Compiler.analyze(Compiler.java:6321)<br/> at clojure.lang.Compiler$BodyExpr$Parser.parse(Compiler.java:5707)<br/> at clojure.lang.Compiler$FnMethod.parse(Compiler.java:5138)<br/> at clojure.lang.Compiler$FnExpr.parse(Compiler.java:3750)<br/> at clojure.lang.Compiler.analyzeSeq(Compiler.java:6557)<br/> at clojure.lang.Compiler.analyze(Compiler.java:6360)<br/> at clojure.lang.Compiler.analyzeSeq(Compiler.java:6547)<br/> at clojure.lang.Compiler.analyze(Compiler.java:6360)<br/> at clojure.lang.Compiler.access$100(Compiler.java:37)<br/> at clojure.lang.Compiler$DefExpr$Parser.parse(Compiler.java:528)<br/> at clojure.lang.Compiler.analyzeSeq(Compiler.java:6559)<br/> at clojure.lang.Compiler.analyze(Compiler.java:6360)<br/> at clojure.lang.Compiler.analyze(Compiler.java:6321)<br/> at clojure.lang.Compiler.eval(Compiler.java:6622)<br/> at clojure.lang.Compiler.load(Compiler.java:7062)<br/> at clojure.lang.RT.loadResourceScript(RT.java:361)<br/> at clojure.lang.RT.loadResourceScript(RT.java:352)<br/> at clojure.lang.RT.load(RT.java:431)<br/> at clojure.lang.RT.load(RT.java:402)<br/> at clojure.core$load$fn__5039.invoke(core.clj:5520)<br/> at clojure.core$load.doInvoke(core.clj:5519)<br/> at clojure.lang.RestFn.invoke(RestFn.java:408)<br/> at clojure.core$load_one.invoke(core.clj:5326)<br/> at clojure.core$load_lib$fn__4988.invoke(core.clj:5365)<br/> at clojure.core$load_lib.doInvoke(core.clj:5364)<br/> at clojure.lang.RestFn.applyTo(RestFn.java:142)<br/> at clojure.core$apply.invoke(core.clj:619)<br/> at clojure.core$load_libs.doInvoke(core.clj:5403)<br/> at clojure.lang.RestFn.applyTo(RestFn.java:137)<br/> at clojure.core$apply.invoke(core.clj:621)<br/> at clojure.core$use.doInvoke(core.clj:5497)<br/> at clojure.lang.RestFn.invoke(RestFn.java:421)<br/> at symbol.types$eval75$loading_<em>4931</em><em>auto</em>___76.invoke(types.clj:9)<br/> at symbol.types$eval75.invoke(types.clj:9)<br/> at clojure.lang.Compiler.eval(Compiler.java:6618)<br/> at clojure.lang.Compiler.eval(Compiler.java:6607)<br/> at clojure.lang.Compiler.load(Compiler.java:7062)<br/> at clojure.lang.RT.loadResourceScript(RT.java:361)<br/> at clojure.lang.RT.loadResourceScript(RT.java:352)<br/> at clojure.lang.RT.load(RT.java:431)<br/> at clojure.lang.RT.load(RT.java:402)<br/> at clojure.core$load$fn__5039.invoke(core.clj:5520)<br/> at clojure.core$load.doInvoke(core.clj:5519)<br/> at clojure.lang.RestFn.invoke(RestFn.java:408)<br/> at clojure.core$load_one.invoke(core.clj:5326)<br/> at clojure.core$load_lib$fn__4988.invoke(core.clj:5365)<br/> at clojure.core$load_lib.doInvoke(core.clj:5364)<br/> at clojure.lang.RestFn.applyTo(RestFn.java:142)<br/> at clojure.core$apply.invoke(core.clj:619)<br/> at clojure.core$load_libs.doInvoke(core.clj:5403)<br/> at clojure.lang.RestFn.applyTo(RestFn.java:137)<br/> at clojure.core$apply.invoke(core.clj:619)<br/> at clojure.core$require.doInvoke(core.clj:5486)<br/> at clojure.lang.RestFn.invoke(RestFn.java:408)<br/> at symbol.includes_test$eval69$loading_<em>4931</em><em>auto</em>___70.invoke(includes_test.clj:9)<br/> at symbol.includes_test$eval69.invoke(includes_test.clj:9)<br/> at clojure.lang.Compiler.eval(Compiler.java:6618)<br/> at clojure.lang.Compiler.eval(Compiler.java:6607)<br/> at clojure.lang.Compiler.load(Compiler.java:7062)<br/> at clojure.lang.RT.loadResourceScript(RT.java:361)<br/> at clojure.lang.RT.loadResourceScript(RT.java:352)<br/> at clojure.lang.RT.load(RT.java:431)<br/> at clojure.lang.RT.load(RT.java:402)<br/> at clojure.core$load$fn__5039.invoke(core.clj:5520)<br/> at clojure.core$load.doInvoke(core.clj:5519)<br/> at clojure.lang.RestFn.invoke(RestFn.java:408)<br/> at clojure.core$load_one.invoke(core.clj:5326)<br/> at clojure.core$load_lib$fn__4988.invoke(core.clj:5365)<br/> at clojure.core$load_lib.doInvoke(core.clj:5364)<br/> at clojure.lang.RestFn.applyTo(RestFn.java:142)<br/> at clojure.core$apply.invoke(core.clj:619)<br/> at clojure.core$load_libs.doInvoke(core.clj:5403)<br/> at clojure.lang.RestFn.applyTo(RestFn.java:137)<br/> at clojure.core$apply.invoke(core.clj:619)<br/> at clojure.core$require.doInvoke(core.clj:5486)<br/> at clojure.lang.RestFn.invoke(RestFn.java:408)<br/> at user$eval29$fn__50.doInvoke(NO_SOURCE_FILE:1)<br/> at clojure.lang.RestFn.applyTo(RestFn.java:137)<br/> at clojure.core$apply.invoke(core.clj:617)<br/> at user$eval29.invoke(NO_SOURCE_FILE:1)<br/> at clojure.lang.Compiler.eval(Compiler.java:6618)<br/> at clojure.lang.Compiler.eval(Compiler.java:6608)<br/> at clojure.lang.Compiler.eval(Compiler.java:6581)<br/> at clojure.core$eval.invoke(core.clj:2852)<br/> at clojure.main$eval_opt.invoke(main.clj:300)<br/> at clojure.main$initialize.invoke(main.clj:319)<br/> at clojure.main$null_opt.invoke(main.clj:354)<br/> at clojure.main$main$fn__6676.invoke(main.clj:432)<br/> at clojure.main$main.doInvoke(main.clj:429)<br/> at clojure.lang.RestFn.invoke(RestFn.java:421)<br/> at clojure.lang.Var.invoke(Var.java:419)<br/> at clojure.lang.AFn.applyToHelper(AFn.java:163)<br/> at clojure.lang.Var.applyTo(Var.java:532)<br/> at clojure.main.main(main.java:37)<br/> Caused by: java.lang.IllegalArgumentException: No single method: _id of interface: clojure.core.logic.IConstraintId found for function: -id of protocol: IConstraintId<br/> at clojure.lang.Compiler$InvokeExpr.&lt;init&gt;(Compiler.java:3422)<br/> at clojure.lang.Compiler$InvokeExpr.parse(Compiler.java:3629)<br/> at clojure.lang.Compiler.analyzeSeq(Compiler.java:6561)<br/> ... 99 more<br/> Subprocess failed</p> java version &quot;1.6.0_26&quot; <br/> Java(TM) SE Runtime Environment (build 1.6.0_26-b03) <br/> Java HotSpot(TM) Server VM (build 20.1-b02, mixed mode) <br/> <br/> Ubtunu 12.04 - 32 bit LOGIC-105

java.lang.IllegalArgumentException: No single method: _id of interface: clojure.core.logic.IConstraintId found for function: -id of protocol: IConstraintId

Defect Major Resolved Declined David Nolen Timo Westkämper Thu, 17 Jan 2013 15:15:50 -0600 Fri, 18 Jan 2013 09:53:51 -0600 Fri, 18 Jan 2013 09:53:51 -0600 0 0 <p>Can you try again with master? What do you mean by "compiling" the project? Are you AOT'ing your project?</p> <p>Still the same issue. I am running 'lein midje'.</p> <p>So you are testing with Midje? Is there anyway to confirm that this issue exists if you take Midje out of the picture? Can you run the tests manually via the REPL?</p> <p>The error is very puzzling since I've tested the inclusion of core.logic 0.8.0-rc2 with some other projects.</p> <p>Here is the new stacktrace </p> <p>Exception in thread "main" java.lang.IllegalArgumentException: No single method: _id of interface: clojure.core.logic.IConstraintId found for function: -id of protocol: IConstraintId, compiling:(clojure/core/logic.clj:169:5)<br/> at clojure.lang.Compiler.analyzeSeq(Compiler.java:6566)<br/> at clojure.lang.Compiler.analyze(Compiler.java:6360)<br/> at clojure.lang.Compiler.analyze(Compiler.java:6321)<br/> at clojure.lang.Compiler$IfExpr$Parser.parse(Compiler.java:2668)<br/> at clojure.lang.Compiler.analyzeSeq(Compiler.java:6559)<br/> at clojure.lang.Compiler.analyze(Compiler.java:6360)<br/> at clojure.lang.Compiler.analyze(Compiler.java:6321)<br/> at clojure.lang.Compiler$BodyExpr$Parser.parse(Compiler.java:5707)<br/> at clojure.lang.Compiler$FnMethod.parse(Compiler.java:5138)<br/> at clojure.lang.Compiler$FnExpr.parse(Compiler.java:3750)<br/> at clojure.lang.Compiler.analyzeSeq(Compiler.java:6557)<br/> at clojure.lang.Compiler.analyze(Compiler.java:6360)<br/> at clojure.lang.Compiler.analyzeSeq(Compiler.java:6547)<br/> at clojure.lang.Compiler.analyze(Compiler.java:6360)<br/> at clojure.lang.Compiler.access$100(Compiler.java:37)<br/> at clojure.lang.Compiler$DefExpr$Parser.parse(Compiler.java:528)<br/> at clojure.lang.Compiler.analyzeSeq(Compiler.java:6559)<br/> at clojure.lang.Compiler.analyze(Compiler.java:6360)<br/> at clojure.lang.Compiler.analyze(Compiler.java:6321)<br/> at clojure.lang.Compiler.eval(Compiler.java:6622)<br/> at clojure.lang.Compiler.load(Compiler.java:7062)<br/> at clojure.lang.RT.loadResourceScript(RT.java:361)<br/> at clojure.lang.RT.loadResourceScript(RT.java:352)<br/> at clojure.lang.RT.load(RT.java:431)<br/> at clojure.lang.RT.load(RT.java:402)<br/> at clojure.core$load$fn__5039.invoke(core.clj:5520)<br/> at clojure.core$load.doInvoke(core.clj:5519)<br/> at clojure.lang.RestFn.invoke(RestFn.java:408)<br/> at clojure.core$load_one.invoke(core.clj:5326)<br/> at clojure.core$load_lib$fn__4988.invoke(core.clj:5365)<br/> at clojure.core$load_lib.doInvoke(core.clj:5364)<br/> at clojure.lang.RestFn.applyTo(RestFn.java:142)<br/> at clojure.core$apply.invoke(core.clj:619)<br/> at clojure.core$load_libs.doInvoke(core.clj:5403)<br/> at clojure.lang.RestFn.applyTo(RestFn.java:137)<br/> at clojure.core$apply.invoke(core.clj:621)<br/> at clojure.core$use.doInvoke(core.clj:5497)<br/> at clojure.lang.RestFn.invoke(RestFn.java:421)<br/> at symbol.types$eval75$loading_<em>4931</em><em>auto</em>___76.invoke(types.clj:9)<br/> at symbol.types$eval75.invoke(types.clj:9)<br/> at clojure.lang.Compiler.eval(Compiler.java:6618)<br/> at clojure.lang.Compiler.eval(Compiler.java:6607)<br/> at clojure.lang.Compiler.load(Compiler.java:7062)<br/> at clojure.lang.RT.loadResourceScript(RT.java:361)<br/> at clojure.lang.RT.loadResourceScript(RT.java:352)<br/> at clojure.lang.RT.load(RT.java:431)<br/> at clojure.lang.RT.load(RT.java:402)<br/> at clojure.core$load$fn__5039.invoke(core.clj:5520)<br/> at clojure.core$load.doInvoke(core.clj:5519)<br/> at clojure.lang.RestFn.invoke(RestFn.java:408)<br/> at clojure.core$load_one.invoke(core.clj:5326)<br/> at clojure.core$load_lib$fn__4988.invoke(core.clj:5365)<br/> at clojure.core$load_lib.doInvoke(core.clj:5364)<br/> at clojure.lang.RestFn.applyTo(RestFn.java:142)<br/> at clojure.core$apply.invoke(core.clj:619)<br/> at clojure.core$load_libs.doInvoke(core.clj:5403)<br/> at clojure.lang.RestFn.applyTo(RestFn.java:137)<br/> at clojure.core$apply.invoke(core.clj:619)<br/> at clojure.core$require.doInvoke(core.clj:5486)<br/> at clojure.lang.RestFn.invoke(RestFn.java:408)<br/> at symbol.includes_test$eval69$loading_<em>4931</em><em>auto</em>___70.invoke(includes_test.clj:9)<br/> at symbol.includes_test$eval69.invoke(includes_test.clj:9)<br/> at clojure.lang.Compiler.eval(Compiler.java:6618)<br/> at clojure.lang.Compiler.eval(Compiler.java:6607)<br/> at clojure.lang.Compiler.load(Compiler.java:7062)<br/> at clojure.lang.RT.loadResourceScript(RT.java:361)<br/> at clojure.lang.RT.loadResourceScript(RT.java:352)<br/> at clojure.lang.RT.load(RT.java:431)<br/> at clojure.lang.RT.load(RT.java:402)<br/> at clojure.core$load$fn__5039.invoke(core.clj:5520)<br/> at clojure.core$load.doInvoke(core.clj:5519)<br/> at clojure.lang.RestFn.invoke(RestFn.java:408)<br/> at clojure.core$load_one.invoke(core.clj:5326)<br/> at clojure.core$load_lib$fn__4988.invoke(core.clj:5365)<br/> at clojure.core$load_lib.doInvoke(core.clj:5364)<br/> at clojure.lang.RestFn.applyTo(RestFn.java:142)<br/> at clojure.core$apply.invoke(core.clj:619)<br/> at clojure.core$load_libs.doInvoke(core.clj:5403)<br/> at clojure.lang.RestFn.applyTo(RestFn.java:137)<br/> at clojure.core$apply.invoke(core.clj:619)<br/> at clojure.core$require.doInvoke(core.clj:5486)<br/> at clojure.lang.RestFn.invoke(RestFn.java:408)<br/> at user$eval29$fn__50.doInvoke(NO_SOURCE_FILE:1)<br/> at clojure.lang.RestFn.applyTo(RestFn.java:137)<br/> at clojure.core$apply.invoke(core.clj:617)<br/> at user$eval29.invoke(NO_SOURCE_FILE:1)<br/> at clojure.lang.Compiler.eval(Compiler.java:6618)<br/> at clojure.lang.Compiler.eval(Compiler.java:6608)<br/> at clojure.lang.Compiler.eval(Compiler.java:6581)<br/> at clojure.core$eval.invoke(core.clj:2852)<br/> at clojure.main$eval_opt.invoke(main.clj:300)<br/> at clojure.main$initialize.invoke(main.clj:319)<br/> at clojure.main$null_opt.invoke(main.clj:354)<br/> at clojure.main$main$fn__6676.invoke(main.clj:432)<br/> at clojure.main$main.doInvoke(main.clj:429)<br/> at clojure.lang.RestFn.invoke(RestFn.java:421)<br/> at clojure.lang.Var.invoke(Var.java:419)<br/> at clojure.lang.AFn.applyToHelper(AFn.java:163)<br/> at clojure.lang.Var.applyTo(Var.java:532)<br/> at clojure.main.main(main.java:37)<br/> Caused by: java.lang.IllegalArgumentException: No single method: _id of interface: clojure.core.logic.IConstraintId found for function: -id of protocol: IConstraintId<br/> at clojure.lang.Compiler$InvokeExpr.&lt;init&gt;(Compiler.java:3422)<br/> at clojure.lang.Compiler$InvokeExpr.parse(Compiler.java:3629)<br/> at clojure.lang.Compiler.analyzeSeq(Compiler.java:6561)<br/> ... 99 more<br/> Subprocess failed</p> <p>Yes, same via repl</p> <p>tiwe@tiwe:~/work/workspace/symbol$ lein repl<br/> nREPL server started on port 55271<br/> REPL-y 0.1.0-beta10<br/> Clojure 1.5.0-RC2<br/> Exit: Control+D or (exit) or (quit)<br/> Commands: (user/help)<br/> Docs: (doc function-name-here)<br/> (find-doc "part-of-name-here")<br/> Source: (source function-name-here)<br/> (user/sourcery function-name-here)<br/> Javadoc: (javadoc java-object-or-class-here)<br/> Examples from clojuredocs.org: <span class="error">&#91;clojuredocs or cdoc&#93;</span><br/> (user/clojuredocs name-here)<br/> (user/clojuredocs "ns-here" "name-here")<br/> CompilerException java.lang.IllegalArgumentException: No single method: _id of interface: clojure.core.logic.IConstraintId found for function: -id of protocol: IConstraintId, compiling:(clojure/core/logic.clj:169:5) <br/> reply.eval-modes.nrepl=&gt; </p> <p>OK, I just cloned your repo and switched the dependencies to Clojure 1.5.0-RC2 and core.logic 0.8.0-rc2. I can run lein repl without a hitch. While it's a bit obnoxious have you tried blowing away your maven cache and trying again? Perhaps there are other changes that aren't in your master branch on GitHub?</p> <p>Yes, sorry, I forgot to push some changes. Could you pull and try again?</p> <p>I still cannot reproduce after pulling from master. I note that your repl prompt looks a bit different from mine however - "reply.eval-modes.nrepl=&gt;", whereas I have "symbol.main=&gt;"</p> <p>It looks like this was caused by a too old version of clojure on my machine. I didn't realize lein uses the clojure version I have installed on Ubuntu for compilation instead of the version mentioned in project.clj.</p> <p>Thanks for the update, closing this one!</p> Global Rank