shithub: mc

Info  •  Files  •  Log  •  Branches

Improved error checking.

    We now verify that the declaration and definition of exported
    variables have the same genericness.

--- a/parse/infer.c

+++ b/parse/infer.c

@@ -761,6 +761,8 @@

          * body */

         if (nx->decl.init && ng)

             fatal(nx->line, "Export %s double-defined on line %d", ctxstr(st, nx), ng->line);

+        if (ng && nx->decl.isgeneric != ng->decl.isgeneric)

+            fatal(nx->line, "Export %s defined with different genericness on line %d", ctxstr(st, nx), ng->line);

         if (!ng)

             putdcl(globls, nx);

         else