aemoncannon/ensime — Issue #197: [server] Type Check Results Inconsistent with "Real" Compiler
Author: djspiewak
Created: 2011-10-10 14:46:18+00:00
State: open

See project GLL Combinators (https://github.com/djspiewak/gll-combinators). This is a standard SBT build, so it should be easy enough to replicate. I'm using the following .ensime file:

```
(:project-name "gll-combinators"
:use-sbt t)
```

The project builds without errors using SBT (and Buildr, for that matter). However, ENSIME gives me several type errors:

```
[] type checking: RegexUtils.scala
Writing: 000154(:scala-notes (:is-full nil :notes ((:severity error :msg "type mismatch; found : edu.uwm.cs.gll.RegexUtils.Parser[edu.uwm.cs.gll.RegexUtils.Token] required: edu.uwm.cs.gll.RegexUtils.Parser[?]" :beg 748 :end 751 :line 33 :col 13 :file "/Users/daniel/Development/Scala/gll-combinators/src/main/scala/edu/uwm/cs/gll/RegexUtils.scala"))))
[] type checking: TerminalSpecs.scala
[] type checking: CompoundSpecs.scala
Writing: 0001bb(:scala-notes (:is-full nil :notes ((:severity error :msg "type mismatch; found : RegexParsers.this.RegexParser required: RegexParsers.this.Parser[?] Note: implicit method funRegexSyntax is not applicable here because it comes after the application point and it lacks an explicit result type" :beg 1344 :end 1352 :line 41 :col 64 :file "/Users/daniel/Development/Scala/gll-combinators/src/main/scala/edu/uwm/cs/gll/RegexParsers.scala"))))
Writing: 000120(:scala-notes (:is-full nil :notes ((:severity error :msg "type mismatch; found : java.lang.String(\"+\") required: CompoundSpecs.MathParser.Parser[?]" :beg 4570 :end 4573 :line 184 :col 20 :file "/Users/daniel/Development/Scala/gll-combinators/src/test/scala/CompoundSpecs.scala"))))
[] type checking: ComplementarySet.scala
[] type checking: tilde.scala
[] type checking: Global.scala
[] type checking: RegexParsers.scala
Writing: 000105(:scala-notes (:is-full nil :notes ((:severity error :msg "value isComplement is not a member of Set[Option[Char]]" :beg 2679 :end 2699 :line 81 :col 19 :file "/Users/daniel/Development/Scala/gll-combinators/src/main/scala/edu/uwm/cs/gll/RegexParsers.scala"))))
Writing: 00012c(:scala-notes (:is-full nil :notes ((:severity error :msg "type mismatch; found : RegexParsers.this.RegexParser required: RegexParsers.this.Parser[?]" :beg 2018 :end 2018 :line 67 :col 63 :file "/Users/daniel/Development/Scala/gll-combinators/src/main/scala/edu/uwm/cs/gll/RegexParsers.scala"))))
Writing: 00017c(:scala-notes (:is-full nil :notes ((:severity error :msg "illegal inheritance; self-type RegexParsers.this.RegexParser does not conform to RegexParsers.this.TerminalParser[String]'s selftype RegexParsers.this.TerminalParser[String]" :beg 2361 :end 2383 :line 73 :col 52 :file "/Users/daniel/Development/Scala/gll-combinators/src/main/scala/edu/uwm/cs/gll/RegexParsers.scala"))))
[] type checking: RegexUtilsSpecs.scala
[] type checking: ArithmeticSpecs.scala
Writing: 0000f8(:scala-notes (:is-full nil :notes ((:severity error :msg "value ^^ is not a member of scala.util.matching.Regex" :beg 5919 :end 5937 :line 207 :col 29 :file "/Users/daniel/Development/Scala/gll-combinators/src/test/scala/ArithmeticSpecs.scala"))))
[] type checking: LineStreamSpecs.scala
[] type checking: SetSyntax.scala
[] type checking: RegexSpecs.scala
[] type checking: package.scala
Writing: 000113(:scala-notes (:is-full nil :notes ((:severity error :msg "type mismatch; found : scala.util.matching.Regex required: RegexSpecs.Parser[String]" :beg 333 :end 361 :line 15 :col 60 :file "/Users/daniel/Development/Scala/gll-combinators/src/test/scala/RegexSpecs.scala"))))
[] type checking: FilterSpecs.scala
Writing: 0000f3(:scala-notes (:is-full nil :notes ((:severity error :msg "value ^^ is not a member of scala.util.matching.Regex" :beg 1927 :end 1945 :line 76 :col 29 :file "/Users/daniel/Development/Scala/gll-combinators/src/test/scala/FilterSpecs.scala"))))
```

Could this be a presentation compiler issue?