native_ast has a proper type on GlobalVariable's metadata.

Author: braxtonmckee

typed_python/compiler/native_compiler/native_ast.py

@@ -12,6 +12,9 @@
 #   See the License for the specific language governing permissions and
 #   limitations under the License.
 
+from typed_python.compiler.native_compiler.global_variable_definition import (
+    GlobalVariableMetadata
+)
 from typed_python import Tuple, TupleOf, Alternative, NamedTuple, OneOf, Forward
 import textwrap
 
@@ -609,7 +612,7 @@ def expr_could_throw(self):
     Sequence={'vals': TupleOf(Expression)},
     ActivatesTeardown={'name': str},
     StackSlot={'name': str, 'type': Type},
-    GlobalVariable={'name': str, 'type': Type, 'metadata': object},
+    GlobalVariable={'name': str, 'type': Type, 'metadata': GlobalVariableMetadata},
     ApplyIntermediates={'base': Expression, 'intermediates': TupleOf(ExpressionIntermediate)},
     ElementPtrIntegers=lambda self, *offsets:
         Expression.ElementPtr(

typed_python/compiler/native_compiler/native_compiler_test.py

@@ -33,7 +33,9 @@ def test_global_variable_pointers():
                 arg=Expression.GlobalVariable(
                     name="globalvar",
                     type=Int64,
-                    metadata='aGlobal'
+                    metadata=GlobalVariableMetadata.StringConstant(
+                        value='aGlobal'
+                    )
                 ).load()
             )
         )
@@ -47,7 +49,9 @@ def test_global_variable_pointers():
                 arg=Expression.GlobalVariable(
                     name="globalvar",
                     type=Int64,
-                    metadata='aGlobal'
+                    metadata=GlobalVariableMetadata.StringConstant(
+                        value='aGlobal'
+                    )
                 )
             )
         )