From 9af450eaa0a97a48e29e9e39d17abc9f7c59c593 Mon Sep 17 00:00:00 2001
From: Araozu <faraoz@unsa.edu.pe>
Date: Sun, 1 Oct 2023 18:41:00 -0500
Subject: [PATCH] Refactor

---
 src/syntax/functions/function_call.rs         |  7 ++-
 .../{ => functions}/function_declaration.rs   |  2 +-
 src/syntax/functions/mod.rs                   |  1 +
 src/syntax/grammar.md                         |  9 +++-
 src/syntax/mod.rs                             | 16 +------
 src/syntax/utils.rs                           | 47 +------------------
 6 files changed, 18 insertions(+), 64 deletions(-)
 rename src/syntax/{ => functions}/function_declaration.rs (99%)

diff --git a/src/syntax/functions/function_call.rs b/src/syntax/functions/function_call.rs
index a81abdc..cfe338e 100644
--- a/src/syntax/functions/function_call.rs
+++ b/src/syntax/functions/function_call.rs
@@ -35,7 +35,12 @@ pub fn try_parse<'a>(tokens: &'a Vec<Token>, pos: usize) -> ParseResult<Function
     };
     current_pos = next_pos;
 
-    ParseResult::Ok(FunctionCall { identifier: Box::new(identifier.value.clone()) }, current_pos)
+    ParseResult::Ok(
+        FunctionCall {
+            identifier: Box::new(identifier.value.clone()),
+        },
+        current_pos,
+    )
 }
 
 #[cfg(test)]
diff --git a/src/syntax/function_declaration.rs b/src/syntax/functions/function_declaration.rs
similarity index 99%
rename from src/syntax/function_declaration.rs
rename to src/syntax/functions/function_declaration.rs
index d48b07d..88c42dd 100644
--- a/src/syntax/function_declaration.rs
+++ b/src/syntax/functions/function_declaration.rs
@@ -4,7 +4,7 @@ use crate::{
     utils::Result3,
 };
 
-use super::{
+use super::super::{
     ast::FunctionDeclaration,
     block::parse_block,
     params_list::parse_params_list,
diff --git a/src/syntax/functions/mod.rs b/src/syntax/functions/mod.rs
index e0cca0d..0b74664 100644
--- a/src/syntax/functions/mod.rs
+++ b/src/syntax/functions/mod.rs
@@ -1,2 +1,3 @@
 pub mod arguments_list;
 pub mod function_call;
+pub mod function_declaration;
diff --git a/src/syntax/grammar.md b/src/syntax/grammar.md
index 07ca086..9a97fc7 100644
--- a/src/syntax/grammar.md
+++ b/src/syntax/grammar.md
@@ -38,7 +38,14 @@ return type = ;
 ### Block
 
 ```ebnf
-block = "{", "}"
+block = "{", (statement, (new line, statement)*)?,  "}"
+```
+
+
+### Statement
+
+```ebnf
+statement = function call
 ```
 
 
diff --git a/src/syntax/mod.rs b/src/syntax/mod.rs
index e96d253..4288724 100755
--- a/src/syntax/mod.rs
+++ b/src/syntax/mod.rs
@@ -3,7 +3,6 @@ use crate::error_handling::{MistiError, SyntaxError};
 mod binding;
 mod block;
 mod expression;
-mod function_declaration;
 mod functions;
 mod params_list;
 mod utils;
@@ -15,19 +14,6 @@ use ast::ModuleAST;
 
 use self::ast::TopLevelDeclaration;
 
-#[derive(Debug)]
-pub enum SyntaxResult {
-    ///
-    /// A construct has been found
-    Ok(TopLevelDeclaration, usize),
-    ///
-    /// No construct was found
-    None,
-    ///
-    /// A construct was found, but there was an error parsing it
-    Err(SyntaxError),
-}
-
 #[derive(Debug)]
 pub enum ParseResult<A, B> {
     /// The parsing was a success
@@ -84,7 +70,7 @@ fn next_construct<'a>(
     current_pos: usize,
 ) -> ParseResult<TopLevelDeclaration, ()> {
     None.or_else(
-        || match function_declaration::try_parse(tokens, current_pos) {
+        || match functions::function_declaration::try_parse(tokens, current_pos) {
             ParseResult::Ok(declaration, next_pos) => Some(ParseResult::Ok(
                 TopLevelDeclaration::FunctionDeclaration(declaration),
                 next_pos,
diff --git a/src/syntax/utils.rs b/src/syntax/utils.rs
index 6309bfb..1f5ed7a 100644
--- a/src/syntax/utils.rs
+++ b/src/syntax/utils.rs
@@ -4,7 +4,7 @@ use crate::{
     utils::Result3,
 };
 
-use super::{ParseResult, SyntaxResult};
+use super::ParseResult;
 
 /// Expects the token at `pos` to be of type `token_type`
 pub fn try_token_type(tokens: &Vec<Token>, pos: usize, token_type: TokenType) -> Result3<&Token> {
@@ -58,48 +58,3 @@ pub fn try_operator(tokens: &Vec<Token>, pos: usize, operator: String) -> Result
         None => Result3::None,
     }
 }
-
-pub fn _try_operator_w<'a>(
-    tokens: &'a Vec<Token>,
-    pos: usize,
-    operator: String,
-    error_message: String,
-    prev_token: &Token,
-) -> Result<(&'a Token, usize), Option<SyntaxResult>> {
-    let mut current_pos = pos;
-
-    // Ignore all whitespace and newlines
-    while let Some(t) = tokens.get(current_pos) {
-        if t.token_type == TokenType::INDENT
-            || t.token_type == TokenType::DEDENT
-            || t.token_type == TokenType::NewLine
-        {
-            current_pos += 1;
-        } else {
-            break;
-        }
-    }
-
-    match tokens.get(current_pos) {
-        Some(t) if t.token_type == TokenType::Operator && t.value == operator => {
-            Ok((t, current_pos + 1))
-        }
-        Some(t) if t.token_type == TokenType::NewLine || t.token_type == TokenType::EOF => {
-            Err(Some(SyntaxResult::Err(SyntaxError {
-                reason: error_message,
-                error_start: prev_token.position,
-                error_end: prev_token.get_end_position(),
-            })))
-        }
-        Some(t) => Err(Some(SyntaxResult::Err(SyntaxError {
-            reason: error_message,
-            error_start: t.position,
-            error_end: t.get_end_position(),
-        }))),
-        None => Err(Some(SyntaxResult::Err(SyntaxError {
-            reason: error_message,
-            error_start: prev_token.position,
-            error_end: prev_token.get_end_position(),
-        }))),
-    }
-}