Skip to content

Dotty error codes with single quotes highlight when not needed #52

Closed
@ekrich

Description

@ekrich

minimized code

[error] -- [E053] Reference Error: /Users/eric/workspace/sconfig/sconfig/shared/src/main/scala/org/ekrich/config/impl/SimpleConfig.scala:719:19 
[error] 719 |  def getEnum[T <: Enum[T]](enumClass: Class[T], path: String): T = {
[error]     |                   ^^^^^^^
[error]     |                   Enum does not take type parameters
[error] -- [E053] Reference Error: /Users/eric/workspace/sconfig/sconfig/shared/src/main/scala/org/ekrich/config/impl/SimpleConfig.scala:841:32 
[error] 841 |  private def getEnumValue[T <: Enum[T]](path: String,
[error]     |                                ^^^^^^^
[error]     |                                Enum does not take type parameters
[error] -- [E007] Type Mismatch Error: /Users/eric/workspace/sconfig/sconfig/shared/src/main/scala/org/ekrich/config/impl/SimpleConfig.scala:845:21 
[error] 845 |    try Enum.valueOf(enumClass, enumName)
[error]     |                     ^^^^^^^^^
[error]     |   Found:    Class[T](enumClass)
[error]     |   Required: Class[T']
[error]     |   
[error]     |   where:    T  is a type in method getEnumValue with bounds <: Enum
[error]     |             T' is a type variable with constraint <: Enum[LazyRef(T)]
[error] -- [E008] Member Not Found Error: /Users/eric/workspace/sconfig/sconfig/shared/src/main/scala/org/ekrich/config/impl/SimpleConfig.scala:851:37 
[error] 851 |          enumNames.add(enumConstant.name)
[error]     |                        ^^^^^^^^^^^^^^^^^
[error]     |      value name is not a member of T
[error]     |      
[error]     |      where:    T is a type in method getEnumValue with bounds <: Enum
[error] -- [E053] Reference Error: /Users/eric/workspace/sconfig/sconfig/shared/src/main/scala/org/ekrich/config/impl/SimpleConfig.scala:829:23 
[error] 829 |  def getEnumList[T <: Enum[T]](enumClass: Class[T],
[error]     |                       ^^^^^^^
[error]     |                       Enum does not take type parameters
[error] -- Error: /Users/eric/workspace/sconfig/sconfig/shared/src/main/scala/org/ekrich/config/impl/SimpleConfigObject.scala:22:37 

Screenshot 2019-10-03 at 14 35 11

expectation

When wrapping Scala errors surrounded by triple ticks and Scala language, Dotty errors like above that have embedded single ticks across multiple lines would not have extra highlighting.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions