@@ -14,7 +14,9 @@ module ObjectUpdate where
14 polyUpdate = \o -> o { foo = "Foo" }
14 polyUpdate = \o -> o { foo = "Foo" }
16 inferPolyUpdate = \o -> o { foo = "Foo" }
16 inferPolyUpdate = \o -> o { foo = "Foo" }
18module Main where
18module Main where
20−main = Debug.Trace.trace "Done"
22+main = Debug.Trace.trace ((update1 {foo: ""}).foo)