]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/mathml_editor/src/ILPushLexer.cc
ocaml 3.09 transition
[helm.git] / helm / DEVEL / mathml_editor / src / ILPushLexer.cc
index 8a2777fef317d7d11a6b860e5c7713e10f703cdc..b82b52e5c3a654f2293f0bbe78ccaa7f7aafbefb 100644 (file)
@@ -24,7 +24,7 @@ ILPushLexer::complete()
       if (!complete_list.size())
         {
           // no matching macro
-          logger.warning("wrong prefix: nothing to complete");
+          logger.warning("no known macro with `" + buffer + "' prefix");
         }
       else if (complete_list.size() == 1)
         {
@@ -34,7 +34,13 @@ ILPushLexer::complete()
       else
         {
           // we have more than one matching macro
-          logger.warning("prefix not sufficient");
+          logger.warning("ambiguous prefix `" + buffer + "'");
+         for (std::list<std::string>::const_iterator p = complete_list.begin();
+              p != complete_list.end();
+              p++)
+           {
+             logger.info("Candidate: " + *p);
+           }
           buffer = new_buffer;
         }