- Added def-aliasing.

- | and & now normalize their slot-names.
- Added several implementations of Eq, Ord & Show.

1 files changed, 20 insertions, 0 deletions

diff --git a/src/lux/analyser/module.clj b/src/lux/analyser/module.clj
index d2e0a745b..6e42a56f7 100644
--- a/src/lux/analyser/module.clj
+++ b/src/lux/analyser/module.clj
@@ -30,6 +30,26 @@
       [_]
       (fail* "[Analyser Error] Can't create a new global definition outside of a global environment."))))
 
+(defn def-alias [a-module a-name r-module r-name]
+  (fn [state]
+    (matchv ::M/objects [(&/get$ &/$ENVS state)]
+      [["lux;Cons" [?env ["lux;Nil" _]]]]
+      (return* (->> state
+                    (&/update$ &/$MODULES (fn [ms]
+                                            (&/|update a-module #(&/|put a-name (&/V "lux;AliasD" (&/T r-module r-name)) %)
+                                                       ms)))
+                    (&/set$ &/$ENVS (&/|list (&/update$ &/$LOCALS (fn [locals]
+                                                                    (&/update$ &/$MAPPINGS (fn [mappings]
+                                                                                             (&/|put (str "" &/+name-separator+ name)
+                                                                                                     (&/T (&/V "global" (&/T r-module r-name)) &type/$Void)
+                                                                                                     mappings))
+                                                                               locals))
+                                                        ?env))))
+               nil)
+      
+      [_]
+      (fail* "[Analyser Error] Can't alias a global definition outside of a global environment."))))
+
 (defn exists? [name]
   (fn [state]
     ;; (prn `exists? name (->> state (&/get$ &/$MODULES) (&/|contains? name)))