Added type information when logging compiled definitions.

3 files changed, 12 insertions, 11 deletions

diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux
index 603abc6ec..19aea38fa 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/phase/extension/analysis/php.lux
@@ -1,6 +1,6 @@
 (.module:
   [lux #*
-   ["." host]
+   ["." ffi]
    [abstract
     ["." monad (#+ do)]]
    [control
@@ -107,15 +107,15 @@
           )))
 
 (def: Null
-  (for {@.php host.Null}
+  (for {@.php ffi.Null}
        Any))
 
 (def: Object
-  (for {@.php (type (host.Object Any))}
+  (for {@.php (type (ffi.Object Any))}
        Any))
 
 (def: Function
-  (for {@.php host.Function}
+  (for {@.php ffi.Function}
        Any))
 
 (def: object::new
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
index 458b6bcd5..265b0aef5 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/phase/extension/directive/lux.lux
@@ -209,11 +209,11 @@
                                        [(///analysis.bundle eval host_analysis)]))
                                state)])))
 
-(def: (announce_definition! name)
+(def: (announce_definition! name type)
   (All [anchor expression directive]
-    (-> Name (Operation anchor expression directive Any)))
+    (-> Name Type (Operation anchor expression directive Any)))
   (/////directive.lift_generation
-   (/////generation.log! (format "Definition " (%.name name)))))
+   (/////generation.log! (format "Definition " (%.name name) " : " (%.type type)))))
 
 (def: (lux::def expander host_analysis)
   (-> Expander /////analysis.Bundle Handler)
@@ -229,7 +229,7 @@
          _ (/////directive.lift_analysis
             (module.define short_name (#.Right [exported? type (:coerce Code annotations) value])))
          _ (..refresh expander host_analysis)
-         _ (..announce_definition! full_name)]
+         _ (..announce_definition! full_name type)]
         (wrap /////directive.no_requirements))
 
       _
@@ -252,7 +252,7 @@
               [_ (module.define short_name (#.Right [exported? type annotations value]))]
               (module.declare_tags tags exported? (:coerce Type value))))
          _ (..refresh expander host_analysis)
-         _ (..announce_definition! full_name)]
+         _ (..announce_definition! full_name type)]
         (wrap /////directive.no_requirements)))]))
 
 (def: imports
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
index d5e831e09..304b79bdb 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/php/runtime.lux
@@ -11,7 +11,8 @@
     ["." product]
     ["." text ("#\." hash)
      ["%" format (#+ format)]
-     ["." encoding]]
+     [encoding
+      ["." utf8]]]
     [collection
      ["." list ("#\." functor)]
      ["." row]]]
@@ -605,4 +606,4 @@
            (row.row [(%.nat ..module_id)
                      (|> ..runtime
                          _.code
-                         (\ encoding.utf8 encode))])])))
+                         (\ utf8.codec encode))])])))