diff options
| author | Thomas Bauereiss | 2017-10-25 15:27:29 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-10-25 16:08:28 +0100 |
| commit | 5fc7d18f2ab65100b2a0894daae874145b5d6813 (patch) | |
| tree | e83b41db514e54c3e055da507a0e95d92f7e0fcc /language | |
| parent | 4cbcf71c54628b13e6ced99b4c9ce1edbd1bffe1 (diff) | |
Allow mutually recursive functions
Diffstat (limited to 'language')
| -rw-r--r-- | language/l2.ott | 4 |
1 files changed, 2 insertions, 2 deletions
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]}$} }} - - |