Updated tutor to latest version of rascal

usethesource · Jul 2, 2024 · f0d3126 · f0d3126
1 parent ab3cac6
commit f0d3126
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/pom.xml b/pom.xml
@@ -11,7 +11,7 @@
         <project.reporting.outputEncoding>UTF-8</project.reporting.outputEncoding>
         <maven.compiler.release>11</maven.compiler.release>
 
-        <rascal-maven.version>0.27.3</rascal-maven.version>
+        <rascal-maven.version>0.27.4-RC3</rascal-maven.version>
     </properties>
 
     <scm>
@@ -160,7 +160,7 @@
         <dependency>
             <groupId>org.rascalmpl</groupId>
             <artifactId>rascal</artifactId>
-            <version>0.40.2</version>
+            <version>0.40.3-RC2</version>
         </dependency>
         <dependency>
             <groupId>org.seleniumhq.selenium</groupId>

diff --git a/src/lang/rascal/tutor/questions/QuestionCompiler.java b/src/lang/rascal/tutor/questions/QuestionCompiler.java
@@ -13,8 +13,7 @@
 package lang.rascal.tutor.questions;
 
 import java.io.File;
-
-import org.rascalmpl.interpreter.ConsoleRascalMonitor;
+import org.rascalmpl.interpreter.BatchProgressMonitor;
 import org.rascalmpl.interpreter.Evaluator;
 import org.rascalmpl.interpreter.env.GlobalEnvironment;
 import org.rascalmpl.interpreter.env.ModuleEnvironment;
@@ -36,7 +35,7 @@ public class QuestionCompiler {
     public QuestionCompiler(PathConfig pcfg) {
         final GlobalEnvironment heap = new GlobalEnvironment();
         final ModuleEnvironment top = new ModuleEnvironment("***question compiler***", heap);
-        eval = new Evaluator(vf, System.in, System.err, System.out, top, heap, new ConsoleRascalMonitor());
+        eval = new Evaluator(vf, System.in, System.err, System.out, top, heap, new BatchProgressMonitor());
         eval.addRascalSearchPath(URIUtil.rootLocation("std"));
         eval.getConfiguration().setRascalJavaClassPathProperty(javaCompilerPathAsString(pcfg.getJavaCompilerPath()));