Fix

hkust-taco · Jan 15, 2025 · 35f7346 · 35f7346
1 parent 72f817d
commit 35f7346
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/hkmc2/jvm/src/test/scala/hkmc2/LlirDiffMaker.scala b/hkmc2/jvm/src/test/scala/hkmc2/LlirDiffMaker.scala
@@ -48,7 +48,7 @@ abstract class LlirDiffMaker extends BbmlDiffMaker:
             output("\nCpp:")
             output(cpp.toDocument.toString)
           if rcpp.isSet then
-            val auxPath = os.pwd/os.up/"shared"/"src"/"test"/"mlscript-compile"/"cpp"
+            val auxPath = os.pwd/"hkmc2"/"shared"/"src"/"test"/"mlscript-compile"/"cpp"
             val cppHost = CppCompilerHost(auxPath.toString, output.apply)
             if !cppHost.ready then
               output("\nCpp Compilation Failed: Cpp compiler or GNU Make not found")
@@ -62,4 +62,4 @@ abstract class LlirDiffMaker extends BbmlDiffMaker:
       catch
         case e: LowLevelIRError =>
           output("Stopped due to an error during the Llir generation")
-      
+
diff --git a/hkmc2/shared/src/test/mlscript/llir/BadPrograms.mls b/hkmc2/shared/src/test/mlscript/llir/BadPrograms.mls
@@ -3,17 +3,17 @@
 :llir
 :cpp
 
+:ge
 fun oops(a) =
   class A with
     fun m = a
   let x = 1
-//│ FAILURE: Unexpected runtime error
 //│ ═══[COMPILATION ERROR] Non top-level definition A not supported
 //│ Stopped due to an error during the Llir generation
 
+:ge
 let x = "oops"
 x.m
-//│ FAILURE: Unexpected runtime error
 //│ ═══[COMPILATION ERROR] Unsupported selection by users
 //│ Stopped due to an error during the Llir generation