elisp `labels'

* module/language/elisp/compile-tree-il.scm (compile-labels): New
  special operator.

* module/language/elisp/runtime/function-slot.scm: Update module
  definition.

module/language/elisp/compile-tree-il.scm

@@ -39,6 +39,7 @@
             compile-let
             compile-lexical-let
             compile-flet
+            compile-labels
             compile-let*
             compile-lexical-let*
             compile-guile-ref
@@ -637,6 +638,26 @@
                    (map (cut parse-flet-binding loc <>) bindings)
                    body))))
 
+(defspecial labels (loc args)
+  (pmatch args
+    ((,bindings . ,body)
+     (let ((names+vals (map (cut parse-flet-binding loc <>) bindings)))
+       (receive (decls forms) (parse-body body)
+         (let ((names (map car names+vals))
+               (vals (map cdr names+vals))
+               (gensyms (map (lambda (x) (gensym)) names+vals)))
+           (with-lexical-bindings
+            (fluid-ref bindings-data)
+            names
+            gensyms
+            (lambda ()
+              (make-letrec #f
+                           loc
+                           names
+                           gensyms
+                           (map compile-expr vals)
+                           (compile-expr `(progn ,@forms)))))))))))
+
 (defspecial let* (loc args)
   (pmatch args
     ((,bindings . ,body)

module/language/elisp/runtime/function-slot.scm

@@ -28,6 +28,7 @@
                  (compile-let . let)
                  (compile-lexical-let . lexical-let)
                  (compile-flet . flet)
+                 (compile-labels . labels)
                  (compile-let* . let*)
                  (compile-lexical-let* . lexical-let*)
                  (compile-guile-ref . guile-ref)
@@ -52,6 +53,7 @@
                let
                lexical-let
                flet
+               labels
                let*
                lexical-let*
                guile-ref