News just in: Dotty's syntax has changed: you now need to specify type parameters on the cases. "Too much magic, otherwise", says @odersky.https://twitter.com/propensive/status/864941056600813568 …
-
Like so? enum Stack[+T] { case Empty[Nothing] case Push[T](pop: Stack[T], peek: T) }
I'm not sure the `[Nothing]` is required. The change isn't merged yet, so I can't test it...
-
-
Wasn't the automatic Nothing part the most perceivably magic part?
-
Sort of... Sort of not. If you didn't make the type parameter covariant, dotc would refuse to infer it, with a clear message.
- Show replies
New conversation -
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.