- Re-named ":!" to ":coerce".

1 files changed, 5 insertions, 5 deletions

diff --git a/new-luxc/source/luxc/lang/translation/lua/case.jvm.lux b/new-luxc/source/luxc/lang/translation/lua/case.jvm.lux
index ed084b44d..a72bf0011 100644
--- a/new-luxc/source/luxc/lang/translation/lua/case.jvm.lux
+++ b/new-luxc/source/luxc/lang/translation/lua/case.jvm.lux
@@ -38,7 +38,7 @@
                        (let [method (if tail?
                                       runtimeT.product//right
                                       runtimeT.product//left)]
-                         (method source (lua.int (:! Int idx)))))
+                         (method source (lua.int (:coerce Int idx)))))
                      valueO
                      path))))
 
@@ -102,22 +102,22 @@
       [_ (<tag> value)]
       (meta/wrap (lua.when! (lua.not (lua.= (|> value <format>) cursor-top))
                             (lua.return! pm-error))))
-    ([#.Nat  (<| lua.int (:! Int))]
+    ([#.Nat  (<| lua.int (:coerce Int))]
      [#.Int  lua.int]
-     [#.Deg  (<| lua.int (:! Int))]
+     [#.Deg  (<| lua.int (:coerce Int))]
      [#.Bool lua.bool]
      [#.Frac lua.float]
      [#.Text lua.string])
 
     (^template [<pm> <getter>]
       (^code (<pm> (~ [_ (#.Nat idx)])))
-      (meta/wrap (push-cursor! (<getter> cursor-top (lua.int (:! Int idx))))))
+      (meta/wrap (push-cursor! (<getter> cursor-top (lua.int (:coerce Int idx))))))
     (["lux case tuple left" runtimeT.product//left]
      ["lux case tuple right" runtimeT.product//right])
 
     (^template [<pm> <flag>]
       (^code (<pm> (~ [_ (#.Nat idx)])))
-      (meta/wrap (lua.block! (list (lua.set! "temp" (runtimeT.sum//get cursor-top (lua.int (:! Int idx)) <flag>))
+      (meta/wrap (lua.block! (list (lua.set! "temp" (runtimeT.sum//get cursor-top (lua.int (:coerce Int idx)) <flag>))
                                    (lua.if! (lua.= lua.nil "temp")
                                             (lua.return! pm-error)
                                             (push-cursor! "temp"))))))