From: Siraaj Khandkar <siraaj@khandkar.net>
Date: Tue, 18 Sep 2018 21:52:09 +0000 (-0400)
Subject: Add the final rules to README
X-Git-Url: https://git.xandkar.net/?p=tiger.ml.git;a=commitdiff_plain;h=c7cdbbb6cce3a2e4405eedc671d52e17a20ed065

Add the final rules to README
---

diff --git a/README.md b/README.md
index 0678fa9..d1d1997 100644
--- a/README.md
+++ b/README.md
@@ -104,6 +104,33 @@ interspersion patterns in the rules like:
 for the exception of `var_dec`, which, since we do not need to group its
 consecutive sequences, can be reduced upon first sighting.
 
+The final rules I ended-up with are:
+
+    decs:
+      | var_dec   decs_any          { $1 :: $2 }
+      | fun_decs  decs_any_but_fun  { (Ast.FunDecs  $1) :: $2 }
+      | typ_decs  decs_any_but_typ  { (Ast.TypeDecs $1) :: $2 }
+      ;
+
+    decs_any:
+      |                             { [] }
+      | var_dec   decs_any          { $1 :: $2 }
+      | fun_decs  decs_any_but_fun  { (Ast.FunDecs  $1) :: $2 }
+      | typ_decs  decs_any_but_typ  { (Ast.TypeDecs $1) :: $2 }
+      ;
+
+    decs_any_but_fun:
+      |                             { [] }
+      | var_dec   decs_any          { $1 :: $2 }
+      | typ_decs  decs_any_but_typ  { (Ast.TypeDecs $1) :: $2 }
+      ;
+
+    decs_any_but_typ:
+      |                             { [] }
+      | var_dec   decs_any          { $1 :: $2 }
+      | fun_decs  decs_any_but_fun  { (Ast.FunDecs $1) :: $2 }
+      ;
+
 ##### lval
 
 ### AST