From 7f45b6ff1e2ee97d65197b41973be99b5f1b9379 Mon Sep 17 00:00:00 2001
From: johnvg
Date: Thu, 20 Jan 2005 16:49:32 +0000
Subject: first print derived type, then specified type, in error message

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

diff --git a/frontend/type.icl b/frontend/type.icl
index 7d78c87..8dc7e5d 100644
--- a/frontend/type.icl
+++ b/frontend/type.icl
@@ -2079,10 +2079,10 @@ where
 specification_error type type1 err
 	# err = errorHeading "Type error" err
 	  format = { form_properties = cAttributed, form_attr_position = No}
-	= { err & ea_file = err.ea_file <<< " specified type " 	 
-									<:: (format, type1, Yes initialTypeVarBeautifulizer) 
-									<<< " conflicts with derived type "
+	= { err & ea_file = err.ea_file <<< " derived type " 	 
 									<:: (format, type, Yes initialTypeVarBeautifulizer) 
+									<<< " conflicts with specified type "
+									<:: (format, type1, Yes initialTypeVarBeautifulizer) 
 									<<< '\n' }
 
 cleanUpAndCheckFunctionTypes [] _ _ start_index _ defs type_contexts coercion_env attr_partition type_var_env attr_var_env (out, ts)
-- 
cgit v1.2.3