# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1482198463 0
# Node ID b43c81c65341a73a7ca5cc1f57e805d17bb4f486
# Parent  d77af4aca939022eb83b693be46dde2c95068425
updated

diff -r d77af4aca939 -r b43c81c65341 marking/mark03a
--- a/marking/mark03a	Mon Dec 19 02:55:13 2016 +0000
+++ b/marking/mark03a	Tue Dec 20 01:47:43 2016 +0000
@@ -108,6 +108,8 @@
   echo " simp(ONE ~ (ONE ~ (ONE ~ CHAR('a')))) == CHAR('a')" | tee -a $out
   echo " simp(ONE ~ (ONE ~ (ONE ~ ZERO))) == ZERO" | tee -a $out
   echo " simp(ALT(ONE ~ (ONE ~ (ONE ~ ZERO)), CHAR('a'))) == CHAR('a')" | tee -a $out
+  echo " simp(CHAR('a') | CHAR('a')) == CHAR('a')" | tee -a $out
+  echo " simp(ONE | CHAR('a')) == (ONE | CHAR('a'))" | tee -a $out
   
   if (scala_assert "re.scala.bak" "../../../marking/re1c_test.scala")
   then
@@ -131,6 +133,8 @@
   echo " matcher((\"ab\" | \"a\") ~ (ONE | \"bc\"), \"abc\") == true" | tee -a $out
   echo " matcher(ONE, \"\") == true" | tee -a $out
   echo " matcher(ZERO, \"\") == false" | tee -a $out
+  echo " matcher(ONE | CHAR('a'), \"\") == true" | tee -a $out
+  echo " matcher(ONE | CHAR('a'), \"a\") == true" | tee -a $out
   
   if (scala_assert "re.scala.bak" "../../../marking/re1d_test.scala")
   then