typelevel/scala

Issues

• The future of Typelevel Scala

  #186 opened 4 years ago by milessabin
  18

• Release for 2.12.8

  #182 opened 6 years ago by clhodapp
  3

• Using type aliases with `Symbol` literals across projects crashes compiler.

  #181 opened 6 years ago by lJoublanc
  1

• TLS 4 breaks sbt console somehow

  #175 opened 6 years ago by tpolecat
  11

• Release for 2.12.5

  #180 opened 7 years ago
  2

• Inconsistent behaviour when parameterising singleton type

  #179 opened 7 years ago by tindzk
  0

• Typelevel Scala 2.12.4 crashes while the same code compiles on Lightbend Scala 2.12.4 and Typelevel Scala 2.11.11

  #176 opened 7 years ago by Atry
  2

• Error of "Trying to access the this of another class: tree.symbol" in typelevel scala but not in lightbend scala

  #178 opened 7 years ago by hamidr
  0

• both org.scala-lang and org.typelevel versions of scala-library are sometimes pulled in

  #166 opened 7 years ago by tpolecat
  21

• Scalac hanging (during the typer phase)

  #174 opened 7 years ago by jtownson
  5

• ValueOf interferes with implicit resolution of covariant typeclasses of singleton types

  #172 opened 7 years ago by sir-wabbit
  2

• Syntax issues with negative literals and infix types

  #157 opened 7 years ago by soronpo
  13

• Singleton default parameters

  #153 opened 7 years ago by tindzk
  4

• Implicit resolution (with literal types) missed in type aliasing.

  #162 opened 7 years ago by soronpo
  14

• Unexpected widening of singleton value operations

  #160 opened 7 years ago by soronpo
  1

• Scala compiler does not infer literal types for some complex pure expressions

  #141 opened 7 years ago by Atry
  10

• Scala 2.12.4 release

  #170 opened 7 years ago by timothyklim
  1

• any.type does not convert to `_ <: any.type` when `-Yliteral-types` is on

  #139 opened 7 years ago by Atry
  6

• Literal type should match Singleton

  #152 opened 7 years ago by Atry
  2

• valueOf in scala.js

  #164 opened 7 years ago by cquiroz
  3

• Weird literal types class fields narrowness

  #165 opened 7 years ago by soronpo
  2

• Remove "-Yliteral-types" flag for TLS for Scala 2.13 or even sooner

  #161 opened 7 years ago by soronpo
  2

• Cannot print wildcard singleton type

  #156 opened 7 years ago by tindzk
  3

• Cannot infer literal types in a container

  #151 opened 7 years ago by Atry
  4

• Relaxing `ValueOf[T]` to accept non-singleton values

  #145 opened 7 years ago by soronpo
  3

• ValueOf for case classes

  #127 opened 7 years ago by drdozer
  22

• [minor enhancement] Shorthand syntax for lambdas with named arguments

  #169 opened 7 years ago by pshirshov
  1

• [minor enhancement] Shorthand syntax for lambdas with named arguments

  #168 opened 7 years ago by pshirshov
  0

• Problems with -Ykind-polymorphism

  #167 opened 7 years ago by nigredo-tori
  1

• clean syntax for the _root_

  #144 opened 7 years ago by fommil
  1

• allow basic assignment as the preamble to a for comprehension

  #143 opened 7 years ago by fommil
  5

• Type arguments on patterns

  #163 opened 7 years ago by kamilkloch
  3

• compiler error with -Yinduction-heuristics

  #158 opened 7 years ago by wedens
  2

• Runtime NoClassDefFoundError when casting to subtype of AnyKind

  #159 opened 7 years ago by Baccata
  0

• Singleton type not inferred correctly

  #154 opened 7 years ago by tindzk
  4

• Singleton types for function return values

  #155 opened 7 years ago by tindzk
  1

• Switch projects which use CrossVersion.full/"org.scala-lang" to CrossVersion.patch/scalaOrganization.value

  #135 opened 8 years ago by milessabin
  30

• False positive with strict-unsealed-patmat and Java enum (2.11)

  #149 opened 7 years ago by durban
  0

• false positive "match may not be exhaustive" warning

  #148 opened 7 years ago by xuwei-k
  0

• induction heuristics incompatible with sbt's resolution cache

  #147 opened 7 years ago by tek
  0

• Report Typelevel Scala version at console welcome screen

  #136 opened 7 years ago by soronpo
  9

• Test for `<: Singleton` cause spurious tightening of type var bounds

  #146 opened 7 years ago by milessabin
  1

• A `final val` with literal type should be treated as a constant value

  #140 opened 7 years ago by Atry
  2

• Issue with type inference when pattern matching against GADT that contains higher-kinded parameter.

  #137 opened 8 years ago by Baccata
  1

• Prepare 2.12.1 release

  #129 opened 8 years ago by milessabin
  13

• Type mismatch required: <refinement>.type

  #130 opened 8 years ago by soronpo
  1

• valueOf[<type alias>] error

  #128 opened 8 years ago by soronpo
  6

• Release 2.12.1

  #126 opened 8 years ago by jedesah
  3

• Gauge interest in and fixes/features wanted for TLS for 2.10.x

  #122 opened 8 years ago by milessabin
  31

• Jekyll artefacts visible in README.md

  #121 opened 8 years ago by milessabin
  8