- Fixes for pattern-matching (case) analysis.

- Small refactorings.
- Improved common procedures analysis.
- Can now handle tagged structures (variants & records).
- Tests for pattern-matching, functions (definition & application), and common procedures.

1 files changed, 17 insertions, 0 deletions

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