diff options
| author | Eduardo Julian | 2021-09-13 00:34:49 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-13 00:34:49 -0400 |
| commit | 6368253e731bd20b5f9f6891306b8302ec330d38 (patch) | |
| tree | 7193fe97b318a43214f547d0f640a1497d6c5957 /stdlib/source/library/lux.lux | |
| parent | 376c3e472fbb1e2656f8c61b26e0276570609aa1 (diff) | |
Re-named #Label to #Tag.
Diffstat (limited to 'stdlib/source/library/lux.lux')
| -rw-r--r-- | stdlib/source/library/lux.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux index 7c97c8a7f..c912c6bb1 100644 --- a/stdlib/source/library/lux.lux +++ b/stdlib/source/library/lux.lux @@ -400,7 +400,7 @@ {#Sum Label {#Sum Label Alias}}}}} - {"#Definition" "#Type" "#Label" "#Slot" "#Alias"} + {"#Definition" "#Type" "#Tag" "#Slot" "#Alias"} .public) ... (type: .public (Bindings k v) @@ -1506,7 +1506,7 @@ ({{#Some [#module_hash _ #module_aliases _ #definitions definitions #imports _ #module_state _]} ({{#Some constant} ({{#Definition _} {#Right [state full_name]} - {#Label _} {#Right [state full_name]} + {#Tag _} {#Right [state full_name]} {#Slot _} {#Right [state full_name]} {#Type _} {#Right [state full_name]} @@ -1985,7 +1985,7 @@ {#Type [exported? type labels]} {#None} - {#Label _} + {#Tag _} {#None} {#Slot _} @@ -3518,7 +3518,7 @@ (list name) (list)) - {#Label _} + {#Tag _} (list) {#Slot _} @@ -3621,7 +3621,7 @@ {#Type [exported? type labels]} {#Some ..Type} - {#Label _} + {#Tag _} {#None} {#Slot _} @@ -3654,7 +3654,7 @@ {#Type [exported? type labels]} {#Right [state [..Type type]]} - {#Label _} + {#Tag _} {#Left (text#composite "Unknown definition: " (name#encoded name))} {#Slot _} |