support inline module definitions

This commit is contained in:
Ilya Rezvov
2018-01-23 09:42:00 -08:00
parent 61c554d119
commit a200b5a62d
+5 -2
View File
@@ -746,8 +746,11 @@ modulefields :: { Module }
| {- empty -} { emptyModule } | {- empty -} { emptyModule }
mod :: { Module } mod :: { Module }
: '(' 'module' modulefields ')' EOF { reverseModuleFields $3 } : '(' mod1 { $2 }
| modulefields EOF { reverseModuleFields $1 }
mod1 :: { Module }
: 'module' modulefields ')' EOF { reverseModuleFields $2 }
| modulefield1 modulefields EOF { reverseModuleFields $ foldl' (flip appendModuleField) $2 $1 }
-- utils -- utils