Commit e5a01694 authored by William G Hatch's avatar William G Hatch
Browse files

yes, you DO want to allow global variables to have different types

parent 1fad6582
......@@ -254,9 +254,7 @@
[Program [i32
(λ (n t)
(hash 'Func i32
'globals (fresh-type-variable)))]]
;;todo I want the globals to possibly have different types
;;'globals (λ (child-node) (fresh-type-variable))))]]
'globals (λ (child-node) (fresh-type-variable))))]]
[GlobalDeclaration [(fresh-type-variable)
(λ (n t) (hash 'initialvalue t))]]
[Func [(fresh-type-variable)
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment