Merge branch 'endless-compilation'

Author: rssh

build.sbt

@@ -17,7 +17,8 @@ lazy val root = project
                 ),
     libraryDependencies += "org.scala-lang" %% "scala3-staging" % dottyVersion,
     libraryDependencies += "com.github.scopt" %% "scopt" % "4.0.1",
-    libraryDependencies += "org.scalameta" %% "munit" % "0.7.26" % Test,
+    //libraryDependencies += ("org.scalameta" %% "scalameta" % "4.4.28").cross(CrossVersion.for3Use2_13),
+    libraryDependencies += "org.scalameta" %% "munit" % "0.7.27" % Test,
     testFrameworks += new TestFramework("munit.Framework"),
     resolvers += Resolver.sbtPluginRepo("releases"),
     git.remoteRepo := "[email protected]:ips-kyiv/algorithmic-algebras-embedding.git"

project/build.properties

@@ -1 +1 @@
-sbt.version=1.5.3
+sbt.version=1.5.5

src/main/scala/ua/ips/algo/translation/languages/scala/ScalaGen.scala

@@ -23,7 +23,19 @@ trait ScalaGen {
   def generateName(ctx: IRContext, fullName: Seq[String]): String =
     fullName.mkString(".")
 
-  def genMainNode(ctx: IRContext, name: String): AstDef = ???
+  def genMainNode(ctx: IRContext, name: String): AstDef = {
+    ???
+    /*
+     val ctx = ScalaGenContext(irCtx)
+     val mainDecl = genMainDeclaration(ctx, name) 
+     val mainDecls: List[DefDef] = List(mainDecl)
+     val defintions: List[DefDef] = ctx.functionDefinitions.toList
+
+     TranslationUnit(
+        mainDecls ++ defintions  
+     )
+     */
+  }
 
 
 }

src/main/scala/ua/ips/algo/translation/languages/scala/ScalaLanguage.scala

@@ -13,7 +13,8 @@ class ScalaLanguage(using val qctx: Quotes) extends Language with ScalaGen {
 
   type Ast = Term
 
-  val baseInterpretation: ua.ips.algo.Interpretation = ScalaInterpretation(using qctx)
+
+  val baseInterpretation: ua.ips.algo.Interpretation = ??? // ScalaInterpretation(using qctx)
 
   def constantDef(item: baseInterpretation.DataItem, sort: DataSort): AstDef = ???
 
@@ -25,6 +26,6 @@ class ScalaLanguage(using val qctx: Quotes) extends Language with ScalaGen {
   def signatureDef(items: Seq[AstDef]): AstDef = ???
 
   def write(bundle:    OutputBundle, dataDir: String): Unit = ???
-  
+
 
 }