scala-supertagged

scala-supertagged copied to clipboard

Are there any plans to migrate the library to scala 3? It looks like opaque types could simplify some internals of the library.

LMnet

Will you create an Non RC-version for this very cool tagging library?

1

borissmidt

Confusion about Newtype vs NewType

1

Hi, First of all thanks for this library -- I really like usage without annotations (I'm a bit allergic to them :D). I have small suggestion for improving usability a...

mpurins-nc

Specifically: - https://github.com/Rudogma/scala-supertagged/blob/master/shared/src/test/scala/supertaggedtests/misc/ShowMeByteCode.scala - https://github.com/Rudogma/scala-supertagged/blob/master/shared/src/test/scala/supertaggedtests/misc/ShowMeByteCode.javap.txt

morgen-peschke

Make NewType and Extractor irrefutable extractors

1

TL;DR: This way they won't disable exhaustiveness checking. The documentation for irrefutable extractors is pretty terse in the [2.12 spec](https://www.scala-lang.org/files/archive/spec/2.12/08-pattern-matching.html#irrefutable-patterns), but the use of `Some` explicitly called out in the...

morgen-peschke