aboutsummaryrefslogtreecommitdiff
path: root/new-luxc/source/luxc/analyser/proc.lux
blob: 8bd9752726069950a90fe58bc42305d346239ae0 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
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)))))