diff options
| author | Martin Odersky <odersky@gmail.com> | 2017-01-31 17:15:13 +1100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2017-02-08 19:35:58 +1100 |
| commit | 56d32fa7bd548870c8382824fe748c5c5fde1d27 (patch) | |
| tree | 1b8740978f51f75ba7d6dc25e00a17734e189437 /tests/run/generic/SearchResult.scala | |
| parent | fe09e0d8fe68e0b48d5e864e1de12ae5ee86077d (diff) | |
| download | dotty-56d32fa7bd548870c8382824fe748c5c5fde1d27.tar.gz dotty-56d32fa7bd548870c8382824fe748c5c5fde1d27.tar.bz2 dotty-56d32fa7bd548870c8382824fe748c5c5fde1d27.zip | |
Add to test case
Diffstat (limited to 'tests/run/generic/SearchResult.scala')
| -rw-r--r-- | tests/run/generic/SearchResult.scala | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/tests/run/generic/SearchResult.scala b/tests/run/generic/SearchResult.scala index be8ebd15d..1c86d1b4f 100644 --- a/tests/run/generic/SearchResult.scala +++ b/tests/run/generic/SearchResult.scala @@ -11,7 +11,7 @@ import Shapes._ */ sealed trait SearchResult extends Enum -object SearchResult extends EnumValues[SearchResult](2) { +object SearchResult extends EnumValues[SearchResult](3) { private def $new(tag: Int, name: String) = new SearchResult { def enumTag = tag @@ -46,9 +46,10 @@ object SearchResult extends EnumValues[SearchResult](2) { } } - implicit def SearchResultShape: - SearchResult `shaped` Sum[Success, Sum[Ambiguous, EnumValue[SearchResult]]] = - new (SearchResult `shaped` Sum[Success, Sum[Ambiguous, EnumValue[SearchResult]]]) { + type Shape = Sum[Success, Sum[Ambiguous, EnumValue[SearchResult]]] + + implicit def SearchResultShape: SearchResult `unfolds` Shape = + new (SearchResult `shaped` Shape) { def toShape(x: SearchResult) = x match { case x: Success => Fst(x) case x: Ambiguous => Snd(Fst(x)) |