- Now, all special forms are handled as procedures.

- "lux case" now takes its branches as a non-empty record.

1 files changed, 19 insertions, 19 deletions

diff --git a/new-luxc/source/luxc/analyser/procedure/host.jvm.lux b/new-luxc/source/luxc/analyser/procedure/host.jvm.lux
index 84592d4ee..4db7b4dda 100644
--- a/new-luxc/source/luxc/analyser/procedure/host.jvm.lux
+++ b/new-luxc/source/luxc/analyser/procedure/host.jvm.lux
@@ -147,7 +147,7 @@
 
 (def: (array-length proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (&common;with-var
       (function [[var-id varT]]
         (case args
@@ -167,7 +167,7 @@
 
 (def: (array-new proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (case args
       (^ (list lengthC))
       (do meta;Monad<Meta>
@@ -261,7 +261,7 @@
 
 (def: (array-read proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (&common;with-var
       (function [[var-id varT]]
         (case args
@@ -282,7 +282,7 @@
 
 (def: (array-write proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (&common;with-var
       (function [[var-id varT]]
         (case args
@@ -315,7 +315,7 @@
 
 (def: (object-null proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (case args
       (^ (list))
       (do meta;Monad<Meta>
@@ -328,7 +328,7 @@
 
 (def: (object-null? proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (&common;with-var
       (function [[var-id varT]]
         (case args
@@ -347,7 +347,7 @@
 
 (def: (object-synchronized proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (&common;with-var
       (function [[var-id varT]]
         (case args
@@ -448,7 +448,7 @@
 
 (def: (object-throw proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (&common;with-var
       (function [[var-id varT]]
         (case args
@@ -472,7 +472,7 @@
 
 (def: (object-class proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (case args
       (^ (list classC))
       (case classC
@@ -492,7 +492,7 @@
 
 (def: (object-instance? proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (&common;with-var
       (function [[var-id varT]]
         (case args
@@ -793,7 +793,7 @@
 
 (def: (static-get proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (case args
       (^ (list classC fieldC))
       (case [classC fieldC]
@@ -811,7 +811,7 @@
 
 (def: (static-put proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (case args
       (^ (list classC fieldC valueC))
       (case [classC fieldC]
@@ -834,7 +834,7 @@
 
 (def: (virtual-get proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (case args
       (^ (list classC fieldC objectC))
       (case [classC fieldC]
@@ -853,7 +853,7 @@
 
 (def: (virtual-put proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (case args
       (^ (list classC fieldC valueC objectC))
       (case [classC fieldC]
@@ -1104,7 +1104,7 @@
 
 (def: (invoke//static proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (case (: (e;Error [Text Text (List [Text Code])])
              (s;run args ($_ p;seq s;text s;text (p;some (s;tuple (p;seq s;text s;any))))))
       (#e;Success [class method argsTC])
@@ -1121,7 +1121,7 @@
 
 (def: (invoke//virtual proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (case (: (e;Error [Text Text Code (List [Text Code])])
              (s;run args ($_ p;seq s;text s;text s;any (p;some (s;tuple (p;seq s;text s;any))))))
       (#e;Success [class method objectC argsTC])
@@ -1144,7 +1144,7 @@
 
 (def: (invoke//special proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (case (: (e;Error [(List Code) [Text Text Code (List [Text Code]) Unit]])
              (p;run args ($_ p;seq s;text s;text s;any (p;some (s;tuple (p;seq s;text s;any))) s;end!)))
       (#e;Success [_ [class method objectC argsTC _]])
@@ -1163,7 +1163,7 @@
 
 (def: (invoke//interface proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (case (: (e;Error [Text Text Code (List [Text Code])])
              (s;run args ($_ p;seq s;text s;text s;any (p;some (s;tuple (p;seq s;text s;any))))))
       (#e;Success [class-name method objectC argsTC])
@@ -1183,7 +1183,7 @@
 
 (def: (invoke//constructor proc)
   (-> Text @;Proc)
-  (function [analyse args]
+  (function [analyse eval args]
     (case (: (e;Error [Text (List [Text Code])])
              (s;run args ($_ p;seq s;text (p;some (s;tuple (p;seq s;text s;any))))))
       (#e;Success [class argsTC])