#32 definition of empty module

open
nobody
5
2009-12-17
2009-12-17
Anonymous
No

the grammar defined in idl.g
does not allow to have something like

module test {
}

I suggest to modify the following lines:
rule module: MODULE IDENTIFIER
{{
self.p.module_header(IDENTIFIER)
}}
'{' definition+ '}'
{{
self.p.module_body()
}}
in
rule module: MODULE IDENTIFIER
{{
self.p.module_header(IDENTIFIER)
}}
'{' definition* '}'
{{
self.p.module_body()
}}

Discussion