From bc22cfdb3eb3c39b647cb02e9b0c50f8d0ffb158 Mon Sep 17 00:00:00 2001
From: Kyle Gunger <kgunger12@gmail.com>
Date: Wed, 31 Jul 2024 04:09:57 -0400
Subject: start on type parsing

---
 tnslc/parse/ast.tnsl | 89 ++++++++++++++++++++++++++++++++++++++++++++--------
 1 file changed, 76 insertions(+), 13 deletions(-)

diff --git a/tnslc/parse/ast.tnsl b/tnslc/parse/ast.tnsl
index b55bc74..9011de1 100644
--- a/tnslc/parse/ast.tnsl
+++ b/tnslc/parse/ast.tnsl
@@ -83,15 +83,67 @@ struct Node {
 
 ;/
 
+
+
+# AST types 
+
+/; _type_helper_pre (~utils.File fin, ~Node mod, ~Token first)
+
+;/
+
+/; _type_helper_func (~utils.File fin, ~Node mod, ~Token first)
+
+;/
+
+/; _type_helper_usertype (~utils.File fin, ~Node mod, ~Token first)
+;/
+
 /; _ast_type (~utils.File fin, ~Node mod, ~Token first)
 
+	Node typ
+	typ.init(NTYPE_TYPE, utils.strcpy("\0"))
+
+	# Prefix values (~, {}, {#})
+	_type_helper_pre(fin, ~typ, first)
+
+	# Check to see if this is a function pointer type
+	/; if (first`.eq("void\0") && typ.sub.count == 0)
+		_type_helper_func(fin, ~typ, first)
+		mod`.sub.push(~typ)
+		return
+	;/
+
+	# user type or keytype
+	/; if (first`._type == TTYPE_USRWD)
+		_type_helper_usertype(fin, ~typ, first)
+	;; else if (first`._type == TTYPE_KEYTP)
+		Node ktp
+		ktp.init(NTYPE_ID, first`.data)
+		typ.sub.push(~ktp)
+		first` = produce_next_token(fin, first`)
+	;; else
+		_ast_print_err(first, "Expected keytype or usertype when parsing type\0")
+		mod`.sub.push(~typ)
+		return
+	;/
+
+	# The ol' reference
+	/; if (first`.eq("`\0"))
+		Node post
+		post.init(NTYPE_POST_OP, first`.data)
+		typ.sub.push(~post)
+		first` = produce_next_token(fin, first`)
+	;/
+
+	mod`.sub.push(~typ)
 ;/
 
 
 
 # AST lists
 
-/; _maybe_helper_decl (~utils.File fin, ~Node mod, )
+/; _maybe_helper_decl (~utils.File fin, ~Node mod, ~Token first)
+	
 ;/
 
 /; _ast_list_decl (~utils.File fin, ~Node mod, ~Token first)
@@ -113,6 +165,11 @@ struct Node {
 			return
 		;/
 
+		/; if (_advance_check(fin, first, ",\0") == false && first`._type !== TTYPE_DELIM)
+			_ast_print_err(first, "Expected ',' to continue the declaration list or a closing delimiter\0")
+			mod`.sub.push(~list)
+			return
+		;/
 	;/
 
 	mod`.sub.push(~list)
@@ -143,16 +200,17 @@ struct Node {
 
 			list.sub.push(~enum_id)
 			
-			/; if (_advance_check(fin, first, ",\0") == false && first`._type !== TTYPE_DELIM)
-				_ast_print_err(first, "Expected ',' to continue the enum list or a closing delimiter\0")
-				mod`.sub.push(~list)
-				return
-			;/
 		;; else
 			_ast_print_err(first, "Expected identifier in body of enum declaration\0")
 			mod`.sub.push(~list)
 			return
 		;/
+
+		/; if (_advance_check(fin, first, ",\0") == false && first`._type !== TTYPE_DELIM)
+			_ast_print_err(first, "Expected ',' to continue the type list or a closing delimiter\0")
+			mod`.sub.push(~list)
+			return
+		;/
 	;/
 
 	mod`.sub.push(~list)
@@ -174,17 +232,17 @@ struct Node {
 
 		/; if (first`._type == TTYPE_USRWD || first`._type == TTYPE_KEYTP || first`.eq("~\0") == true || first`.eq("{\0") == true)
 			_ast_type(fin, ~list, first)
-			
-			/; if (_advance_check(fin, first, ",\0") == false && first`._type !== TTYPE_DELIM)
-				_ast_print_err(first, "Expected ',' to continue the type list or a closing delimiter\0")
-				mod`.sub.push(~list)
-				return
-			;/
 		;; else
 			_ast_print_err(first, "Expected type in type list\0")
 			mod`.sub.push(~list)
 			return
 		;/
+
+		/; if (_advance_check(fin, first, ",\0") == false && first`._type !== TTYPE_DELIM)
+			_ast_print_err(first, "Expected ',' to continue the type list or a closing delimiter\0")
+			mod`.sub.push(~list)
+			return
+		;/
 	;/
 
 	mod`.sub.push(~list)
@@ -368,8 +426,11 @@ struct Node {
 				first` = tmp
 			;/
 		;; else
-			_ast_print_err("Expected variable name in declaration\0")
+			_ast_print_err(first, "Expected variable name in declaration\0")
 			run = false
+			Token tmp = produce_next_token(fin, first`)
+			first`.end()
+			first` = tmp
 		;/
 	;/
 
@@ -399,6 +460,8 @@ struct Node {
 			_ast_import(fin, mod, ~first)
 		;; else if (_advance_check(fin, ~first, "struct\0") == true)
 			_ast_struct(fin, mod, ~first)
+		;; else if (_advance_check(fin, ~first, "enum\0") == true)
+			_ast_enum(fin, mod, ~first)
 		;; else if (_advance_check(fin, ~first, "asm\0") == true)
 			_ast_asm(fin, mod, ~first)
 		;; else if (first.eq("/;\0") == true)
-- 
cgit v1.2.3