alicorn 0.1.2

Rust embedding of the Alicorn compiler
Documentation 
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81

-- SPDX-License-Identifier: Apache-2.0
-- SPDX-FileCopyrightText: 2025 Fundament Software SPC <https://fundament.software>

-- This schema was used as the target for Alicorn's format however
-- it's not currently up to date with what format/format-adapter do.
-- If the schema system is used it'll need updated
local schema = require "schema"

local S = schema.create(
	"alicorn0_syntax",
	"the raw format that an alicorn zero source text should be parsed into",
	"b2771894692e6ccdbb737b163d45ea90"
)

S:struct "anchor" "The source position information attached to a node" {
	schema.text "id"(0) "the file name or other identifying information to locate and distinguish the original source of the code", --TODO: consider making this a generic parameter to accept structured data.
	schema.u32 "line"(1) "the line number in the file",
	schema.u32 "char"(2) "the offset within the line",
}

local element = S:addstruct("element")

element:define {
	S.export.anchor "start_anchor"(0) "the source location of the element",
	schema.union "kind"(1) "What syntactic element this represents" {
		schema.variant "list"(2) {
			schema.list(element) "elements"(3),
			S.export.anchor "end_anchor"(4),
		},
		schema.variant "symbol"(5) {
			schema.text "str"(6),
		},
		schema.variant "string"(7) {
			schema.list(element) "elements"(8) "A string contains a list of elements corresponding to parts of the literal. Every splice becomes a separate element, and the region between them is a literal byte buffer element",
			S.export.anchor "end_anchor"(9),
		},
		schema.variant "literal"(10) {
			schema.union "literaltype"(11) {
				schema.variant "u8"(12) {
					schema.u8 "val"(13),
				},
				schema.variant "i8"(14) {
					schema.i8 "val"(15),
				},
				schema.variant "u16"(16) {
					schema.u16 "val"(17),
				},
				schema.variant "i16"(18) {
					schema.i16 "val"(19),
				},
				schema.variant "u32"(20) {
					schema.u32 "val"(21),
				},
				schema.variant "i32"(22) {
					schema.i32 "val"(23),
				},
				schema.variant "u64"(24) {
					schema.u64 "val"(25),
				},
				schema.variant "i64"(26) {
					schema.i64 "val"(27),
				},
				schema.variant "f16"(28) {
					schema.f16 "val"(29),
				},
				schema.variant "f32"(30) {
					schema.f32 "val"(31),
				},
				schema.variant "f64"(32) {
					schema.f64 "val"(33),
				},
				schema.variant "bytes"(34) {
					schema.list(schema.u8) "val"(35),
				},
				schema.variant "unit"(36) {},
			},
		},
	},
}

return S