big WIP

Author: fhackett

build.mill

@@ -1,4 +1,4 @@
-//| mill-version: 1.1.5
+//| mill-version: 1.1.7
 //| mill-jvm-version: temurin:25
 //| mill-jvm-opts: ["--enable-native-access=ALL-UNNAMED"]
 //| mvnDeps:
@@ -23,6 +23,8 @@ trait ForjaModule extends ScalaModule, ScalafixModule:
     "-Wunused:imports",
     "-preview",
     "-language:experimental.erasedDefinitions",
+    // "-Yprint-debug",
+    // "-Vprint:parser,typer",
   )
   override def forkArgs = super.forkArgs() ++ Seq(
     // TODO: fix when Scala 3.8?

forja/src/CalcEval.scala

@@ -0,0 +1,9 @@
+package forja
+
+import scala.annotation.publicInBinary
+
+final class F[T] @publicInBinary private[forja] (@publicInBinary private[forja] val underlyingErased: Any) extends AnyVal
+
+object F:
+  //
+end F