feat(parser): extend support for additional type specifier, improves …

…flexibility and extensibility
helixlang · Oct 25, 2024 · cb881eb · cb881eb
1 parent c027d39
commit cb881eb
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 4 deletions.
diff --git a/TODO.md b/TODO.md
@@ -20,6 +20,7 @@
 - [ ] Fix ast error messages, where the message tells a fix to also add a quick fix to the error
 - [x] Add support for global scopes in the parser
 - [ ] Add panic unwinding support
+- [ ] Parse and add extend support for generic specializations
 
 # Completed:
 ### Parser:

diff --git a/source/helix.cc b/source/helix.cc
@@ -41,7 +41,7 @@
 #include "controller/include/Controller.hh"
 #include "generator/include/CX-IR/CXIR.hh"
 #include "lexer/include/lexer.hh"
-#include "parser/preprocessor/include/preprocessor.hh"
+#include "parser/preprocessor/include/PreProcessor.hh"
 
 enum class LogLevel { Debug, Info, Warning, Error };
 inline bool NO_LOGS  = false;

diff --git a/source/parser/ast/include/types/AST_modifiers.hh b/source/parser/ast/include/types/AST_modifiers.hh
@@ -133,12 +133,14 @@ __AST_BEGIN {
             Module,  ///< 'module'
             Ffi,     ///< 'ffi'
             Unsafe,  ///< 'unsafe'
+            Static,  ///< 'static'
         };
 
         static bool is_type_qualifier(const __TOKEN_N::Token &tok) {
             return tok == __TOKEN_N::KEYWORD_CONST || tok == __TOKEN_N::KEYWORD_MODULE ||
                    tok == __TOKEN_N::KEYWORD_YIELD || tok == __TOKEN_N::KEYWORD_ASYNC ||
-                   tok == __TOKEN_N::KEYWORD_FFI || tok == __TOKEN_N::KEYWORD_UNSAFE;
+                   tok == __TOKEN_N::KEYWORD_FFI || tok == __TOKEN_N::KEYWORD_UNSAFE ||
+                   tok == __TOKEN_N::KEYWORD_STATIC;
         }
 
         explicit TypeSpecifier(__TOKEN_N::Token marker)
@@ -162,6 +164,9 @@ __AST_BEGIN {
                 case __TOKEN_N::KEYWORD_UNSAFE:
                     type = Specifier::Unsafe;
                     break;
+                case __TOKEN_N::KEYWORD_STATIC:
+                    type = Specifier::Static;
+                    break;
                 default:
                     throw std::runtime_error("Invalid type specifier");
                     break;
@@ -391,7 +396,8 @@ __AST_BEGIN {
               __TOKEN_N::KEYWORD_YIELD,
               __TOKEN_N::KEYWORD_ASYNC,
               __TOKEN_N::KEYWORD_FFI,
-              __TOKEN_N::KEYWORD_UNSAFE}},
+              __TOKEN_N::KEYWORD_UNSAFE,
+              __TOKEN_N::KEYWORD_STATIC}},
             {ExpectedModifier::AccessSpec,
              {__TOKEN_N::KEYWORD_PUBLIC,
               __TOKEN_N::KEYWORD_PRIVATE,
@@ -502,7 +508,7 @@ __AST_BEGIN {
         }
 
         template <typename T>
-        [[nodiscard]] std::vector<T> get() {
+        [[nodiscard]] std::vector<T> get() const {
             std::vector<T> result;
 
             for (const auto &modifier : modifiers) {