From bc197f66a30037272e154d20dfe76a7c6063cd52 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Mon, 12 Dec 2005 13:03:33 +0000
Subject: prevent crash when the type of an instance contains an undefined
 uniqueness variable in an inequality

git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1581 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
---
 frontend/check.icl | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'frontend')

diff --git a/frontend/check.icl b/frontend/check.icl
index 053ef21..5545db6 100644
--- a/frontend/check.icl
+++ b/frontend/check.icl
@@ -2799,6 +2799,8 @@ check_module2 mod_ident mod_modification_time mod_imported_objects mod_imports m
 		  			No
 		  				-> (cs_error, type_heaps)
 		  			Yes specified_symbol_type
+		  				| not cs_error.ea_ok
+							-> (cs_error, type_heaps)
 						# (err_code, type_heaps)
 						 		= symbolTypesCorrespond specified_symbol_type derived_symbol_type type_heaps
 						| err_code==CEC_Ok
-- 
cgit v1.2.3