aboutsummaryrefslogtreecommitdiff
path: root/src/lux/analyser/lambda.clj
blob: aeb5a4814d9c85464f8cb4c5ff518ba238fe45fd (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
;;   Copyright (c) Eduardo Julian. All rights reserved.
;;   The use and distribution terms for this software are covered by the
;;   Eclipse Public License 1.0 (http://opensource.org/licenses/eclipse-1.0.php)
;;   which can be found in the file epl-v10.html at the root of this distribution.
;;   By using this software in any fashion, you are agreeing to be bound by
;;   the terms of this license.
;;   You must not remove this notice, or any other, from this software.

(ns lux.analyser.lambda
  (:require clojure.core.match
            clojure.core.match.array
            (lux [base :as & :refer [|let |do return fail |case]]
                 [host :as &host])
            (lux.analyser [base :as &&]
                          [env :as &env])))

;; [Resource]
(defn with-lambda [self self-type arg arg-type body]
  (&/with-closure
    (|do [scope-name &/get-scope-name]
      (&env/with-local self self-type
        (&env/with-local arg arg-type
          (|do [=return body
                =captured &env/captured-vars]
            (return (&/T scope-name =captured =return))))))))

(defn close-over [scope name register frame]
  (|let [[_ register-type] register
         register* (&/T (&/V &&/$captured (&/T scope
                                               (->> frame (&/get$ &/$closure) (&/get$ &/$counter))
                                               register))
                        register-type)]
    (&/T register* (&/update$ &/$closure #(->> %
                                               (&/update$ &/$counter inc)
                                               (&/update$ &/$mappings (fn [mps] (&/|put name register* mps))))
                              frame))))