From 92dede233083d2a534b0530e582afa3b1ff1025f Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Wed, 22 May 2019 20:50:29 -0400 Subject: Removed the (magical) "imports" annotations tag. --- luxc/src/lux/analyser.clj | 4 ++-- luxc/src/lux/analyser/lux.clj | 4 ++-- luxc/src/lux/analyser/meta.clj | 1 - luxc/src/lux/analyser/module.clj | 8 ++++---- luxc/src/lux/compiler/jvm/lux.clj | 12 +++++------- luxc/src/lux/type.clj | 16 ++-------------- 6 files changed, 15 insertions(+), 30 deletions(-) (limited to 'luxc/src') diff --git a/luxc/src/lux/analyser.clj b/luxc/src/lux/analyser.clj index a6dbeccf2..4d4a2c1a0 100644 --- a/luxc/src/lux/analyser.clj +++ b/luxc/src/lux/analyser.clj @@ -150,9 +150,9 @@ (&&lux/analyse-program analyse optimize compile-program ?program))) "lux def module" - (|let [(&/$Cons ?meta (&/$Nil)) parameters] + (|let [(&/$Cons ?meta (&/$Cons ?imports (&/$Nil))) parameters] (&/with-cursor cursor - (&&lux/analyse-module analyse optimize eval! compile-module ?meta))) + (&&lux/analyse-module analyse optimize eval! compile-module ?meta ?imports))) "lux in-module" (|let [(&/$Cons [_ (&/$Text ?module)] (&/$Cons ?expr (&/$Nil))) parameters] diff --git a/luxc/src/lux/analyser/lux.clj b/luxc/src/lux/analyser/lux.clj index 91637033e..149bd4a99 100644 --- a/luxc/src/lux/analyser/lux.clj +++ b/luxc/src/lux/analyser/lux.clj @@ -640,13 +640,13 @@ (return (doto (promise) (deliver (&/$Right _compiler)))))))) -(defn analyse-module [analyse optimize eval! compile-module ?meta] +(defn analyse-module [analyse optimize eval! compile-module ?meta ?imports] (|do [_ &/ensure-statement =anns (&&/analyse-1 analyse &type/Code ?meta) ==anns (eval! (optimize =anns)) module-name &/get-module-name _ (&&module/set-anns ==anns module-name) - _imports (&&module/fetch-imports ==anns) + _imports (&&module/fetch-imports ?imports) current-module &/get-module-name =asyncs (&/map% (fn [_import] (|let [[path alias] _import] diff --git a/luxc/src/lux/analyser/meta.clj b/luxc/src/lux/analyser/meta.clj index ab0de60a4..07ec470f3 100644 --- a/luxc/src/lux/analyser/meta.clj +++ b/luxc/src/lux/analyser/meta.clj @@ -43,5 +43,4 @@ alias-tag "alias" export?-tag "export?" tags-tag "tags" - imports-tag "imports" ) diff --git a/luxc/src/lux/analyser/module.clj b/luxc/src/lux/analyser/module.clj index 5ac6191fa..8bc7a64a1 100644 --- a/luxc/src/lux/analyser/module.clj +++ b/luxc/src/lux/analyser/module.clj @@ -420,9 +420,9 @@ (&/T [k "" _def-data]) ))))))))) -(defn fetch-imports [meta] - (|case (&meta/meta-get &meta/imports-tag meta) - (&/$Some [_ (&/$Tuple _parts)]) +(defn fetch-imports [imports] + (|case imports + [_ (&/$Tuple _parts)] (&/map% (fn [_part] (|case _part [_ (&/$Tuple (&/$Cons [[_ (&/$Text _module)] @@ -435,7 +435,7 @@ _parts) _ - (&/fail-with-loc "[Analyser Error] No import meta-data."))) + (&/fail-with-loc "[Analyser Error] Incorrect import syntax."))) (def ^{:doc "(Lux (List [Text (List Text)]))"} tag-groups diff --git a/luxc/src/lux/compiler/jvm/lux.clj b/luxc/src/lux/compiler/jvm/lux.clj index 6f3257d37..0fec62e8e 100644 --- a/luxc/src/lux/compiler/jvm/lux.clj +++ b/luxc/src/lux/compiler/jvm/lux.clj @@ -253,19 +253,18 @@ (defn ^:private install-def! [class-loader current-class module-name ?name ?body ?meta] (|do [_ (return nil) :let [def-class (&&/load-class! class-loader (&host-generics/->class-name current-class)) - def-type (&a/expr-type* ?body) - def-meta ?meta] + def-type (&a/expr-type* ?body)] def-value (try (return (-> def-class (.getField &/value-field) (.get nil))) (catch Throwable t (&/assert! false (str "Error during value initialization:\n" (throwable->text t))))) _ (&/without-repl-closure - (&a-module/define module-name ?name def-type def-meta def-value))] + (&a-module/define module-name ?name def-type ?meta def-value))] (|case (&/T [(&type/type= &type/Type def-type) - (&a-meta/meta-get &a-meta/tags-tag def-meta)]) + (&a-meta/meta-get &a-meta/tags-tag ?meta)]) [true (&/$Some [_ (&/$Tuple tags*)])] - (|do [:let [was-exported? (|case (&a-meta/meta-get &a-meta/export?-tag def-meta) + (|do [:let [was-exported? (|case (&a-meta/meta-get &a-meta/export?-tag ?meta) (&/$Some _) true @@ -303,11 +302,10 @@ (if (= 1 (&/|length ?meta*)) (|do [:let [current-class (&host-generics/->class-name (str (&host/->module-class r-module) "/" (&host/def-name r-name))) def-class (&&/load-class! class-loader current-class) - def-meta ?meta def-value (-> def-class (.getField &/value-field) (.get nil))] def-type (&a-module/def-type r-module r-name) _ (&/without-repl-closure - (&a-module/define module-name ?name def-type def-meta def-value))] + (&a-module/define module-name ?name def-type ?meta def-value))] (return nil)) (&/fail-with-loc (str "[Compilation Error] Aliases cannot contain meta-data: " (str module-name &/+name-separator+ ?name))))) diff --git a/luxc/src/lux/type.clj b/luxc/src/lux/type.clj index 20126417f..fc1736a1c 100644 --- a/luxc/src/lux/type.clj +++ b/luxc/src/lux/type.clj @@ -40,20 +40,8 @@ (def Text (&/$Named (&/T ["lux" "Text"]) (&/$Primitive "#Text" &/$Nil))) (def Ident (&/$Named (&/T ["lux" "Ident"]) (&/$Product Text Text))) -(do-template [ ] - (defn [elemT] - (&/$Primitive (&/|list elemT))) - - Array "#Array" - Atom "#Atom" - ) - -(do-template [ ] - (defn [threadT elemT] - (&/$Primitive (&/|list threadT elemT))) - - Box "#Box" - ) +(defn Array [elemT] + (&/$Primitive "#Array" (&/|list elemT))) (def Nothing (&/$Named (&/T ["lux" "Nothing"]) -- cgit v1.2.3