Skip to content
Snippets Groups Projects
Normal view Permalink
gearbox.mmt.err 25.8 KiB
Newer Older
  • Learn to ignore specific revisions
    • ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    1 
    <errors>
    ComFreek's avatar
    rebuild  
    ComFreek committed
    2 
    <error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid unit: using default value to solve ⊦∃![m]m^2 ≐((πl p2)-πl p1)^2 -((πr p2)-πr p1)^2 " level="1">
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    3 
      <stacktrace>
    ComFreek's avatar
    rebuild  
    ComFreek committed
    4 5 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12(RuleBasedChecker.scala:88)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12$adapted(RuleBasedChecker.scala:85)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    6 
        <element>scala.collection.immutable.List.foreach(List.scala:333)</element>
    ComFreek's avatar
    rebuild  
    ComFreek committed
    7 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:85)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    8 9 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    10 
        <element>scala.Option.foreach(Option.scala:437)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    11 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    12 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    13 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    14 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    15 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    16 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:695)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    17 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    18 19 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:775)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.scala:18)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    20 21 22 
        <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    23 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:775)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    24 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    25 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    26 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.scala:18)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    27 28 29 30 31 
        <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    32 33 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    34 35 36 
        <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    37 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    38 
        <element>scala.collection.immutable.List.foreach(List.scala:333)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    39 40 41 42 43 44 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    45 
        <element>scala.collection.immutable.List.foreach(List.scala:333)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    46 47 48 49 50 51 52 
        <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
    ComFreek's avatar
    rebuild  
    ComFreek committed
    53 54 55 56 57 58 
        <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle(ActionHandling.scala:69)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle$(ActionHandling.scala:67)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.tryHandle(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine(ActionHandling.scala:64)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine$(ActionHandling.scala:57)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.tryHandleLine(Controller.scala:74)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    59 60 61 62 63 64 65 66 
        <element>FastREPLExtension.handleLine(REPL.scala:74)</element>
    <element>FastREPLExtension.$anonfun$run$3(REPL.scala:53)</element>
    <element>FastREPLExtension.$anonfun$run$3$adapted(REPL.scala:52)</element>
    <element>scala.collection.IterableOnceOps.foreach(IterableOnce.scala:563)</element>
    <element>scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:561)</element>
    <element>scala.collection.AbstractIterator.foreach(Iterator.scala:1279)</element>
    <element>FastREPLExtension.run(REPL.scala:52)</element>
    <element>FastREPL$.run(REPL.scala:44)</element>
    ComFreek's avatar
    rebuild and ocomment out non-working gearbox theories  
    ComFreek committed
    67 68 
        <element>Test.main(preamble.scala:68)</element>
    <element>FastREPL.main(REPL.scala)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    69 70 
      </stacktrace>
</error>
    ComFreek's avatar
    rebuild  
    ComFreek committed
    71 
    <error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid unit: using default value to solve ⊦y.radius≠0" level="1">
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    72 
      <stacktrace>
    ComFreek's avatar
    rebuild  
    ComFreek committed
    73 74 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12(RuleBasedChecker.scala:88)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12$adapted(RuleBasedChecker.scala:85)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    75 
        <element>scala.collection.immutable.List.foreach(List.scala:333)</element>
    ComFreek's avatar
    rebuild  
    ComFreek committed
    76 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:85)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    77 78 79 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.checkInhabitable$1(MMTStructureChecker.scala:316)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13(MMTStructureChecker.scala:325)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13$adapted(MMTStructureChecker.scala:322)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    80 
        <element>scala.Option.foreach(Option.scala:437)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    81 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:322)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    82 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    83 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    84 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    85 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    86 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:695)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    87 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    88 89 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:775)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.scala:18)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    90 91 92 
        <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    93 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:775)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    94 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    95 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    96 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.scala:18)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    97 98 99 100 101 
        <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    102 103 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    104 105 106 
        <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    107 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    108 
        <element>scala.collection.immutable.List.foreach(List.scala:333)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    109 110 111 112 113 114 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    115 
        <element>scala.collection.immutable.List.foreach(List.scala:333)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    116 117 118 119 120 121 122 
        <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
    ComFreek's avatar
    rebuild  
    ComFreek committed
    123 124 125 126 127 128 
        <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle(ActionHandling.scala:69)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle$(ActionHandling.scala:67)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.tryHandle(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine(ActionHandling.scala:64)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine$(ActionHandling.scala:57)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.tryHandleLine(Controller.scala:74)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    129 130 131 132 133 134 135 136 
        <element>FastREPLExtension.handleLine(REPL.scala:74)</element>
    <element>FastREPLExtension.$anonfun$run$3(REPL.scala:53)</element>
    <element>FastREPLExtension.$anonfun$run$3$adapted(REPL.scala:52)</element>
    <element>scala.collection.IterableOnceOps.foreach(IterableOnce.scala:563)</element>
    <element>scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:561)</element>
    <element>scala.collection.AbstractIterator.foreach(Iterator.scala:1279)</element>
    <element>FastREPLExtension.run(REPL.scala:52)</element>
    <element>FastREPL$.run(REPL.scala:44)</element>
    ComFreek's avatar
    rebuild and ocomment out non-working gearbox theories  
    ComFreek committed
    137 138 
        <element>Test.main(preamble.scala:68)</element>
    <element>FastREPL.main(REPL.scala)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    139 140 
      </stacktrace>
</error>
    ComFreek's avatar
    rebuild  
    ComFreek committed
    141 
    <error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid unit: using default value to solve ⊦x.radius≠0" level="1">
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    142 
      <stacktrace>
    ComFreek's avatar
    rebuild  
    ComFreek committed
    143 144 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12(RuleBasedChecker.scala:88)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12$adapted(RuleBasedChecker.scala:85)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    145 
        <element>scala.collection.immutable.List.foreach(List.scala:333)</element>
    ComFreek's avatar
    rebuild  
    ComFreek committed
    146 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:85)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    147 148 149 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.checkInhabitable$1(MMTStructureChecker.scala:316)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13(MMTStructureChecker.scala:325)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$13$adapted(MMTStructureChecker.scala:322)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    150 
        <element>scala.Option.foreach(Option.scala:437)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    151 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:322)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    152 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    153 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    154 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    155 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    156 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:695)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    157 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    158 159 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:775)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.scala:18)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    160 161 162 
        <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    163 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:775)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    164 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    165 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    166 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.scala:18)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    167 168 169 170 171 
        <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    172 173 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    174 175 176 
        <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    177 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    178 
        <element>scala.collection.immutable.List.foreach(List.scala:333)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    179 180 181 182 183 184 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    185 
        <element>scala.collection.immutable.List.foreach(List.scala:333)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    186 187 188 189 190 191 192 
        <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
    ComFreek's avatar
    rebuild  
    ComFreek committed
    193 194 195 196 197 198 
        <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle(ActionHandling.scala:69)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle$(ActionHandling.scala:67)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.tryHandle(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine(ActionHandling.scala:64)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine$(ActionHandling.scala:57)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.tryHandleLine(Controller.scala:74)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    199 200 201 202 203 204 205 206 
        <element>FastREPLExtension.handleLine(REPL.scala:74)</element>
    <element>FastREPLExtension.$anonfun$run$3(REPL.scala:53)</element>
    <element>FastREPLExtension.$anonfun$run$3$adapted(REPL.scala:52)</element>
    <element>scala.collection.IterableOnceOps.foreach(IterableOnce.scala:563)</element>
    <element>scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:561)</element>
    <element>scala.collection.AbstractIterator.foreach(Iterator.scala:1279)</element>
    <element>FastREPLExtension.run(REPL.scala:52)</element>
    <element>FastREPL$.run(REPL.scala:44)</element>
    ComFreek's avatar
    rebuild and ocomment out non-working gearbox theories  
    ComFreek committed
    207 208 
        <element>Test.main(preamble.scala:68)</element>
    <element>FastREPL.main(REPL.scala)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    209 210 
      </stacktrace>
</error>
    ComFreek's avatar
    rebuild  
    ComFreek committed
    211 
    <error type="info.kwarc.mmt.api.checking.RuleBasedChecker$$anon$2" shortMsg="invalid unit: using default value to solve ⊦RC.radius≠0" level="1">
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    212 
      <stacktrace>
    ComFreek's avatar
    rebuild  
    ComFreek committed
    213 214 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12(RuleBasedChecker.scala:88)</element>
    <element>info.kwarc.mmt.api.checking.RuleBasedChecker.$anonfun$apply$12$adapted(RuleBasedChecker.scala:85)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    215 
        <element>scala.collection.immutable.List.foreach(List.scala:333)</element>
    ComFreek's avatar
    rebuild  
    ComFreek committed
    216 
        <element>info.kwarc.mmt.api.checking.RuleBasedChecker.apply(RuleBasedChecker.scala:85)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    217 218 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15(MMTStructureChecker.scala:377)</element>
    <element>info.kwarc.mmt.api.checking.MMTStructureChecker.$anonfun$check$15$adapted(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    219 
        <element>scala.Option.foreach(Option.scala:437)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    220 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.check(MMTStructureChecker.scala:353)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    221 
        <element>info.kwarc.mmt.api.checking.MMTStructureChecker.applyElementBegin(MMTStructureChecker.scala:73)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    222 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter$$anon$1.onElement(Interpreter.scala:96)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    223 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.seCont(StructureParser.scala:131)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    224 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.addDeclaration$1(StructureParser.scala:501)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    225 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModuleAux(StructureParser.scala:695)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    226 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInModule(StructureParser.scala:481)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    227 228 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$readTheory$2(StructureParser.scala:775)</element>
    <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.scala:18)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    229 230 231 
        <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    232 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readTheory(StructureParser.scala:775)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    233 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.readInDocument(StructureParser.scala:420)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    234 
        <element>info.kwarc.mmt.api.parser.KeywordBasedParser.$anonfun$apply$1(StructureParser.scala:93)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    235 
        <element>scala.runtime.java8.JFunction0$mcV$sp.apply(JFunction0$mcV$sp.scala:18)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    236 237 238 239 240 
        <element>info.kwarc.mmt.api.frontend.Logger.logGroup(Log.scala:34)</element>
    <element>info.kwarc.mmt.api.frontend.Logger.logGroup$(Log.scala:31)</element>
    <element>info.kwarc.mmt.api.parser.Parser.logGroup(Parser.scala:237)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:93)</element>
    <element>info.kwarc.mmt.api.parser.KeywordBasedParser.apply(StructureParser.scala:83)</element>
    ComFreek's avatar
    fix  
    ComFreek committed
    241 242 
        <element>info.kwarc.mmt.api.checking.TwoStepInterpreter.apply(Interpreter.scala:102)</element>
    <element>info.kwarc.mmt.api.checking.Interpreter.importDocument(Interpreter.scala:53)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    243 244 245 
        <element>info.kwarc.mmt.api.archives.Importer.buildFile(Index.scala:159)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTask(BuildTarget.scala:564)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.runBuildTaskIfNeeded(BuildTarget.scala:470)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    246 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.$anonfun$addTasks$1(BuildQueue.scala:123)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    247 
        <element>scala.collection.immutable.List.foreach(List.scala:333)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    248 249 250 251 252 253 
        <element>info.kwarc.mmt.api.archives.TrivialBuildManager.addTasks(BuildQueue.scala:122)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:389)</element>
    <element>info.kwarc.mmt.api.archives.TraversingBuildTarget.build(BuildTarget.scala:383)</element>
    <element>info.kwarc.mmt.api.archives.BuildTarget.apply(BuildTarget.scala:227)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1(ArchiveAction.scala:119)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.$anonfun$buildArchive$1$adapted(ArchiveAction.scala:96)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    254 
        <element>scala.collection.immutable.List.foreach(List.scala:333)</element>
    ComFreek's avatar
    shorten label  
    ComFreek committed
    255 256 257 258 259 260 261 
        <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive(ArchiveAction.scala:96)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveActionHandling.buildArchive$(ArchiveAction.scala:95)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.buildArchive(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ArchiveBuild.apply(ArchiveAction.scala:13)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle(ActionHandling.scala:48)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.handle$(ActionHandling.scala:37)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.handle(Controller.scala:74)</element>
    ComFreek's avatar
    rebuild  
    ComFreek committed
    262 263 264 265 266 267 
        <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle(ActionHandling.scala:69)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandle$(ActionHandling.scala:67)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.tryHandle(Controller.scala:74)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine(ActionHandling.scala:64)</element>
    <element>info.kwarc.mmt.api.frontend.actions.ActionHandling.tryHandleLine$(ActionHandling.scala:57)</element>
    <element>info.kwarc.mmt.api.frontend.Controller.tryHandleLine(Controller.scala:74)</element>
    ComFreek's avatar
    rebuild using MMT 21.0.0 and Scala 2.13.4  
    ComFreek committed
    268 269 270 271 272 273 274 275 
        <element>FastREPLExtension.handleLine(REPL.scala:74)</element>
    <element>FastREPLExtension.$anonfun$run$3(REPL.scala:53)</element>
    <element>FastREPLExtension.$anonfun$run$3$adapted(REPL.scala:52)</element>
    <element>scala.collection.IterableOnceOps.foreach(IterableOnce.scala:563)</element>
    <element>scala.collection.IterableOnceOps.foreach$(IterableOnce.scala:561)</element>
    <element>scala.collection.AbstractIterator.foreach(Iterator.scala:1279)</element>
    <element>FastREPLExtension.run(REPL.scala:52)</element>
    <element>FastREPL$.run(REPL.scala:44)</element>
    ComFreek's avatar
    rebuild and ocomment out non-working gearbox theories  
    ComFreek committed
    276 277 
        <element>Test.main(preamble.scala:68)</element>
    <element>FastREPL.main(REPL.scala)</element>
    ComFreek's avatar
    add missing deps to meta-inf,remove superfluous file,rename TangensScroll to OppositeLen
    ComFreek committed
    278 279 280 
      </stacktrace>
</error>
</errors>