From f70128f7cf9b3fdc727dfa17de39c068f774c1ad Mon Sep 17 00:00:00 2001
From: "benjamin.franksen" <benjamin.franksen@helmholtz-berlin.de>
Date: Mon, 7 Oct 2013 05:26:54 +0000
Subject: [PATCH] snc: made parsing of foreign declarations more precise
---
src/snc/snl.lem | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/src/snc/snl.lem b/src/snc/snl.lem
index d6171ef6..286c322d 100644
--- a/src/snc/snl.lem
+++ b/src/snc/snl.lem
@@ -193,11 +193,10 @@ declarator(p) ::= LPAREN declarator(x) RPAREN. [PRE] { p = x; }
declarator(p) ::= ASTERISK declarator(x). [PRE] { p = decl_prefix_pointer(x); }
// deprecated
-declaration(p) ::= FOREIGN declarators(ds) SEMICOLON. { p = decl_add_base_type(ds, mk_no_type()); }
-
-declarators(p) ::= declarator(x). { p = x; }
-declarators(p) ::= declarators(xs) COMMA declarator(x). { p = link_expr(xs, x); }
+declaration(p) ::= FOREIGN variables(ds) SEMICOLON. { p = decl_add_base_type(ds, mk_no_type()); }
+variables(p) ::= variable(x). { p = decl_create(x); }
+variables(p) ::= variables(xs) COMMA variable(x). { p = link_expr(xs, decl_create(x)); }
// Initializer
// Note: comma operator not allowed in 'expr'.
--
GitLab