aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/lux.lux
diff options
context:
space:
mode:
authorEduardo Julian2017-04-30 23:14:10 -0400
committerEduardo Julian2017-04-30 23:14:10 -0400
commitf77acc12df0076c65122385846caf46e75b575de (patch)
tree8678b6598c635f9b0da37e75ae14141decf9fbf8 /stdlib/source/lux.lux
parentb580957d9c5483744ecb3625fd57f1950dbf30bf (diff)
- Renamed fields of scopes.
Diffstat (limited to '')
-rw-r--r--stdlib/source/lux.lux26
1 files changed, 13 insertions, 13 deletions
diff --git a/stdlib/source/lux.lux b/stdlib/source/lux.lux
index e1244d970..1632e6eab 100644
--- a/stdlib/source/lux.lux
+++ b/stdlib/source/lux.lux
@@ -352,24 +352,24 @@
default-def-meta-exported))))
## (type: Scope
-## {#name (List Text)
-## #inner-closures Int
-## #locals (Bindings Text Void)
-## #closure (Bindings Text Void)})
+## {#name (List Text)
+## #inner Nat
+## #locals (Bindings Text Void)
+## #captured (Bindings Text Void)})
(_lux_def Scope
(#NamedT ["lux" "Scope"]
- (#ProdT ## "lux;name"
+ (#ProdT ## name
(#AppT List Text)
- (#ProdT ## "lux;inner-closures"
- Int
- (#ProdT ## "lux;locals"
+ (#ProdT ## inner
+ Nat
+ (#ProdT ## locals
(#AppT (#AppT Bindings Text) Void)
- ## "lux;closure"
+ ## captured
(#AppT (#AppT Bindings Text) Void)))))
(#Cons [["lux" "tags"] (#ListA (#Cons (#TextA "name")
- (#Cons (#TextA "inner-closures")
+ (#Cons (#TextA "inner")
(#Cons (#TextA "locals")
- (#Cons (#TextA "closure")
+ (#Cons (#TextA "captured")
#Nil)))))]
default-def-meta-exported))
@@ -1878,7 +1878,7 @@
#seed seed #expected expected #cursor cursor
#scope-type-vars scope-type-vars}
(_lux_case (reverse scopes)
- (#Cons {#name (#;Cons module-name #Nil) #inner-closures _ #locals _ #closure _} _)
+ (#Cons {#name (#;Cons module-name #Nil) #inner _ #locals _ #captured _} _)
(#Right [state module-name])
_
@@ -4130,7 +4130,7 @@
(find (: (-> Scope (Maybe Type))
(function [env]
(case env
- {#name _ #inner-closures _ #locals {#counter _ #mappings locals} #closure {#counter _ #mappings closure}}
+ {#name _ #inner _ #locals {#counter _ #mappings locals} #captured {#counter _ #mappings closure}}
(try-both (find (: (-> [Text Void] (Maybe Type))
(function [[bname analysis]]
(let [[[type _] _] (:! (Meta [Type Cursor] Void)