+7
-5
lines changedFilter options
+7
-5
lines changed Original file line number Diff line number Diff line change
@@ -1878,16 +1878,18 @@ class JsonCodecMakerSpec extends VerifyingSpec {
1878 1878 1879 1879
sealed trait GADT2[A] extends Product with Serializable
1880 1880 1881 -
case class IsDir(path: String) extends GADT2[_root_.scala.Boolean]
1881 +
object GADT2 {
1882 +
case class IsDir(path: String) extends GADT2[_root_.scala.Boolean]
1882 1883 1883 -
case class Exists(path: String) extends GADT2[_root_.scala.Boolean]
1884 +
case class Exists(path: String) extends GADT2[_root_.scala.Boolean]
1884 1885 1885 -
case class ReadBytes(path: String) extends GADT2[_root_.scala.Array[_root_.scala.Byte]]
1886 +
case class ReadBytes(path: String) extends GADT2[_root_.scala.Array[_root_.scala.Byte]]
1886 1887 1887 -
case class CopyOver(src: Seq[_root_.scala.Byte], path: String) extends GADT2[Int]
1888 +
case class CopyOver(src: Seq[_root_.scala.Byte], path: String) extends GADT2[Int]
1889 +
}
1888 1890 1889 1891
verifySerDeser(make[Array[GADT2[_]]],
1890 -
_root_.scala.Array[GADT2[_]](Exists("WWW"), ReadBytes("QQQ"), CopyOver("AAA".getBytes.toSeq, "OOO")),
1892 +
_root_.scala.Array[GADT2[_]](GADT2.Exists("WWW"), GADT2.ReadBytes("QQQ"), GADT2.CopyOver("AAA".getBytes.toSeq, "OOO")),
1891 1893
"""[{"type":"Exists","path":"WWW"},{"type":"ReadBytes","path":"QQQ"},{"type":"CopyOver","src":[65,65,65],"path":"OOO"}]""")
1892 1894
}
1893 1895
"serialize and deserialize higher-kinded types" in {
You can’t perform that action at this time.
RetroSearch is an open source project built by @garambo | Open a GitHub Issue
Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo
HTML:
3.2
| Encoding:
UTF-8
| Version:
0.7.4