blob: 696c816e97b61ae4f5ce9e3f060ebcaf2da02781 (
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
|
;; 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 ($$ &/P scope-name =captured =return))))))))
(defn close-over [scope name register frame]
(|let [[_ register-type] register
register* (&/P (&/S &&/$captured ($$ &/P scope
(->> frame (&/$get-closure) (&/$get-counter))
register))
register-type)]
(do (prn 'close-over 'updating-closure
[(->> frame (&/$get-closure) (&/$get-counter)) (->> frame (&/$get-closure) (&/$get-counter) inc)]
[(->> frame (&/$get-closure) (&/$get-mappings) &/ident->text)
(->> frame (&/$get-closure) (&/$get-mappings) (&/|put name register*) &/ident->text)])
($$ &/P register* (&/$update-closure #(->> %
(&/$update-counter inc)
(&/$update-mappings (fn [mps] (&/|put name register* mps))))
frame)))))
|