affine/Mycelium
2
1
Fork 0
Code Issues 30 Pull requests Projects 4 Releases Packages Wiki Activity Actions
Mycelium/mycelium/src/lib.rs

31 lines
965 B
Rust
Raw Normal View History

Lexer and S-Expression data types The lexer is complete with tests. It fully encapsulates the logic of splitting an input document into a stream of tokens. It can be instantiated from an Rc<str>, meaning no lifetimes need be managed references to the original document (like a stringview) can be passed around carelessly. The Lexer implements the iterator method which should help elegantly design repls / compilers, etc. The S-Expression data type represents the parsed AST. The actual parsing logic is yet to be added. It is intended that the AST be the last step before compiling to bytecode. The data representation here is cons cells of datum. Formatting is implemented. Signed-off-by: Ava Affine <ava@sunnypup.io>
2025-05-07 09:19:33 -07:00
/* Mycelium Scheme
* Copyright (C) 2025 Ava Affine
*
* This program is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with this program. If not, see <https://www.gnu.org/licenses/>.
*/
#![cfg_attr(not(test), no_std)]
#![feature(let_chains)]
#![feature(iter_collect_into)]
Parser This commit adds a parser, complete with tests. The parser implements an iterator which returns Datum. It wraps around a Lexer and uses the Lexer's iterator interfact to consume lexemes. It may return an error which may wrap around a LexError or a fully lexed lexeme. In the implementation of the Parser bugs were found in the lexer package. This resulted in the lexing tests being extended as well as several small logic updates. The number package has had slight tweaks to make number representations less cumbersome. Finally, the Datum display logic in the sexpr package has also been updated. Signed-off-by: Ava Affine <ava@sunnypup.io>
2025-05-19 14:38:11 -07:00
#![feature(if_let_guard)]
Readme and early CI This commit prepares the code to be uploaded to gitlab. Included is a small readme and basic CI. Signed-off-by: Ava Affine <ava@sunnypup.io>
2025-05-21 14:58:42 -07:00
#![feature(core_float_math)]
Lexer and S-Expression data types The lexer is complete with tests. It fully encapsulates the logic of splitting an input document into a stream of tokens. It can be instantiated from an Rc<str>, meaning no lifetimes need be managed references to the original document (like a stringview) can be passed around carelessly. The Lexer implements the iterator method which should help elegantly design repls / compilers, etc. The S-Expression data type represents the parsed AST. The actual parsing logic is yet to be added. It is intended that the AST be the last step before compiling to bytecode. The data representation here is cons cells of datum. Formatting is implemented. Signed-off-by: Ava Affine <ava@sunnypup.io>
2025-05-07 09:19:33 -07:00
pub mod sexpr;
pub mod lexer;
Number library and integrations This commit adds a number library which handles fractions, floats, whole numbers, scientific notation, and special symbolic numbers all according to the R7RS small specification. Numeric trait is used to abstract operations across all number types and a Number enum is used to offer a non-opaque type that stores any kind of number. Upon the Number enum is implemented the following traits: - Add, Div, Sub, Mul - Pow - PartialEq - PartialOrd Which then offer the following operators to use on the Number enum instances themselves: + - / * == != < > <= >= and of course x.pow(y). Additionally, the number package contains parsing logic for each type of number. FromStr is implemented as part of the Numeric trait, and then in turn implemented on Number. Additionally Into<String> is implemented for the Numeric trait and then on the Number enum type as well. Test cases have been added for basic cases, but could be expanded. Additional modifications: - LexError has a custom display implementation that properly outputs formatted errors. - Sexpr package updated to use new number package Signed-off-by: Ava Affine <ava@sunnypup.io>
2025-05-15 12:49:08 -07:00
pub mod parser;
pub mod number;
StackStack and CI Updates This commit adds a new data type to the codebase. It organizes data into first in last out linked lists of first in last out linked lists. Hence the name: StackStack. This data type was made to represent frames of execution, where there there is a stack for each function call containing local variables and arguments. The following tertiary goals were also met: - no relocating of adjacent data on push or pop - no copying or cloning of contained data on modification or mutation - index access to all elements of all contained stacks starting with most recent insertions. There are operations to allocate a new stack on the stackstack and to deallocate the top stack on the stackstack. Additionally there are operations for pushing and popping from the top stack. Unit tests are added and CI is updated to include them. Signed-off-by: Ava Affine <ava@sunnypup.io>
2025-05-28 11:54:40 -07:00
pub mod stackstack;
Lexer and S-Expression data types The lexer is complete with tests. It fully encapsulates the logic of splitting an input document into a stream of tokens. It can be instantiated from an Rc<str>, meaning no lifetimes need be managed references to the original document (like a stringview) can be passed around carelessly. The Lexer implements the iterator method which should help elegantly design repls / compilers, etc. The S-Expression data type represents the parsed AST. The actual parsing logic is yet to be added. It is intended that the AST be the last step before compiling to bytecode. The data representation here is cons cells of datum. Formatting is implemented. Signed-off-by: Ava Affine <ava@sunnypup.io>
2025-05-07 09:19:33 -07:00
extern crate alloc;
Reference in a new issue Copy permalink