From 2dda92f6daf61345fcfc9f482e6725bc5d456c9b Mon Sep 17 00:00:00 2001
From: Leo Tenenbaum <pommicket@gmail.com>
Date: Wed, 5 Feb 2020 21:13:05 -0500
Subject: switching to new ident system and wow it makes everything so much
 simpler

---
 scope.c | 141 ----------------------------------------------------------------
 1 file changed, 141 deletions(-)
 delete mode 100644 scope.c

(limited to 'scope.c')

diff --git a/scope.c b/scope.c
deleted file mode 100644
index d04d1d8..0000000
--- a/scope.c
+++ /dev/null
@@ -1,141 +0,0 @@
-/*
-  Copyright (C) 2019, 2020 Leo Tenenbaum.
-  This file is part of toc. toc is distributed under version 3 of the GNU General Public License, without any warranty whatsoever.
-  You should have received a copy of the GNU General Public License along with toc. If not, see <https://www.gnu.org/licenses/>.
-*/
-enum {
-	  SCOPE_CHECK_REDECL = 0x01,
-};
-
-
-static void val_free(Value *v, Type *t);
-
-static bool DEBUG_UNDERSCORE(add_ident_decls)(SOURCE_LOCATION_PARAMS Block *b, Declaration *d, U16 flags) {
-	bool ret = true;
-	arr_foreach(d->idents, Identifier, ident) {
-		IdentDecl *decls = (*ident)->decls;
-		if ((flags & SCOPE_CHECK_REDECL) && arr_len(decls)) {
-			/* check that it hasn't been declared in this block */
-			IdentDecl *prev = arr_last(decls);
-			if (prev->scope == b) {
-				err_print(d->where, "Re-declaration of identifier in the same block.");
-				info_print(prev->decl->where, "Previous declaration was here.");
-#ifdef TOC_DEBUG
-				err_fprint(d->where.file->ctx, "First declaration was done by %s:%d, second was done by %s:%d.\n", prev->src_file, prev->src_line, src_file, src_line);
-#endif				
-				ret = false;
-				continue;
-			}
-		}
-		
-		IdentDecl *idecl = ident_add_decl(*ident, d, b);
-#ifdef TOC_DEBUG
-		idecl->src_file = src_file;
-		idecl->src_line = src_line;
-#else
-		(void)idecl;
-#endif
-	}
-	return ret;
-}
-
-static void remove_ident_decls(Block *b, Declaration *d) {
-	U64 i = 0;
-	bool is_tuple = d->type.kind == TYPE_TUPLE;
-	arr_foreach(d->idents, Identifier, ident) {
-		IdentSlot *id_info = *ident;
-		IdentDecl **decls = &id_info->decls;
-		IdentDecl *last_decl = arr_last(*decls);
-		if (last_decl && last_decl->scope == b) {
-			if ((last_decl->flags & IDECL_HAS_VAL)
-				/* don't free const vals (there's only one per decl) */
-				&& !(last_decl->decl->flags & DECL_IS_CONST)) {
-				val_free(&last_decl->val, is_tuple ? &d->type.tuple[i++] : &d->type);
-			}
-			arr_remove_last(decls); /* remove that declaration */
-		}
-	}
-}
-
-/* pass NULL for block for global scope */
-static bool block_enter(Block *b, Statement *stmts, U16 flags) {	
-	bool ret = true;
-	arr_foreach(stmts, Statement, stmt) {
-		if (stmt->kind == STMT_DECL) {
-			Declaration *decl = &stmt->decl;
-			if (!add_ident_decls(b, decl, flags))
-				ret = false;
-		} else if ((stmt->flags & STMT_TYPED) && stmt->kind == STMT_INCLUDE) {
-			if (!block_enter(b, stmt->inc.stmts, flags))
-				return false;
-		}
-	}
-	return ret;
-}
-
-static void block_exit(Block *b, Statement *stmts) {
-	if (b && (b->flags & BLOCK_IS_NMS))
-		return;
-	
-	arr_foreach(stmts, Statement, stmt) {
-		if (stmt->kind == STMT_DECL) {
-			Declaration *decl = &stmt->decl;
-			remove_ident_decls(b, decl);
-		} else if (stmt->kind == STMT_INCLUDE) {
-			block_exit(b, stmt->inc.stmts);
-		}
-	}
-}
-
-/* does NOT enter function's block body */
-static bool fn_enter(FnExpr *f, U16 flags) {
-	arr_foreach(f->params, Declaration, decl)
-		if (!add_ident_decls(&f->body, decl, flags))
-			return false;
-	arr_foreach(f->ret_decls, Declaration, decl)
-		if (!add_ident_decls(&f->body, decl, flags))
-			return false;
-	return true;
-}
-
-static void fn_exit(FnExpr *f) {
-	arr_foreach(f->params, Declaration, decl)
-		remove_ident_decls(&f->body, decl);
-	arr_foreach(f->ret_decls, Declaration, decl)
-		remove_ident_decls(&f->body, decl);
-}
-
-static bool for_enter(Expression *e) {
-	assert(e->kind == EXPR_FOR);
-	ForExpr *fo = e->for_;
-	if (fo->index && fo->index == fo->value) {
-		err_print(e->where, "The identifier for the index of a for loop must be different from the identifier for the value.");
-		return false;
-	}
-	if (fo->index) {
-		IdentDecl *id = arr_add(&fo->index->decls);
-		id->flags = 0;
-		id->kind = IDECL_EXPR;
-		id->scope = &fo->body;
-		id->expr = e;
-	}
-	if (fo->value) {
-		IdentDecl *id = arr_add(&fo->value->decls);
-		id->flags = 0;
-		id->kind = IDECL_EXPR;
-		id->scope = &fo->body;
-		id->expr = e;
-	}
-	return true;
-}
-
-static void for_exit(Expression *e) {
-	assert(e->kind == EXPR_FOR);
-	ForExpr *fo = e->for_;
-	if (fo->index) {
-		arr_remove_last(&fo->index->decls);
-	}
-	if (fo->value) {
-		arr_remove_last(&fo->value->decls);
-	}
-}
-- 
cgit v1.2.3