aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjohnvg2011-02-24 12:28:19 +0000
committerjohnvg2011-02-24 12:28:19 +0000
commit33ecce5fae655d10379f409d04db5fd87595d3db (patch)
treee2c8ff9d8affaa087d7900293552b0aedf67c82b
parentonly generate a generic info argument for generic instances of kind *->*, (diff)
fix error message for not imported qualified ident
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@1857 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
-rw-r--r--frontend/explicitimports.icl2
1 files changed, 1 insertions, 1 deletions
diff --git a/frontend/explicitimports.icl b/frontend/explicitimports.icl
index ae9d504..da48fc2 100644
--- a/frontend/explicitimports.icl
+++ b/frontend/explicitimports.icl
@@ -961,7 +961,7 @@ search_qualified_ident module_id=:{id_info} ident_name name_space_n cs
where
not_imported_error cs
= (False,{decl_ident={id_name="",id_info=nilPtr},decl_pos=NoPos,decl_kind=STE_Empty,decl_index=NoIndex},
- {cs & cs_error=checkError (module_id.id_name+++"@"+++ident_name) "not imported" cs.cs_error})
+ {cs & cs_error=checkError ("'"+++module_id.id_name+++"'."+++ident_name) "not imported" cs.cs_error})
search_qualified_import :: !String !SortedQualifiedImports !NameSpaceN -> (!Bool,!DeclarationRecord)
search_qualified_import name EmptySortedQualifiedImports name_space_n