Thread expr_compat_mode param through eval

Author: mlechu

src/desugaring.jl

@@ -4309,9 +4309,10 @@ function expand_module(ctx, ex::SyntaxTree)
             [K"inert" ex]
         ]
         [K"call"
-            eval_module ::K"Value"
-            ctx.mod     ::K"Value"
-            modname     ::K"String"
+            eval_module           ::K"Value"
+            ctx.mod               ::K"Value"
+            modname               ::K"String"
+            ctx.expr_compat_mode  ::K"Bool"
             [K"inert"(body)
                 [K"toplevel"
                     std_defs
@@ -4505,9 +4506,10 @@ function expand_forms_2(ctx::DesugaringContext, ex::SyntaxTree, docs=nothing)
         @ast ctx ex [K"block"
             [K"assert" "toplevel_only"::K"Symbol" [K"inert" ex]]
             [K"call"
-                eval          ::K"Value"
-                ctx.mod       ::K"Value"
+                eval                  ::K"Value"
+                ctx.mod               ::K"Value"
                 [K"inert" ex]
+                ctx.expr_compat_mode  ::K"Bool"
             ]
         ]
     elseif k == K"vect"

src/eval.jl

@@ -344,16 +344,16 @@ end
 
 #-------------------------------------------------------------------------------
 # Our version of eval takes our own data structures
-function Core.eval(mod::Module, ex::SyntaxTree)
+function Core.eval(mod::Module, ex::SyntaxTree, expr_compat_mode::Bool=false)
     k = kind(ex)
     if k == K"toplevel"
         x = nothing
         for e in children(ex)
-            x = eval(mod, e)
+            x = eval(mod, e, expr_compat_mode)
         end
         return x
     end
-    linear_ir = lower(mod, ex)
+    linear_ir = lower(mod, ex, expr_compat_mode)
     expr_form = to_lowered_expr(mod, linear_ir)
     eval(mod, expr_form)
 end

src/runtime.jl

@@ -158,7 +158,7 @@ end
 #     public modname
 #
 # And run statments in the toplevel expression `body`
-function eval_module(parentmod, modname, body)
+function eval_module(parentmod, modname, expr_compat_mode, body)
     # Here we just use `eval()` with an Expr.
     # If we wanted to avoid this we'd need to reproduce a lot of machinery from
     # jl_eval_module_expr()
@@ -175,7 +175,7 @@ function eval_module(parentmod, modname, body)
     name = Symbol(modname)
     eval(parentmod, :(
         baremodule $name
-            $eval($name, $body)
+            $eval($name, $body, $expr_compat_mode)
         end
     ))
 end