From 5fc7d18f2ab65100b2a0894daae874145b5d6813 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Wed, 25 Oct 2017 15:27:29 +0100
Subject: Allow mutually recursive functions

---
 language/l2.ott | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'language')

diff --git a/language/l2.ott b/language/l2.ott
index f08b089b..13feac23 100644
--- a/language/l2.ott
+++ b/language/l2.ott
@@ -1071,6 +1071,8 @@ def :: 'DEF_' ::=
     {{ com register declaration }}
   | dec_comm                                            :: I :: comm
     {{ com generated comments }}
+  | fundef1 .. fundefn                                  :: I :: internal_mutrec
+    {{ com internal representation of mutually recursive functions }}
 
 defs :: '' ::=
   {{ com definition sequence }}
@@ -1176,5 +1178,3 @@ terminals :: '' ::=
 %     {{ tex \mbox{$\ottsym{[\textbar\textbar}$} }}       
 %   | ||] :: :: list_end       
 %     {{ tex \mbox{$\ottsym{\textbar\textbar]}$} }}       
-
-
-- 
cgit v1.2.3