I had a go at modifying the Scala 3 type system to support inline arithmetic in singleton literals. The compiler will now typecheck this: import compiletime._ the[(2 + 2)*2 =:= 5 + 3] https://github.com/propensive/dotty/tree/typelevel-singleton-literal-type-arithmetic …
I actually dared to try modifying Dotty! I never tried to change NSC. Though I'm not sure how fair that is... the bar was lower because I knew my change might actually stand some slim chance of being accepted into Scala 3, when it wouldn't into Scala 2.
-
-
Nevertheless, the change was straightforward and I was able to find my way around by grepping for things I expected to find.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.