From a42a13585f66f8a65825d17b24711169979523f4 Mon Sep 17 00:00:00 2001 From: sjakie Date: Tue, 19 Oct 1999 11:19:05 +0000 Subject: Shit, ik heb geen zin om alles dubbel in te tikken git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@17 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d --- frontend/overloading.icl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/frontend/overloading.icl b/frontend/overloading.icl index 109dfdc..d65d436 100644 --- a/frontend/overloading.icl +++ b/frontend/overloading.icl @@ -97,7 +97,7 @@ where instanceError symbol types err # err = errorHeading "Overloading error" err - format = { form_properties = cNoProperties, form_position = [] } + format = { form_properties = cNoProperties, form_attr_position = No } = { err & ea_file = err.ea_file <<< " \"" <<< symbol <<< "\" no instance available of type " <:: (format, types) <<< '\n' } contextError err @@ -106,13 +106,13 @@ contextError err uniqueError symbol types err # err = errorHeading "Overloading/Uniqueness error" err - format = { form_properties = cAnnotated, form_position = [] } + format = { form_properties = cAnnotated, form_attr_position = No } = { err & ea_file = err.ea_file <<< " \"" <<< symbol <<< "\" uniqueness specification of instance conflicts with current application " <:: (format, types) <<< '\n'} unboxError type err # err = errorHeading "Overloading error of Array class" err - format = { form_properties = cNoProperties, form_position = [] } + format = { form_properties = cNoProperties, form_attr_position = No } = { err & ea_file = err.ea_file <<< ' ' <:: (format, type) <<< " instance cannot be unboxed\n"} get :: !a !(Env a b) -> b | == a -- cgit v1.2.3