A const can be a const from another module

2010-07-27 12:24:51 +02:00 · 2010-07-27 12:24:51 +02:00 · 650bbb1c93
parent 0e7d9ead1f
commit 650bbb1c93
1 changed files with 2 additions and 0 deletions
--- a/compiler/heptagon/parsing/hept_parser.mly
+++ b/compiler/heptagon/parsing/hept_parser.mly
@ -503,6 +503,8 @@ _const:
  | FLOAT       { Sfloat $1 }
  | BOOL        { Sbool $1 }
  | constructor { Sconstructor $1 }
+  | Constructor DOT ident
+      { Svar (Modname({qual = $1; id = $3})) }
 ;

 tuple_exp: