ref: 81faf1634871ae20739df2d5eb6525f47d14da77
parent: edcfec9ee647e08da6ce6a9034aa895ad137e1ba
author: Ori Bernstein <ori@eigenstate.org>
date: Mon May 9 19:25:36 EDT 2016
Only allow one level of namespace in a name. Fixes #113
--- a/parse/gram.y
+++ b/parse/gram.y
@@ -359,7 +359,9 @@
;
name : Tident {$$ = mkname($1->loc, $1->id);}
- | Tident Tdot name {$$ = $3; setns($3, $1->id);}
+ | Tident Tdot Tident {
+ $$ = mkname($3->loc, $3->id); setns($$, $1->id);
+ }
;
implstmt: Timpl name type optauxtypes {