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: