WIP

Author: jevdplas

code/jvm/src/main/scala/maf/cli/runnables/IncrementalRun.scala

@@ -174,14 +174,14 @@ object IncrementalRun extends App:
         false
 
     List(
-        // Nog imprecies zelfs met bottomen van cycles. Niet door heuristieken.
-        //"test/changes/scheme/generated/R5RS_WeiChenRompf2019_the-little-schemer_ch3-5.scm",
+        //"test/changes/scheme/generated/R5RS_various_four-in-a-row-5.scm",
+
 
         //"test/DEBUG3.scm",
         //"test/DEBUG1.scm",
         //"test/changes/scheme/generated/R5RS_scp1_count-pairs2-1.scm",
         "test/DEBUG1.scm",
-        /*
+
         // Not precise yet.
         "test/DEBUG2.scm",
         "test/changes/scheme/generated/R5RS_WeiChenRompf2019_the-little-schemer_ch3-5.scm",
@@ -195,7 +195,7 @@ object IncrementalRun extends App:
         "test/changes/scheme/generated/R5RS_scp1_merge-5.scm",
         "test/changes/scheme/generated/R5RS_sigscheme_mem-1.scm",
         "test/changes/scheme/generated/R5RS_various_church-4.scm",
-        "test/changes/scheme/generated/R5RS_various_four-in-a-row-5.scm", */
+        "test/changes/scheme/generated/R5RS_various_four-in-a-row-5.scm",
     ).slice(0,1).foreach { bench =>
         try {
             println(markTask(s"***** $bench *****"))
@@ -208,7 +208,8 @@ object IncrementalRun extends App:
             if anly
             then
                 println(text)
-                println(!analyse(text, false, logging = logging && anly, images = images && anly, Some(bench)))
+                val r = analyse(text, false, logging = logging && anly, images = images && anly, Some(bench))
+                if r then println(greenText("PRECISE")) else println(redText("IMPRECISE"))
             else
                 val reduced = reduceImprecise(text)
                 println(reduced)

test/DEBUG1.scm

@@ -1,7 +1,7 @@
-; Verder aangepaste WCR 3-5 reductie
-(letrec ((fun
-           (lambda (l)
-             (if (null? l)
-               (set! l l)
-               (<change> (fun (cdr l)) ())))))
-  (fun (cons 'f ())))
+; Gereduceerd van "test/changes/scheme/generated/R5RS_various_four-in-a-row-5.scm"
+(letrec ((fill-vector-iter! (lambda ()
+                              (<change>
+                                ()
+                                (fill-vector-iter!))
+                              ())))
+  (fill-vector-iter!))