From 224797231a8144f6ead1baab3b4b01a74cab629c Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 21 Nov 2022 16:40:51 -0400 Subject: Added index section to documentation + re-named Primitive -> Nominal --- stdlib/source/parser/lux/data/binary.lux | 20 ++++++++++---------- stdlib/source/parser/lux/meta/type.lux | 2 +- 2 files changed, 11 insertions(+), 11 deletions(-) (limited to 'stdlib/source/parser') diff --git a/stdlib/source/parser/lux/data/binary.lux b/stdlib/source/parser/lux/data/binary.lux index 7ed8a1fdd..2aad65ba1 100644 --- a/stdlib/source/parser/lux/data/binary.lux +++ b/stdlib/source/parser/lux/data/binary.lux @@ -274,16 +274,16 @@ (let [pair (//.and type type) indexed ..nat quantified (//.and (..list type) type)] - (!variant [[0 [.#Primitive] (//.and ..text (..list type))] - [1 [.#Sum] pair] - [2 [.#Product] pair] - [3 [.#Function] pair] - [4 [.#Parameter] indexed] - [5 [.#Var] indexed] - [6 [.#Ex] indexed] - [7 [.#UnivQ] quantified] - [8 [.#ExQ] quantified] - [9 [.#Apply] pair] + (!variant [[00 [.#Nominal] (//.and ..text (..list type))] + [01 [.#Sum] pair] + [02 [.#Product] pair] + [03 [.#Function] pair] + [04 [.#Parameter] indexed] + [05 [.#Var] indexed] + [06 [.#Ex] indexed] + [07 [.#UnivQ] quantified] + [08 [.#ExQ] quantified] + [09 [.#Apply] pair] [10 [.#Named] (//.and ..symbol type)]]))))) (def .public location diff --git a/stdlib/source/parser/lux/meta/type.lux b/stdlib/source/parser/lux/meta/type.lux index 1dec4fbb1..f84ab2452 100644 --- a/stdlib/source/parser/lux/meta/type.lux +++ b/stdlib/source/parser/lux/meta/type.lux @@ -27,7 +27,7 @@ (def |recursion_dummy| (template (|recursion_dummy|) - [{.#Primitive "" {.#End}}])) + [{.#Nominal "" {.#End}}])) (with_template [] [(exception.def .public ( type) -- cgit v1.2.3