WIP

- Simplified the Analysis type, by removing all meta-data.
- Added analysis of function calls.
- Added analysis of common Lux procedures.
- Lots of refactoring.

1 files changed, 20 insertions, 0 deletions

diff --git a/new-luxc/source/luxc/analyser/proc.lux b/new-luxc/source/luxc/analyser/proc.lux
new file mode 100644
index 000000000..8bd975272
--- /dev/null
+++ b/new-luxc/source/luxc/analyser/proc.lux
@@ -0,0 +1,20 @@
+(;module:
+  lux
+  (lux (control monad)
+       (data ["E" error]
+             [text]
+             text/format
+             (coll ["D" dict])
+             maybe))
+  (luxc ["&" base]
+        (lang ["la" analysis #+ Analysis]))
+  (. ["&&;" lux]))
+
+(def: #export (analyse-proc analyse [proc-category proc-name] proc-args)
+  (-> &;Analyser Ident (List Code) (Lux Analysis))
+  (default (let [proc-description (format "[" (%t proc-category) " " (%t proc-name) "]")]
+             (&;fail (format "Unknown procedure: " proc-description)))
+    (do Monad<Maybe>
+      [procs (D;get proc-category &&lux;procs)
+       proc (D;get proc-name procs)]
+      (wrap (proc analyse proc-args)))))