search

proofpeer / proofpeer-proofscript

The language of ProofPeer: ProofScript
MIT License
8 stars 0 forks source link

fooJS/compile throws errors #66

Open phlegmaticprogrammer opened 9 years ago

phlegmaticprogrammer commented 9 years ago

The command fooJS/compile throws errors know, I think the problem is that the js scalaz version has not the same support for BigInt as the java scalaz version has:

    [error] /Users/stevenobua/myrepos/proofpeer-proofscript/js/../shared/src/main/scala/proofpeer/proofscript/automation/Automation.scala:153: could not find implicit value for evidence parameter of type scalaz.Show[BigInt]
    [error]     Cord("fof(") ++ n.show ++ Cord(", unknown, ") ++ Debug.TPTPOfClause(cl) ++
    [error]                                                                        ^
    [error] /Users/stevenobua/myrepos/proofpeer-proofscript/js/../shared/src/main/scala/proofpeer/proofscript/automation/Automation.scala:210: could not find implicit value for parameter ordV: scalaz.Order[BigInt]
    [error]         implicit val kbo = KnuthBendix.kbo[BigInt,NTerm]
    [error]                                           ^
    [error] /Users/stevenobua/myrepos/proofpeer-proofscript/js/../shared/src/main/scala/proofpeer/proofscript/automation/Automation.scala:211: could not find implicit value for evidence parameter of type scalaz.Order[BigInt]
    [error]         val kernel = new Kernel[BigInt,NTerm,NTerm]
    [error]                      ^
    [error] /Users/stevenobua/myrepos/proofpeer-proofscript/js/../shared/src/main/scala/proofpeer/proofscript/automation/Automation.scala:212: could not find implicit value for evidence parameter of type scalaz.Order[BigInt]
    [error]         val factor = new Factor[BigInt,NTerm,NTerm]
    [error]                      ^
    [error] /Users/stevenobua/myrepos/proofpeer-proofscript/js/../shared/src/main/scala/proofpeer/proofscript/automation/Automation.scala:216: could not find implicit value for evidence parameter of type scalaz.Order[BigInt]
    [error]         val ithmF  = new IThmFactory[BigInt,NTerm,NTerm,BigInt,kernel.type](
    [error]                      ^
    [error] /Users/stevenobua/myrepos/proofpeer-proofscript/js/../shared/src/main/scala/proofpeer/proofscript/automation/Instances.scala:20: value ?|? is not a member of Option[proofpeer.proofscript.logic.Utils.Integer]
    [error]       (l.name ?|? r.name) |+| (l.index ?|? r.index)
    [error]                                        ^
    [error] /Users/stevenobua/myrepos/proofpeer-proofscript/js/../shared/src/main/scala/proofpeer/proofscript/automation/Instances.scala:30: value shows is not a member of Option[proofpeer.proofscript.logic.Utils.Integer]
    [error]     override def show(n: IndexedName) = n.name.shows ++ n.index.shows
    [error]                                                                 ^
    [error] /Users/stevenobua/myrepos/proofpeer-proofscript/js/../shared/src/main/scala/proofpeer/proofscript/automation/Instances.scala:68: value show is not a member of Option[proofpeer.proofscript.logic.Utils.Integer]
    [error]           name.show ++ index.show
    [error]                              ^
    [error] 8 errors found
    [error] (fooJS/compile:compileIncremental) Compilation failed
    [error] Total time: 4 s, completed 11-Aug-2015 13:58:26
    >