Better type coercions.

LuxLang · May 14, 2024 · a296af3 · a296af3
1 parent d184a37
commit a296af3
Show file tree

Hide file tree

Showing 92 changed files with 1,879 additions and 1,656 deletions.
diff --git a/documentation/bookmark/tool/text_editor/structural.md b/documentation/bookmark/tool/text_editor/structural.md
@@ -1,5 +1,6 @@
 # Reference
 
+0. [Pushing CSS :has() to its limits - hover-highlighted parentheses, variable bindings, and more](https://blog.mjgrzymek.com/blog/css-has)
 0. [Tree-edit: Structural editing in Emacs for any™ language!](https://github.com/ethan-leba/tree-edit)
 0. [Awesome Structure Editors](https://github.com/yairchu/awesome-structure-editors)
 0. [Restructuring Structure Editing](https://tylr.fun/essay/)

diff --git a/lux-jvm/source/program.lux b/lux-jvm/source/program.lux
@@ -91,15 +91,15 @@
   Expander
   (do try.monad
     [apply_method (|> macro
-                      (as java/lang/Object)
+                      (as (-> Macro java/lang/Object))
                       (java/lang/Object::getClass [])
                       (java/lang/Class::getMethod [(ffi.as_string "apply") _apply2_args]))]
-    (as (Try (Try [analysis.State (List @type.Code)]))
+    (as (-> (Try java/lang/Object) (Try (Try [analysis.State (List @type.Code)])))
         (java/lang/reflect/Method::invoke
-         [(as java/lang/Object macro)
+         [(as (-> Macro java/lang/Object) macro)
           (ffi.array java/lang/Object
-                     [(as java/lang/Object inputs)
-                      (as java/lang/Object lux)])]
+                     [(as (-> (List Code) java/lang/Object) inputs)
+                      (as (-> Lux java/lang/Object) lux)])]
          apply_method))))
 
 (the phase_wrapper
@@ -126,29 +126,25 @@
 (the extender
   extension.Extender
   ... TODO: Stop relying on coercions ASAP.
-  (<| (as extension.Extender)
-      (function (@self handler))
-      (as extension.Handler)
-      (function (@self phase))
-      (as phase.Phase)
-      (function (@self archive parameters))
-      (as phase.Operation)
-      (function (@self state))
-      (as Try)
+  (<| (function (@self handler
+                       phase
+                       archive parameters
+                       state))
+      (as (-> Any Try))
       try.trusted
-      (as Try)
+      (as (-> Any Try))
       (do try.monad
         [method (|> handler
-                    (as java/lang/Object)
+                    (as (-> Any java/lang/Object))
                     (java/lang/Object::getClass [])
                     (java/lang/Class::getMethod [(ffi.as_string "apply") _apply4_args]))]
         (java/lang/reflect/Method::invoke
-         [(as java/lang/Object handler)
+         [(as (-> Any java/lang/Object) handler)
           (ffi.array java/lang/Object
-                     [(as java/lang/Object (phase_wrapper phase))
-                      (as java/lang/Object archive)
-                      (as java/lang/Object parameters)
-                      (as java/lang/Object state)])]
+                     [(as (-> Any java/lang/Object) (phase_wrapper phase))
+                      (as (-> Any java/lang/Object) archive)
+                      (as (-> Any java/lang/Object) parameters)
+                      (as (-> Any java/lang/Object) state)])]
          method))))
 
 (the (declare_success! _)
@@ -161,7 +157,7 @@
       (exec
         (do future.monad
           [[loader host platform] (future.soon ..platform)
-           _ (compositor.compiler (|>> (as platform.Custom))
+           _ (compositor.compiler (|>> (as (-> Any platform.Custom)))
                                   context
                                   ..expander
                                   (extension/analysis.bundle loader host)