add typing to global bindings

new types should go at end of struct

src/julia.h

@@ -503,6 +503,7 @@ typedef struct {
  jl_sym_t *name;
  _Atomic(jl_value_t*) value;
  _Atomic(jl_value_t*) globalref; // cached GlobalRef for this binding
+ jl_value_t *ty // add type for globals
  struct _jl_module_t* owner; // for individual imported bindings -- TODO: make _Atomic
  uint8_t constp:1;
  uint8_t exportp:1;

src/module.c

@@ -168,6 +168,7 @@ static jl_binding_t *new_binding(jl_sym_t *name)
  b->exportp = 0;
  b->imported = 0;
  b->deprecated = 0;
+ b->ty = NULL;
  return b;
 }
 
@@ -806,6 +807,11 @@ JL_DLLEXPORT void jl_checked_assignment(jl_binding_t *b, jl_value_t *rhs) JL_NOT
  }
  jl_safe_printf("WARNING: redefinition of constant %s. This may fail, cause incorrect answers, or produce other errors.\n",
  jl_symbol_name(b->name));
+ // Get and set type of global binding if not already there
+ if (b->ty == NULL) {
+ jl_value_t *type = jl_typeof(b->value);
+ jl_set_typeof(b->value, type);
+ }
  }
  jl_atomic_store_relaxed(&b->value, rhs);
  jl_gc_wb_binding(b, rhs);