blob: 6f82d9b6f691980a923f4e1e6193350ce85ab6d6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
(ns lux.analyser.module
(:require [clojure.core.match :as M :refer [matchv]]
clojure.core.match.array
(lux [base :as & :refer [|do return return* fail fail*]]
[type :as &type]
[host :as &host])
[lux.analyser.base :as &&]))
;; [Exports]
(def init-module
(&/|table))
(defn define [module name def-data]
(fn [state]
(matchv ::M/objects [(&/get$ &/$ENVS state)]
[["lux;Cons" [?env ["lux;Nil" _]]]]
(return* (->> state
(&/update$ &/$MODULES (fn [ms]
(&/|update module #(&/|put name def-data %)
ms)))
(&/set$ &/$ENVS (&/|list (&/update$ &/$LOCALS (fn [locals]
(&/update$ &/$MAPPINGS (fn [mappings]
(&/|put (str "" &/+name-separator+ name)
(&/V "Expression" (&/T (&/V "global" (&/T module name)) &type/$Void))
mappings))
locals))
?env))))
nil)
[_]
(fail* "[Analyser Error] Can't create a new global definition outside of a global environment."))))
(defn exists? [name]
(fn [state]
;; (prn `exists? name (->> state (&/get$ &/$MODULES) (&/|contains? name)))
(return* state
(->> state (&/get$ &/$MODULES) (&/|contains? name)))))
(defn dealias [name]
(fn [state]
(if-let [real-name (->> state (&/get$ &/$MODULE-ALIASES) (&/|get name))]
(return* state real-name)
(fail* (str "Unknown alias: " name)))))
(defn find-def [module name]
(fn [state]
(if-let [$module (->> state (&/get$ &/$MODULES) (&/|get module))]
(if-let [$def (&/|get name $module)]
(return* state $def)
(fail* (str "[Analyser Error] Definition doesn't exist: " (str module &/+name-separator+ name))))
(fail* (str "[Analyser Error] Module doesn't exist: " module)))))
(defn defined? [module name]
(&/try-all% (&/|list (|do [_ (find-def module name)]
(return true))
(return false))))
(defn declare-macro [module name]
(fn [state]
(if-let [$module (->> state (&/get$ &/$MODULES) (&/|get module))]
(if-let [$def (&/|get name $module)]
(matchv ::M/objects [$def]
[["lux;ValueD" ?type]]
(do ;; (prn 'declare-macro/?type (aget ?type 0))
(&/run-state (|do [_ (&type/check &type/Macro ?type)
loader &/loader
:let [macro (-> (.loadClass loader (&host/location (&/|list module name)))
(.getField "_datum")
(.get nil))]]
(fn [state*]
(return* (&/update$ &/$MODULES
(fn [$modules]
(&/|put module (&/|put name (&/V "lux;MacroD" (&/V "lux;Some" macro)) $module)
$modules))
state*)
nil)))
state))
[["lux;MacroD" _]]
(fail* (str "[Analyser Error] Can't re-declare a macro: " (str module &/+name-separator+ name)))
[["lux;TypeD" _]]
(fail* (str "[Analyser Error] Definition doesn't have macro type: " module ";" name)))
(fail* (str "[Analyser Error] Definition doesn't exist: " (str module &/+name-separator+ name))))
(fail* (str "[Analyser Error] Module doesn't exist: " module)))))
(defn install-macro [module name macro]
(fn [state]
(if-let [$module (->> state (&/get$ &/$MODULES) (&/|get module))]
(if-let [$def (&/|get name $module)]
(matchv ::M/objects [$def]
[["lux;MacroD" ["lux;None" _]]]
(return* (&/update$ &/$MODULES
(fn [$modules]
(&/|put module (&/|put name (&/V "lux;MacroD" (&/V "lux;Some" macro)) $module)
$modules))
state)
nil)
[["lux;MacroD" ["lux;Some" _]]]
(fail* (str "[Analyser Error] Can't re-install a macro: " (str module &/+name-separator+ name)))
[_]
(fail* (str "[Analyser Error] Can't install a non-macro: " (str module &/+name-separator+ name))))
(fail* (str "[Analyser Error] Definition doesn't exist: " (str module &/+name-separator+ name))))
(fail* (str "[Analyser Error] Module doesn't exist: " module)))
))
|