Auto strict mode based on optimization level

src/flags.luau

@@ -1 +1,7 @@
-return { strict = false }
+local function inline_test(): string
+    return debug.info(1, "n")
+end
+
+local is_O2 = inline_test() ~= "inline_test"
+
+return { strict = not is_O2 }

src/init.luau

@@ -91,10 +91,7 @@ local vide = {
     end
 }
 
-do
+setmetatable(vide :: any, {
-    local set = false
-
-    setmetatable(vide :: any, {
     __index = function(_, index: unknown): ()
         if index == "strict" then
             return flags.strict
@@ -105,14 +102,11 @@ do
 
     __newindex = function(_, index: unknown, value: unknown)
         if index == "strict" then
-                if set then throw "strict mode has already been set" end
-                set = true
             flags.strict = value :: boolean
         else
             throw(`{tostring(index)} is not a valid member of vide`)
         end
     end
-    })
+})
-end
 
 return vide

test/benchmark.luau

@@ -9,6 +9,8 @@ local values = vide.values
 local cleanup = vide.cleanup
 local create = vide.create
 
+assert(not vide.strict)
+
 local function TITLE(name: string)
     print()
     print(testkit.color.white(name))

test/tests.luau

@@ -31,6 +31,8 @@ end
 
 local NIL = nil :: any
 
+vide.strict = false
+
 TEST("graph", function()
     local create_node = graph.create_node
     local track = graph.track
@@ -1644,6 +1646,8 @@ TEST("changed()", wrap_root(function()
     end
 end))
 
+vide.strict = true
+
 TEST("strict", wrap_root(function()
     vide.strict = true
 

todo.md

@@ -1,16 +1,13 @@
 # todo
 
-- auto-enable of strict mode depending on compiler optimizaton level
 - property binding optimization
   - would no longer allow `cleanup()` usage in binding scopes
 - solution to nested reactivity, see: SolidJS stores
-- investigate performance of wide graphs
+- optimize wide graph updating
-- optimize child removal
 - implement from solid:
   - Portal
   - batch
 - optimize `indexes()` double-diffing
 - define behavior of deriving a source within a derived source
-- review destruction of node under a root that has a child in another root
+- define behavior of node destruction under a root that has a child in another root
-- check in strict mode for forgetting to call constructor `create(class)`
 - improve crash course, some sections feel like information dumps