move CaseClass1Rep to base module

theiterators · Feb 10, 2023 · 2040325 · 2040325
1 parent c0f00fb
commit 2040325
Show file tree

Hide file tree

Showing 44 changed files with 46 additions and 44 deletions.
diff --git a/README.md b/README.md
@@ -946,7 +946,7 @@ That's the basic usage. Inside the companion object you will get methods like `f
 method `unwrap` plus an instance of `CaseClass1Rep[ISBN, String]`. A more complete example below.
 
 ```scala
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 import pl.iterators.kebs.opaque._
 
 object MyDomain {

diff --git a/akka-http/src/main/scala/pl/iterators/kebs/matchers/KebsMatchers.scala b/akka-http/src/main/scala/pl/iterators/kebs/matchers/KebsMatchers.scala
@@ -3,7 +3,7 @@ package pl.iterators.kebs.matchers
 import akka.http.scaladsl.server.{PathMatcher1, PathMatchers}
 import enumeratum.{Enum, EnumEntry}
 import pl.iterators.kebs.instances.InstanceConverter
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 import scala.language.implicitConversions
 

diff --git a/akka-http/src/main/scala/pl/iterators/kebs/unmarshallers/KebsUnmarshallers.scala b/akka-http/src/main/scala/pl/iterators/kebs/unmarshallers/KebsUnmarshallers.scala
@@ -2,7 +2,7 @@ package pl.iterators.kebs.unmarshallers
 
 import akka.http.scaladsl.unmarshalling.{FromStringUnmarshaller, Unmarshaller}
 import pl.iterators.kebs.instances.InstanceConverter
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 trait KebsUnmarshallers {
   implicit def kebsUnmarshaller[A, B](implicit rep: CaseClass1Rep[B, A]): Unmarshaller[A, B] =

diff --git a/akka-http/src/test/scala/pl/iterators/kebs/matchers/AkkaHttpMatchersTests.scala b/akka-http/src/test/scala/pl/iterators/kebs/matchers/AkkaHttpMatchersTests.scala
@@ -25,7 +25,7 @@ class AkkaHttpMatchersTests
     with URIString {
 
   test("No CaseClass1Rep implicits derived") {
-    import pl.iterators.kebs.macros.CaseClass1Rep
+    import pl.iterators.kebs.macros.base.CaseClass1Rep
 
     "implicitly[CaseClass1Rep[DayOfWeek, Int]]" shouldNot typeCheck
     "implicitly[CaseClass1Rep[Int, DayOfWeek]]" shouldNot typeCheck

diff --git a/akka-http/src/test/scala/pl/iterators/kebs/unmarshallers/AkkaHttpUnmarshallersTests.scala b/akka-http/src/test/scala/pl/iterators/kebs/unmarshallers/AkkaHttpUnmarshallersTests.scala
@@ -27,7 +27,7 @@ class AkkaHttpUnmarshallersTests
     with DayOfWeekInt {
 
   test("No CaseClass1Rep implicits derived") {
-    import pl.iterators.kebs.macros.CaseClass1Rep
+    import pl.iterators.kebs.macros.base.CaseClass1Rep
 
     "implicitly[CaseClass1Rep[URI, String]]" shouldNot typeCheck
     "implicitly[CaseClass1Rep[String, URI]]" shouldNot typeCheck

diff --git a/circe/src/main/scala/pl/iterators/kebs/circe/KebsCirce.scala b/circe/src/main/scala/pl/iterators/kebs/circe/KebsCirce.scala
@@ -3,7 +3,7 @@ package pl.iterators.kebs.circe
 import io.circe.generic.AutoDerivation
 import io.circe.{Decoder, Encoder}
 import pl.iterators.kebs.instances.InstanceConverter
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 import scala.language.experimental.macros
 import scala.util.Try

diff --git a/doobie/src/main/scala-2/pl/iterators/kebs/Kebs.scala b/doobie/src/main/scala-2/pl/iterators/kebs/Kebs.scala
@@ -2,7 +2,7 @@ package pl.iterators.kebs
 
 import doobie.Meta
 import pl.iterators.kebs.instances.InstanceConverter
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 import scala.reflect.ClassTag
 

diff --git a/doobie/src/main/scala-3/pl/iterators/kebs/Kebs.scala b/doobie/src/main/scala-3/pl/iterators/kebs/Kebs.scala
@@ -3,7 +3,7 @@ package pl.iterators.kebs
 import doobie.{Get, Put, Meta}
 import pl.iterators.kebs.enums.KebsEnums
 import pl.iterators.kebs.instances.InstanceConverter
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 import scala.reflect.ClassTag
 

diff --git a/http4s/src/main/scala-2/pl/iterators/kebs/Http4s.scala b/http4s/src/main/scala-2/pl/iterators/kebs/Http4s.scala
@@ -3,10 +3,10 @@ package pl.iterators.kebs
 import enumeratum.EnumEntry
 
 import scala.util.Try
-import pl.iterators.kebs.macros.CaseClass1Rep
 import pl.iterators.kebs.macros.enums.EnumOf
 import org.http4s._
 import pl.iterators.kebs.instances.InstanceConverter
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 import java.util.UUID
 

diff --git a/http4s/src/main/scala-3/pl/iterators/kebs/http4s/package.scala b/http4s/src/main/scala-3/pl/iterators/kebs/http4s/package.scala
@@ -2,7 +2,7 @@ package pl.iterators.kebs.http4s
 
 import scala.util.Try
 import scala.reflect.Enum
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 import pl.iterators.kebs.macros.enums.EnumOf
 import org.http4s._
 import pl.iterators.kebs.instances.InstanceConverter

diff --git a/jsonschema/src/main/scala/pl/iterators/kebs/jsonschema/KebsJsonSchema.scala b/jsonschema/src/main/scala/pl/iterators/kebs/jsonschema/KebsJsonSchema.scala
@@ -1,6 +1,6 @@
 package pl.iterators.kebs.jsonschema
 
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 trait KebsJsonSchema {
   import macros.KebsJsonSchemaMacros

diff --git a/macro-utils/src/main/scala-2.12/pl/iterators/kebs/support/FractionalSupport.scala b/macro-utils/src/main/scala-2.12/pl/iterators/kebs/support/FractionalSupport.scala
@@ -1,6 +1,6 @@
 package pl.iterators.kebs.support
 
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 trait FractionalSupport {
 

diff --git a/macro-utils/src/main/scala-2.12/pl/iterators/kebs/support/IntegralSupport.scala b/macro-utils/src/main/scala-2.12/pl/iterators/kebs/support/IntegralSupport.scala
@@ -1,6 +1,6 @@
 package pl.iterators.kebs.support
 
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 trait IntegralSupport {
 

diff --git a/macro-utils/src/main/scala-2.12/pl/iterators/kebs/support/NumericSupport.scala b/macro-utils/src/main/scala-2.12/pl/iterators/kebs/support/NumericSupport.scala
@@ -1,6 +1,6 @@
 package pl.iterators.kebs.support
 
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 trait NumericSupport {
 

diff --git a/macro-utils/src/main/scala-2.13/pl/iterators/kebs/support/FractionalSupport.scala b/macro-utils/src/main/scala-2.13/pl/iterators/kebs/support/FractionalSupport.scala
@@ -1,6 +1,6 @@
 package pl.iterators.kebs.support
 
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 trait FractionalSupport {
 

diff --git a/macro-utils/src/main/scala-2.13/pl/iterators/kebs/support/IntegralSupport.scala b/macro-utils/src/main/scala-2.13/pl/iterators/kebs/support/IntegralSupport.scala
@@ -1,6 +1,6 @@
 package pl.iterators.kebs.support
 
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 trait IntegralSupport {
 

diff --git a/macro-utils/src/main/scala-2.13/pl/iterators/kebs/support/NumericSupport.scala b/macro-utils/src/main/scala-2.13/pl/iterators/kebs/support/NumericSupport.scala
@@ -1,6 +1,6 @@
 package pl.iterators.kebs.support
 
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 trait NumericSupport {
 

diff --git a/...iterators/kebs/macros/CaseClassReps.scala → ...tors/kebs/macros/base/CaseClassReps.scala b/...iterators/kebs/macros/CaseClassReps.scala → ...tors/kebs/macros/base/CaseClassReps.scala
@@ -1,4 +1,6 @@
-package pl.iterators.kebs.macros
+package pl.iterators.kebs.macros.base
+
+import pl.iterators.kebs.macros.MacroUtils
 
 import scala.language.experimental.macros
 import scala.language.higherKinds

diff --git a/macro-utils/src/main/scala-2/pl/iterators/kebs/support/EquivSupport.scala b/macro-utils/src/main/scala-2/pl/iterators/kebs/support/EquivSupport.scala
@@ -1,6 +1,6 @@
 package pl.iterators.kebs.support
 
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 trait EquivSupport {
 

diff --git a/macro-utils/src/main/scala-2/pl/iterators/kebs/support/PartialOrderingSupport.scala b/macro-utils/src/main/scala-2/pl/iterators/kebs/support/PartialOrderingSupport.scala
@@ -1,6 +1,6 @@
 package pl.iterators.kebs.support
 
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 trait PartialOrderingSupport {
 

diff --git a/...iterators/kebs/macros/CaseClassReps.scala → ...tors/kebs/macros/base/CaseClassReps.scala b/...iterators/kebs/macros/CaseClassReps.scala → ...tors/kebs/macros/base/CaseClassReps.scala
@@ -1,4 +1,4 @@
-package pl.iterators.kebs.macros
+package pl.iterators.kebs.macros.base
 
 import scala.deriving.Mirror
 

diff --git a/macro-utils/src/main/scala-3/pl/iterators/kebs/support/EquivSupport.scala b/macro-utils/src/main/scala-3/pl/iterators/kebs/support/EquivSupport.scala
@@ -1,6 +1,6 @@
 package pl.iterators.kebs.support
 
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 trait EquivSupport {
 

diff --git a/macro-utils/src/main/scala-3/pl/iterators/kebs/support/FractionalSupport.scala b/macro-utils/src/main/scala-3/pl/iterators/kebs/support/FractionalSupport.scala
@@ -1,6 +1,6 @@
 package pl.iterators.kebs.support
 
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 trait FractionalSupport {
 

diff --git a/macro-utils/src/main/scala-3/pl/iterators/kebs/support/IntegralSupport.scala b/macro-utils/src/main/scala-3/pl/iterators/kebs/support/IntegralSupport.scala
@@ -1,6 +1,6 @@
 package pl.iterators.kebs.support
 
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 trait IntegralSupport {
 

diff --git a/macro-utils/src/main/scala-3/pl/iterators/kebs/support/NumericSupport.scala b/macro-utils/src/main/scala-3/pl/iterators/kebs/support/NumericSupport.scala
@@ -1,6 +1,6 @@
 package pl.iterators.kebs.support
 
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 trait NumericSupport {
 

diff --git a/macro-utils/src/main/scala-3/pl/iterators/kebs/support/PartialOrderingSupport.scala b/macro-utils/src/main/scala-3/pl/iterators/kebs/support/PartialOrderingSupport.scala
@@ -1,6 +1,6 @@
 package pl.iterators.kebs.support
 
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 trait PartialOrderingSupport {
 

diff --git a/macro-utils/src/test/scala-3/DerivingSpecification.scala b/macro-utils/src/test/scala-3/DerivingSpecification.scala
@@ -1,6 +1,6 @@
 import org.scalacheck.Prop.forAll
 import org.scalacheck.{Gen, Properties}
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 import pl.iterators.kebs.macros.enums.EnumOf
 
 object DerivingSpecification extends Properties("Deriving") {

diff --git a/macro-utils/src/test/scala/NumbersDomain.scala b/macro-utils/src/test/scala/NumbersDomain.scala
@@ -1,4 +1,4 @@
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 object NumbersDomain {
 

diff --git a/macro-utils/src/test/scala/StringsDomain.scala b/macro-utils/src/test/scala/StringsDomain.scala
@@ -1,4 +1,4 @@
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 object StringsDomain {
   trait Tag1

diff --git a/opaque/src/main/scala-3/pl/iterators/kebs/opaque/Opaque.scala b/opaque/src/main/scala-3/pl/iterators/kebs/opaque/Opaque.scala
@@ -1,6 +1,6 @@
 package pl.iterators.kebs.opaque
 
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 trait Opaque[OpaqueType, Unwrapped](using ev: OpaqueType =:= Unwrapped) {
   /**

diff --git a/opaque/src/test/scala-3/OpaqueTest.scala b/opaque/src/test/scala-3/OpaqueTest.scala
@@ -1,7 +1,7 @@
 import org.scalatest.funsuite.AnyFunSuite
 import org.scalatest.matchers.should.Matchers
 import pl.iterators.kebs.opaque.Opaque
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 object OpaqueTestDomain {
   opaque type TestWrappedInt = Int

diff --git a/play-json/src/main/scala/pl/iterators/kebs/json/KebsPlay.scala b/play-json/src/main/scala/pl/iterators/kebs/json/KebsPlay.scala
@@ -1,7 +1,7 @@
 package pl.iterators.kebs.json
 
 import pl.iterators.kebs.instances.InstanceConverter
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 import play.api.libs.json._
 
 trait KebsPlay {

diff --git a/scalacheck/src/main/scala/pl/iterators/kebs/scalacheck/ArbitrarySupport.scala b/scalacheck/src/main/scala/pl/iterators/kebs/scalacheck/ArbitrarySupport.scala
@@ -2,7 +2,7 @@ package pl.iterators.kebs.scalacheck
 
 import enumeratum.ScalacheckInstances
 import org.scalacheck.{Arbitrary, Gen, ScalacheckShapeless}
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 import java.net.{URI, URL}
 import java.time.temporal.ChronoUnit

diff --git a/slick/src/main/scala/pl/iterators/kebs/Kebs.scala b/slick/src/main/scala/pl/iterators/kebs/Kebs.scala
@@ -2,7 +2,7 @@ package pl.iterators.kebs
 
 import pl.iterators.kebs.hstore.KebsHStoreColumnExtensionMethods
 import pl.iterators.kebs.instances.InstanceConverter
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 import slick.ast.{BaseTypedType, NumericTypedType}
 import slick.jdbc.JdbcType
 import slick.lifted._

diff --git a/slick/src/test/scala/arrays/ListIsomorphismTest.scala b/slick/src/test/scala/arrays/ListIsomorphismTest.scala
@@ -11,7 +11,7 @@ class ListIsomorphismTest extends AnyFunSuite with Matchers with YearMonthString
   case class C(a: String)
 
   test("No CaseClass1Rep implicits derived") {
-    import pl.iterators.kebs.macros.CaseClass1Rep
+    import pl.iterators.kebs.macros.base.CaseClass1Rep
 
     "implicitly[CaseClass1Rep[YearMonth, String]]" shouldNot typeCheck
     "implicitly[CaseClass1Rep[String, YearMonth]]" shouldNot typeCheck

diff --git a/slick/src/test/scala/arrays/SlickPgArrayTests.scala b/slick/src/test/scala/arrays/SlickPgArrayTests.scala
@@ -41,7 +41,7 @@ class SlickPgArrayTests extends AnyFunSuite with Matchers {
   }
 
   test("No CaseClass1Rep implicits derived") {
-    import pl.iterators.kebs.macros.CaseClass1Rep
+    import pl.iterators.kebs.macros.base.CaseClass1Rep
 
     "implicitly[CaseClass1Rep[YearMonth, String]]" shouldNot typeCheck
     "implicitly[CaseClass1Rep[String, YearMonth]]" shouldNot typeCheck

diff --git a/slick/src/test/scala/hstore/MapIsomorphismTest.scala b/slick/src/test/scala/hstore/MapIsomorphismTest.scala
@@ -13,7 +13,7 @@ class MapIsomorphismTest extends AnyFunSuite with Matchers with YearMonthString
   case class IntValue(value: Int)
 
   test("No CaseClass1Rep implicits derived") {
-    import pl.iterators.kebs.macros.CaseClass1Rep
+    import pl.iterators.kebs.macros.base.CaseClass1Rep
 
     "implicitly[CaseClass1Rep[YearMonth, String]]" shouldNot typeCheck
     "implicitly[CaseClass1Rep[String, YearMonth]]" shouldNot typeCheck

diff --git a/slick/src/test/scala/hstore/SlickPgHstoreColumnTypeTests.scala b/slick/src/test/scala/hstore/SlickPgHstoreColumnTypeTests.scala
@@ -21,7 +21,7 @@ class SlickPgHstoreColumnTypeTests extends AnyFunSuite with Matchers {
   import MyPostgresProfile.api._
 
   test("No CaseClass1Rep implicits derived") {
-    import pl.iterators.kebs.macros.CaseClass1Rep
+    import pl.iterators.kebs.macros.base.CaseClass1Rep
 
     "implicitly[CaseClass1Rep[YearMonth, String]]" shouldNot typeCheck
     "implicitly[CaseClass1Rep[String, YearMonth]]" shouldNot typeCheck

diff --git a/slick/src/test/scala/hstore/SlickPgHstoreTests.scala b/slick/src/test/scala/hstore/SlickPgHstoreTests.scala
@@ -42,7 +42,7 @@ class SlickPgHstoreTests extends AnyFunSuite with Matchers {
   }
 
   test("No CaseClass1Rep implicits derived") {
-    import pl.iterators.kebs.macros.CaseClass1Rep
+    import pl.iterators.kebs.macros.base.CaseClass1Rep
 
     "implicitly[CaseClass1Rep[YearMonth, String]]" shouldNot typeCheck
     "implicitly[CaseClass1Rep[String, YearMonth]]" shouldNot typeCheck

diff --git a/spray-json/src/main/scala/pl/iterators/kebs/json/KebsSpray.scala b/spray-json/src/main/scala/pl/iterators/kebs/json/KebsSpray.scala
@@ -1,8 +1,8 @@
 package pl.iterators.kebs.json
 
-import pl.iterators.kebs.macros.CaseClass1Rep
 import spray.json.{DefaultJsonProtocol, JsValue, JsonFormat, JsonReader, RootJsonFormat}
 import pl.iterators.kebs.instances.InstanceConverter
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 
 trait KebsSpray { self: DefaultJsonProtocol =>
   import macros.KebsSprayMacros

diff --git a/spray-json/src/test/scala/instances/NetInstancesTests.scala b/spray-json/src/test/scala/instances/NetInstancesTests.scala
@@ -28,7 +28,7 @@ class NetInstancesTests extends AnyFunSuite with Matchers with DefaultJsonProtoc
   }
 
   test("No CaseClass1Rep implicits derived") {
-    import pl.iterators.kebs.macros.CaseClass1Rep
+    import pl.iterators.kebs.macros.base.CaseClass1Rep
 
     "implicitly[CaseClass1Rep[URI, String]]" shouldNot typeCheck
     "implicitly[CaseClass1Rep[String, URI]]" shouldNot typeCheck

diff --git a/spray-json/src/test/scala/instances/TimeInstancesMixinTests.scala b/spray-json/src/test/scala/instances/TimeInstancesMixinTests.scala
@@ -6,7 +6,7 @@ import pl.iterators.kebs.instances.time.LocalDateTimeString
 import pl.iterators.kebs.instances.time.mixins.{DurationNanosLong, InstantEpochMilliLong}
 import pl.iterators.kebs.instances.{InstanceConverter, TimeInstances}
 import pl.iterators.kebs.json.KebsSpray
-import pl.iterators.kebs.macros.CaseClass1Rep
+import pl.iterators.kebs.macros.base.CaseClass1Rep
 import spray.json._
 
 import java.time._

diff --git a/spray-json/src/test/scala/instances/TimeInstancesTests.scala b/spray-json/src/test/scala/instances/TimeInstancesTests.scala
@@ -12,7 +12,7 @@ import java.time._
 class TimeInstancesTests extends AnyFunSuite with Matchers with DefaultJsonProtocol with KebsSpray with TimeInstances {
 
   test("No CaseClass1Rep implicits derived") {
-    import pl.iterators.kebs.macros.CaseClass1Rep
+    import pl.iterators.kebs.macros.base.CaseClass1Rep
 
     "implicitly[CaseClass1Rep[DayOfWeek, Int]]" shouldNot typeCheck
     "implicitly[CaseClass1Rep[Int, DayOfWeek]]" shouldNot typeCheck

diff --git a/spray-json/src/test/scala/instances/UtilInstancesTests.scala b/spray-json/src/test/scala/instances/UtilInstancesTests.scala
@@ -12,7 +12,7 @@ import java.util.{Currency, Locale, UUID}
 class UtilInstancesTests extends AnyFunSuite with Matchers with DefaultJsonProtocol with KebsSpray with UtilInstances {
 
   test("No CaseClass1Rep implicits derived") {
-    import pl.iterators.kebs.macros.CaseClass1Rep
+    import pl.iterators.kebs.macros.base.CaseClass1Rep
 
     "implicitly[CaseClass1Rep[Currency, String]]" shouldNot typeCheck
     "implicitly[CaseClass1Rep[String, Currency]]" shouldNot typeCheck