update invariant correctly

vchuravy · Mar 18, 2019 · b912195 · b912195
1 parent b4d4319
commit b912195
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/Project.toml b/Project.toml
@@ -8,6 +8,9 @@ Cassette = "7057c7e9-c182-5462-911a-8362d720325c"
 Requires = "ae029012-a4dd-5104-9daa-d747884805df"
 StaticArrays = "90137ffa-7385-5640-81b9-e52037218182"
 
+[compat]
+julia = ">= 1.1"
+
 [extras]
 Pkg = "44cfe95a-1eb2-52ea-b672-e2afdf69b78f"
 Test = "8dfed614-e22c-5e08-85e1-65c5234f0b40"

diff --git a/REQUIRE b/REQUIRE
@@ -1,3 +1,4 @@
-julia 1.0
+julia 1.1
 Requires
+Cassette
 StaticArrays
diff --git a/src/context.jl b/src/context.jl
@@ -44,7 +44,9 @@ function transform(ctx, ref)
           Expr(:call, Expr(:nooverdub, unknowably_false)),
           Expr(:gotoifnot, Core.SSAValue(i), i+3),
           Expr(:call, Expr(:nooverdub, self), [Core.SlotNumber(i) for i in 2:length(CI.slotnames)]...),
-          x] : [x])
+          x] : nothing)
+    CI.ssavaluetypes = length(CI.code)
+    # Core.Compiler.validate_code(CI)
     return CI
 end