updating disabled macros

Author: disnet

src/macros-disabled.js

@@ -32,6 +32,10 @@ macro base_contract {
     rule { $name } => { _c.$name }
 }
 
+macroclass named_contract {
+    rule { $name $[:] $contract:any_contract }
+}
+
 macro function_contract {
     rule { ($dom:named_contract (,) ...) -> $range:named_contract | { $guard ... } } => {
         _c.fun([$dom$contract (,) ...], $range$contract, {
@@ -102,6 +106,7 @@ macro optional_contract {
     }
 }
 
+
 macro non_or_contract {
     rule { $contract:function_contract } => { $contract }
     rule { $contract:object_contract }   => { $contract }
@@ -132,13 +137,25 @@ let @ = macro {
         }
     }
 
+    case {_
+        forall $($varName (,) ...)
+        $contracts:function_contract
+        function $name ($params ...) { $body ...}
+    } => {
+        return #{
+            function $name ($params ...) {
+                $body ...
+            }
+        }
+    }
+
     case {_
         $contracts:function_contract
         function $name ($params ...) { $body ...}
     } => {
         return #{
             function $name ($params ...) {
-                return $body ...
+                $body ...
             }
         }
     }

src/macros.js

@@ -127,9 +127,6 @@ macro any_contract {
     rule { $contract:non_or_contract } => { $contract }
 }
 
-// macro ident_list {
-//     rule { $p (,) ... }
-// }
 
 let @ = macro {
     case {_