feat: Add support for constant as alternative to #define.

See TokTok/c-toxcore#2619
TokTok · Jan 31, 2024 · 24bb3f0 · 24bb3f0
1 parent 61daedb
commit 24bb3f0
Show file tree

Hide file tree

Showing 3 changed files with 17 additions and 1 deletion.
diff --git a/src/Language/Cimple/Lexer.x b/src/Language/Cimple/Lexer.x
@@ -154,6 +154,7 @@ tokens :-
 <0,ppSC>	"break"					{ mkL KwBreak }
 <0,ppSC>	"case"					{ mkL KwCase }
 <0,ppSC>	"const"					{ mkL KwConst }
+<0,ppSC>	"constant"				{ mkL KwConstant }
 <0,ppSC>	"continue"				{ mkL KwContinue }
 <0,ppSC>	"default"				{ mkL KwDefault }
 <0,ppSC>	"do"					{ mkL KwDo }

diff --git a/src/Language/Cimple/Parser.y b/src/Language/Cimple/Parser.y
@@ -46,6 +46,7 @@ import           Language.Cimple.Tokens      (LexemeClass (..))
     break			{ L _ KwBreak			_ }
     case			{ L _ KwCase			_ }
     const			{ L _ KwConst			_ }
+    constant			{ L _ KwConstant		_ }
     continue			{ L _ KwContinue		_ }
     default			{ L _ KwDefault			_ }
     do				{ L _ KwDo			_ }
@@ -214,9 +215,22 @@ ToplevelDecl
 |	PreprocIf(ToplevelDecls)				{ $1 }
 |	PreprocInclude						{ $1 }
 |	PreprocUndef						{ $1 }
+|	ConstantDefn						{ $1 }
 |	StaticAssert						{ $1 }
 |	TypedefDecl						{ $1 }
 
+ConstantDefn :: { NonTerm }
+ConstantDefn
+:	ConstantType ',' ID_CONST ',' ConstantValue ')' ';'	{ Fix $ PreprocDefineConst $3 $5 }
+
+ConstantType :: { Term }
+ConstantType
+:	constant '(' ID_STD_TYPE				{ $3 }
+
+ConstantValue :: { NonTerm }
+ConstantValue
+:	PreprocSafeExpr(ConstExpr)				{ $1 }
+
 StaticAssert :: { NonTerm }
 StaticAssert
 :	static_assert '(' ConstExpr ',' LIT_STRING ')' ';'	{ Fix $ StaticAssert $3 $5 }
@@ -310,7 +324,7 @@ PreprocInclude
 PreprocDefine :: { NonTerm }
 PreprocDefine
 :	'#define' ID_CONST '\n'					{ Fix $ PreprocDefine $2 }
-|	'#define' ID_CONST PreprocSafeExpr(ConstExpr) '\n'	{ Fix $ PreprocDefineConst $2 $3 }
+|	'#define' ID_CONST ConstantValue '\n'			{ Fix $ PreprocDefineConst $2 $3 }
 |	'#define' ID_CONST MacroParamList MacroBody '\n'	{ Fix $ PreprocDefineMacro $2 $3 $4 }
 
 PreprocUndef :: { NonTerm }

diff --git a/src/Language/Cimple/Tokens.hs b/src/Language/Cimple/Tokens.hs
@@ -16,6 +16,7 @@ data LexemeClass
     | KwBreak
     | KwCase
     | KwConst
+    | KwConstant
     | KwContinue
     | KwDefault
     | KwDo