From f8fd6fce0b9aabd9562ac8d0dda712154b829f26 Mon Sep 17 00:00:00 2001
From: gingerBill <ginger.bill.22@gmail.com>
Date: Fri, 22 Jul 2016 16:09:49 +0100
Subject: Procedure Literal

---
 src/checker/type.cpp | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/checker/type.cpp')

diff --git a/src/checker/type.cpp b/src/checker/type.cpp
index 301def0ca..291d6fd17 100644
--- a/src/checker/type.cpp
+++ b/src/checker/type.cpp
@@ -307,6 +307,11 @@ b32 are_types_identical(Type *x, Type *y) {
 	if (x == y)
 		return true;
 
+	if ((x == NULL && y != NULL) ||
+	    (x != NULL && y == NULL)) {
+		return false;
+	}
+
 	switch (x->kind) {
 	case Type_Basic:
 		if (y->kind == Type_Basic)
-- 
cgit v1.2.3