|
Scala example source code file (bug807.scala)
The Scala bug807.scala source codetrait Matcher { trait Link { type Self <: Link; type Match <: Link { type Match = Link.this.Self; } } trait HasLinks { def link(b : Boolean) : Link = null; } } trait BraceMatcher extends Matcher { trait BracePair { trait BraceLink extends Link; trait OpenLink extends BraceLink { type Self = OpenLink; type Match = CloseLink; } trait CloseLink extends BraceLink { type Self = CloseLink; type Match = OpenLink; } } } trait IfElseMatcher extends BraceMatcher { trait IfElseLink extends Link; trait IfLink extends IfElseLink { type Self = IfLink; type Match = ElseImpl; } trait ElseImpl extends IfElseLink with HasLinks { type Self = ElseImpl; type Match = IfLink; override def link(b : Boolean) = this; } val parenPair : BracePair; trait IfWithParenImpl extends HasLinks { object ifLink extends IfLink; object openParen extends parenPair.OpenLink; override def link(b : Boolean): Link = b match { case true => ifLink; case false => openParen; } } } Other Scala examples (source code examples)Here is a short list of links related to this Scala bug807.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.