Temporary commit to be rebased. Contains rewrite of specialiser.

Author: Oli-Ar

hkmc2/jvm/src/test/scala/hkmc2/MLsDiffMaker.scala

@@ -60,6 +60,7 @@ abstract class MLsDiffMaker extends DiffMaker:
       dbgParsing.isSet
       || dbgElab.isSet
       || debug.isSet
+      || dbgSpec.isSet
 
   val etl = new TraceLogger:
     override def doTrace = dbgElab.isSet || scope.exists:
@@ -193,7 +194,7 @@ abstract class MLsDiffMaker extends DiffMaker:
     showElaboratedTree.get.foreach: post =>
       output(s"Elaborated tree:")
       output(e.showAsTree(using post))
-    val spec = Specialiser(stl, curCtx)
+    val spec = Specialiser(stl)
     val spBlk = spec.topLevel(e)
     showSpecialisedTree.get.foreach: post =>
       output(s"Specialised tree:")

hkmc2/shared/src/main/scala/hkmc2/MLsCompiler.scala

@@ -67,12 +67,12 @@ class MLsCompiler(preludeFile: os.Path):
     newCtx.nest(N).givenIn:
 
       val (blk, newCtx) = elab.importFrom(mainParse.resultBlk)
-      val spec = Specialiser(stl, newCtx)
+      val spec = Specialiser(stl)
       val spBlk = spec.topLevel(blk)
       val low = ltl.givenIn:
         codegen.Lowering()
       val jsb = codegen.js.JSBuilder()
-      val le = low.program(spBlk)
+      val le = low.program(blk)
       val baseScp: utils.Scope =
         utils.Scope.empty
       val nestedScp = baseScp.nest