[master] auto linkage can only be used inside a function.

Author: tomhrr

.gitignore

@@ -34,3 +34,4 @@ src/latex
 core
 *.core
 callgrind.out.*
+tags

src/dale/ErrorType/ErrorType.cpp

@@ -440,6 +440,10 @@ const char *errorInstanceToString(int error_instance) {
                 "must have constant initialiser for function-scoped "
                 "intern variable";
             break;
+        case ErrorInst::AutoLinkageNotPermitted:
+            ret =
+                "auto linkage not permitted outside of function scope";
+            break;
         default:
             ret = "(Unknown)";
     }

src/dale/ErrorType/ErrorType.h

@@ -121,6 +121,7 @@ enum {
     CTOFromNonCTO,
     CTOAddrFromNonCTO,
     CTOAnonymousFromNonCTO,
+    AutoLinkageNotPermitted,
 
     DNodeHasNoString,
     DNodeIsNeitherTokenNorList,

src/dale/Form/TopLevel/GlobalVariable/GlobalVariable.cpp

@@ -84,6 +84,12 @@ bool FormTopLevelGlobalVariableParse(Units *units, Node *node,
     }
 
     int linkage = FormLinkageParse(ctx, linkage_node);
+    if (linkage == Linkage::Auto) {
+        Error *e =
+            new Error(AutoLinkageNotPermitted, linkage_node);
+        ctx->er->addError(e);
+        return false;
+    }
 
     Type *ret_type = FormTypeParse(units, type_node, false, false);
     if (ret_type == NULL) {

t/999last/001compile-errors.t

@@ -6,7 +6,7 @@ $ENV{"DALE_TEST_ARGS"} ||= "";
 my $test_dir = $ENV{"DALE_TEST_DIR"} || ".";
 $ENV{PATH} .= ":.";
 
-use Test::More tests => 324;
+use Test::More tests => 327;
 
 my @error_files =
     (@ARGV)

t/error-src/auto-linkage.dt

@@ -0,0 +1,4 @@
+(def v1 (var auto int 100))
+
+(namespace n
+  (def v2 (var auto int 100)))

t/error-src/auto-linkage.dt.errors

@@ -0,0 +1,2 @@
+t/error-src/auto-linkage.dt:1:14: error: auto linkage not permitted outside of function scope
+t/error-src/auto-linkage.dt:4:16: error: auto linkage not permitted outside of function scope

t/error-src/unsupported-literal.dt

@@ -6,6 +6,6 @@
     (namespace temp3
       (def mys (struct extern ((# int)))))))
 
-(def n (var auto mys 100.0))
-(def n (var auto temp.temp2.temp3.mys 100.0))
-(def n (var auto temp.mys 100.0))
+(def n (var intern mys 100.0))
+(def n (var intern temp.temp2.temp3.mys 100.0))
+(def n (var intern temp.mys 100.0))

t/error-src/unsupported-literal.dt.errors

@@ -1,3 +1,3 @@
-./t/error-src/unsupported-literal.dt:9:22: error: expected return expression with type mys (got type float instead)
-./t/error-src/unsupported-literal.dt:10:39: error: expected return expression with type temp.temp2.temp3.mys (got type float instead)
-./t/error-src/unsupported-literal.dt:11:27: error: expected return expression with type temp.mys (got type float instead)
+./t/error-src/unsupported-literal.dt:9:24: error: expected return expression with type mys (got type float instead)
+./t/error-src/unsupported-literal.dt:10:41: error: expected return expression with type temp.temp2.temp3.mys (got type float instead)
+./t/error-src/unsupported-literal.dt:11:29: error: expected return expression with type temp.mys (got type float instead)

t/src/const-global.dt

@@ -1,6 +1,6 @@
 (import cstdio)
 
-(def n (var auto (const int) 100))
+(def n (var intern (const int) 100))
 
 (def main (fn extern-c int (void)
   (printf "%d\n" n)