Cleanup

Author: nicolasstucki

tests/run/fully-abstract-interface.scala

@@ -1,5 +1,4 @@
 import scala.reflect.ClassTag
-import scala.tasty.FlagSet
 
 object Test {
   def main(args: Array[String]): Unit = {

tests/run/fully-abstract-nat.check

@@ -1,13 +1,13 @@
 CaseClassImplementation
-underlying rep: Z()
+underlying rep: Z
 test1 OK
 test2 OK
 
-underlying rep: S(S(S(Z())))
+underlying rep: S(S(S(Z)))
 test3 OK
-Succ(S(S(Z()))) = 3
+Succ(S(S(Z))) = 3
 test4 OK
-Succ(S(S(Z()))) = 3
+Succ(S(S(Z))) = 3
 
 IntImplementation
 underlying rep: 0

tests/run/fully-abstract-nat.scala

@@ -1,5 +1,4 @@
 import scala.reflect.ClassTag
-import scala.tasty.FlagSet
 
 object Test {
   def main(args: Array[String]): Unit = {
@@ -119,7 +118,7 @@ abstract class Numbers {
 object CaseClassImplementation extends Numbers {
 
   sealed trait N
-  final case class Z() extends N
+  final object Z extends N { override def toString: String = "Z" }
   final case class S(n: N) extends N
 
   // === Nat ==========================================
@@ -138,12 +137,12 @@ object CaseClassImplementation extends Numbers {
 
   // --- Zero ----------------------------------------
 
-  type Zero = Z
+  type Zero = Z.type
 
   def zeroClassTag: ClassTag[Zero] = implicitly
 
   val Zero: ZeroExtractor = new ZeroExtractor {
-    def apply(): Zero = new Z()
+    def apply(): Zero = Z
     def unapply(zero: Zero): Boolean = true // checked by class tag before calling the unapply
   }