From 650bbb1c93992de55d427bac048b51a102a18d24 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?C=C3=A9dric=20Pasteur?= <cedric.pasteur@m4x.org>
Date: Tue, 27 Jul 2010 12:24:51 +0200
Subject: [PATCH] A const can be a const from another module

---
 compiler/heptagon/parsing/hept_parser.mly | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/compiler/heptagon/parsing/hept_parser.mly b/compiler/heptagon/parsing/hept_parser.mly
index 96e9980..5369426 100644
--- 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: