Get rid of parser-level type inferencer

Author: YerinAlexey

src/ast/mod.rs

@@ -21,9 +21,6 @@ use std::collections::HashSet;
 pub mod types;
 use types::Type;
 
-/// Table that contains all symbol and its types
-pub type SymbolTable = HashMap<String, Option<Type>>;
-
 #[derive(Debug, Clone)]
 pub struct Module {
     pub path: String,
@@ -39,16 +36,6 @@ impl Module {
         self.structs.append(&mut other.structs);
         self.globals.append(&mut other.globals)
     }
-
-    pub fn get_symbol_table(&self) -> SymbolTable {
-        let mut table = SymbolTable::new();
-
-        for func in self.func.clone() {
-            table.insert(func.name, func.ret_type);
-        }
-
-        table
-    }
 }
 
 #[derive(Debug, Clone)]

src/parser/infer.rs

@@ -13,7 +13,6 @@
  * See the License for the specific language governing permissions and
  * limitations under the License.
  */
-mod infer;
 // TODO: Resolve this lint by renaming the module
 #[allow(clippy::module_inception)]
 mod parser;

src/parser/mod.rs

@@ -17,7 +17,6 @@ use crate::ast::*;
 use crate::lexer::Keyword;
 use crate::lexer::Position;
 use crate::lexer::{Token, TokenKind};
-use crate::parser::infer::infer;
 use crate::util::string_util::highlight_position_in_file;
 use std::convert::TryFrom;
 use std::iter::Peekable;
@@ -50,11 +49,7 @@ impl Parser {
     }
 
     pub fn parse(&mut self) -> Result<Module, String> {
-        let mut program = self.parse_module()?;
-        // infer types
-        infer(&mut program);
-
-        Ok(program)
+        self.parse_module()
     }
 
     pub(super) fn next(&mut self) -> Result<Token, String> {