From 1e29e518e62ad88e9c2e2b180beb07434a07cdd7 Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@inria.fr>
Date: Mon, 3 Nov 2014 10:11:23 +0100
Subject: Record public global definitions via field "prog_public" in
 AST.program. For the moment, this field is ignored.

---
 backend/CMparser.mly | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'backend/CMparser.mly')

diff --git a/backend/CMparser.mly b/backend/CMparser.mly
index ad92a12e..10cf8bf4 100644
--- a/backend/CMparser.mly
+++ b/backend/CMparser.mly
@@ -400,10 +400,12 @@ let mkmatch expr cases =
 prog:
    EQUAL STRINGLIT global_declarations EOF
       { { prog_defs = List.rev $3;
+          prog_public = List.map fst $3;  (* FIXME *)
           prog_main = intern_string $2; } }
 
 |  global_declarations EOF
       { { prog_defs = List.rev $1;
+          prog_public = List.map fst $1;  (* FIXME *)
           prog_main = intern_string "main" } }
 ;
 
-- 
cgit