|
Scala example source code file (bug1292.scala)
The Scala bug1292.scala source codetrait Foo[T <: Foo[T, Enum], Enum <: Enumeration] { type StV = Enum#Value type Meta = MegaFoo[T, Enum] type Slog <: Enumeration def getSingleton: Meta } trait MegaFoo[T <: Foo[T, Enum], Enum <: Enumeration] extends Foo[T, Enum] { def doSomething(what: T, misc: StV, dog: Meta#Event) = None abstract class Event object Event def stateEnumeration: Slog def se2: Enum } object E extends Enumeration { val A = Value val B = Value } class RFoo extends Foo[RFoo, E.type] { def getSingleton = MegaRFoo type Slog = E.type } object MegaRFoo extends RFoo with MegaFoo[RFoo, E.type] { def stateEnumeration = E def se2 = E } Other Scala examples (source code examples)Here is a short list of links related to this Scala bug1292.scala source code file: |
... this post is sponsored by my books ... | |
#1 New Release! |
FP Best Seller |
Copyright 1998-2024 Alvin Alexander, alvinalexander.com
All Rights Reserved.
A percentage of advertising revenue from
pages under the /java/jwarehouse
URI on this website is
paid back to open source projects.