diff -r 957808dcb367 -r b51467741af2 main_marking3/re_test.sh
--- a/main_marking3/re_test.sh	Sun May 01 12:41:56 2022 +0100
+++ b/main_marking3/re_test.sh	Thu Aug 04 16:53:38 2022 +0200
@@ -80,6 +80,23 @@
     tsts=$(( 1 ))  
 fi
 
+### make sure datatypes are not tampered with
+
+if [ $tsts -eq 0 ]
+then
+    echo -e "re.scala has case classes for ALTs and SEQs?" >> $out
+
+    if (scala_assert "re.scala" "re_test0.scala")
+    then
+	echo -e "  --> passed" >> $out
+	tsts=$(( 0 ))
+    else	
+	echo -e "  --> FAIL (make sure the case clases are as given in the template)" >> $out 
+	tsts=$(( 1 ))
+    fi
+else
+    tsts=$(( 1 ))   
+fi
 
 
 ### re1 test