From e97e672647ec02bdd04c45934750bedd8b388db6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Grubbstr=C3=B6m=20=28Grubba=29?=
<grubba@grubba.org>
Date: Fri, 28 Dec 2007 17:10:16 +0100
Subject: [PATCH] final (aka no_mask) now implies local (aka inline).
Rev: src/language.yacc:1.392
---
src/language.yacc | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/language.yacc b/src/language.yacc
index 52da129924..a8c08fc07d 100644
--- a/src/language.yacc
+++ b/src/language.yacc
@@ -2,7 +2,7 @@
|| This file is part of Pike. For copyright information see COPYRIGHT.
|| Pike is distributed under GPL, LGPL and MPL. See the file COPYING
|| for more information.
-|| $Id: language.yacc,v 1.391 2007/12/28 13:38:15 nilsson Exp $
+|| $Id: language.yacc,v 1.392 2007/12/28 16:10:16 grubba Exp $
*/
%pure_parser
@@ -1178,8 +1178,8 @@ arguments2: new_arg_name { $$ = 1; }
;
modifier:
- TOK_NO_MASK { $$ = ID_FINAL; }
- | TOK_FINAL_ID { $$ = ID_FINAL; }
+ TOK_NO_MASK { $$ = ID_FINAL | ID_INLINE; }
+ | TOK_FINAL_ID { $$ = ID_FINAL | ID_INLINE; }
| TOK_STATIC { $$ = ID_STATIC; }
| TOK_EXTERN { $$ = ID_EXTERN; }
| TOK_OPTIONAL { $$ = ID_OPTIONAL; }
--
GitLab