more changes
This commit is contained in:
parent
e649cef425
commit
a888c09bd5
GPG key ID:
744AB800E383AE52
20 changed files with 377 additions and 160 deletions
27
Cargo.lock
generated
27
Cargo.lock
generated
|
|
@ -114,7 +114,7 @@ dependencies = [
|
|||
"heck",
|
||||
"proc-macro2",
|
||||
"quote",
|
||||
"syn",
|
||||
"syn 2.0.48",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
|
|
@ -220,12 +220,26 @@ version = "0.1.0"
|
|||
dependencies = [
|
||||
"clap",
|
||||
"matrix",
|
||||
"matrix-stdlib",
|
||||
"rustyline",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "matrix-macros"
|
||||
version = "0.1.0"
|
||||
dependencies = [
|
||||
"matrix",
|
||||
"quote",
|
||||
"syn 1.0.109",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "matrix-stdlib"
|
||||
version = "0.1.0"
|
||||
dependencies = [
|
||||
"matrix",
|
||||
"matrix-macros",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "memchr"
|
||||
|
|
@ -407,6 +421,17 @@ version = "0.11.0"
|
|||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "5ee073c9e4cd00e28217186dbe12796d692868f432bf2e97ee73bed0c56dfa01"
|
||||
|
||||
[[package]]
|
||||
name = "syn"
|
||||
version = "1.0.109"
|
||||
source = "registry+https://github.com/rust-lang/crates.io-index"
|
||||
checksum = "72b64191b275b66ffe2469e8af2c1cfe3bafa67b529ead792a6d0160888b4237"
|
||||
dependencies = [
|
||||
"proc-macro2",
|
||||
"quote",
|
||||
"unicode-ident",
|
||||
]
|
||||
|
||||
[[package]]
|
||||
name = "syn"
|
||||
version = "2.0.48"
|
||||
|
|
|
|||
|
|
@ -1,3 +1,3 @@
|
|||
[workspace]
|
||||
resolver = "2"
|
||||
members = [ "matrix", "matrix-bin" , "matrix-stdlib"]
|
||||
members = [ "matrix", "matrix-bin" , "matrix-macros", "matrix-stdlib"]
|
||||
|
|
|
|||
5
a.mat
5
a.mat
|
|
@ -1,5 +0,0 @@
|
|||
a = 0;
|
||||
|
||||
while a < 1000000000 { a = a + 1 };
|
||||
|
||||
|
||||
|
|
@ -9,5 +9,7 @@ path = "src/main.rs"
|
|||
|
||||
[dependencies]
|
||||
clap = { version = "4", features = [ "derive" ] }
|
||||
ctrlc = "3"
|
||||
matrix = { path = "../matrix" }
|
||||
matrix-stdlib = { path = "../matrix-stdlib" }
|
||||
rustyline = "13"
|
||||
|
|
|
|||
|
|
@ -1,6 +1,6 @@
|
|||
use std::{path::PathBuf, io::{self, Read, IsTerminal}, fs};
|
||||
use clap::Parser as ArgParser;
|
||||
use matrix::{compiler::{Compiler, CompilerBuilder}, vm::Vm, parse::{Parser, ParserBuilder}};
|
||||
use matrix::{compiler::{Compiler, CompilerBuilder}, vm::Vm, parse::{Parser, ParserBuilder}, value::Value};
|
||||
use repl::Repl;
|
||||
|
||||
mod repl;
|
||||
|
|
@ -50,24 +50,24 @@ impl<'a> State<'a> {
|
|||
let parser = ParserBuilder::new()
|
||||
.optimize(!args.disable_optimizations)
|
||||
.build();
|
||||
let vm = Vm::new();
|
||||
let mut vm = Vm::new();
|
||||
let compiler = CompilerBuilder::new()
|
||||
.repl(repl)
|
||||
.debug(args.debug)
|
||||
.names(vm.names())
|
||||
.globals(vm.global_names())
|
||||
.build();
|
||||
|
||||
matrix_stdlib::load(&mut vm);
|
||||
|
||||
(Self { parser, vm, compiler, repl }, file)
|
||||
}
|
||||
|
||||
pub fn execute(&mut self, code: String) -> matrix::Result<()> {
|
||||
pub fn execute(&mut self, code: String) -> matrix::Result<Value> {
|
||||
let ast = self.parser.parse(code)?;
|
||||
let fun = self.compiler.compile(&ast)?;
|
||||
let val = self.vm.run(fun)?;
|
||||
if self.repl {
|
||||
println!("{val}");
|
||||
}
|
||||
Ok(())
|
||||
Ok(val)
|
||||
}
|
||||
|
||||
}
|
||||
|
|
|
|||
|
|
@ -1,3 +1,8 @@
|
|||
use std::{io::Write, sync::atomic::Ordering};
|
||||
|
||||
use matrix::{value::Value, vm::Interupt};
|
||||
use rustyline::Config;
|
||||
|
||||
use crate::State;
|
||||
|
||||
pub struct Repl<'a> {
|
||||
|
|
@ -11,15 +16,30 @@ impl<'a> Repl<'a> {
|
|||
}
|
||||
|
||||
pub fn run(&mut self) {
|
||||
let mut rl = rustyline::DefaultEditor::new().unwrap();
|
||||
|
||||
let interupt = self.state.vm.interupt();
|
||||
ctrlc::set_handler(move || {
|
||||
interupt.store(Interupt::KeyboardInterupt as usize, Ordering::SeqCst);
|
||||
}).unwrap();
|
||||
|
||||
let config = Config::builder()
|
||||
.check_cursor_position(true)
|
||||
.build();
|
||||
let mut rl = rustyline::DefaultEditor::with_config(config).unwrap();
|
||||
loop {
|
||||
let Ok(line) = rl.readline(">> ") else {
|
||||
break;
|
||||
};
|
||||
if let Err(err) = self.state.execute(line) {
|
||||
crate::error(err);
|
||||
match self.state.execute(line) {
|
||||
Err(err) => crate::error(err),
|
||||
Ok(val) => {
|
||||
if val != Value::Nil {
|
||||
println!("{val}");
|
||||
}
|
||||
}
|
||||
}
|
||||
let _ = std::io::stdout().flush();
|
||||
}
|
||||
}
|
||||
|
||||
}
|
||||
|
|
|
|||
12
matrix-macros/Cargo.toml
Normal file
12
matrix-macros/Cargo.toml
Normal file
|
|
@ -0,0 +1,12 @@
|
|||
[package]
|
||||
name = "matrix-macros"
|
||||
version = "0.1.0"
|
||||
edition = "2021"
|
||||
|
||||
[lib]
|
||||
proc-macro = true
|
||||
|
||||
[dependencies]
|
||||
syn = { version = "1", features = ["full"] }
|
||||
quote = "1"
|
||||
matrix = { path = "../matrix" }
|
||||
52
matrix-macros/src/lib.rs
Normal file
52
matrix-macros/src/lib.rs
Normal file
|
|
@ -0,0 +1,52 @@
|
|||
use proc_macro::TokenStream;
|
||||
use syn::{ItemFn, parse::Parse, Token, LitBool, LitInt};
|
||||
use quote::quote;
|
||||
|
||||
struct NativeFuncParams {
|
||||
arity: LitInt,
|
||||
variadic: LitBool,
|
||||
}
|
||||
|
||||
impl Parse for NativeFuncParams {
|
||||
fn parse(input: syn::parse::ParseStream) -> syn::Result<Self> {
|
||||
let arity = input.parse()?;
|
||||
input.parse::<Token![,]>()?;
|
||||
let variadic = input.parse()?;
|
||||
Ok(Self { arity , variadic })
|
||||
}
|
||||
}
|
||||
|
||||
#[proc_macro_attribute]
|
||||
pub fn native_func(input: TokenStream, annotated_item: TokenStream) -> TokenStream {
|
||||
let itemfn: ItemFn = syn::parse(annotated_item).unwrap();
|
||||
|
||||
let input: NativeFuncParams = syn::parse(input).unwrap();
|
||||
let arity = input.arity;
|
||||
let variadic = input.variadic;
|
||||
|
||||
let visibility = itemfn.vis;
|
||||
let block = itemfn.block;
|
||||
let name = itemfn.sig.ident;
|
||||
let name_str = name.to_string();
|
||||
let inputs = itemfn.sig.inputs;
|
||||
let output = itemfn.sig.output;
|
||||
|
||||
assert!(itemfn.sig.constness.is_none(), "item must not be const");
|
||||
assert!(itemfn.sig.asyncness.is_none(), "item must not be async");
|
||||
assert!(itemfn.sig.unsafety.is_none(), "item must not be unsafe");
|
||||
assert!(itemfn.sig.abi.is_none(), "item must not contain an ABI specifier");
|
||||
assert!(itemfn.sig.variadic.is_none(), "item must not be variadic");
|
||||
|
||||
let expanded = quote! {
|
||||
#visibility fn #name() -> ::std::rc::Rc< ::matrix::chunk::Function> {
|
||||
::std::rc::Rc::new( ::matrix::chunk::Function {
|
||||
name: ::std::rc::Rc::from( #name_str ),
|
||||
arity: #arity,
|
||||
variadic: #variadic,
|
||||
fun: ::matrix::chunk::InnerFunction::Native(Box::new(|#inputs| #output #block))
|
||||
})
|
||||
}
|
||||
};
|
||||
|
||||
TokenStream::from(expanded)
|
||||
}
|
||||
|
|
@ -6,3 +6,5 @@ edition = "2021"
|
|||
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
|
||||
|
||||
[dependencies]
|
||||
matrix = { path = "../matrix" }
|
||||
matrix-macros = { path = "../matrix-macros" }
|
||||
|
|
|
|||
36
matrix-stdlib/src/io.rs
Normal file
36
matrix-stdlib/src/io.rs
Normal file
|
|
@ -0,0 +1,36 @@
|
|||
use matrix::{value::Value, self, vm::Vm, Result};
|
||||
use matrix_macros::native_func;
|
||||
|
||||
#[native_func(1, true)]
|
||||
fn print(_vm: &mut Vm, args: Vec<Value>) -> Result<Value> {
|
||||
let [values] = args.try_into().unwrap();
|
||||
if let Value::List(list) = values {
|
||||
for (i, value) in list.iter().enumerate() {
|
||||
print!("{}", value.boring_print());
|
||||
if i != 0 {
|
||||
print!(" ");
|
||||
}
|
||||
}
|
||||
}
|
||||
Ok(Value::Nil)
|
||||
}
|
||||
|
||||
#[native_func(1, true)]
|
||||
fn println(_vm: &mut Vm, args: Vec<Value>) -> Result<Value> {
|
||||
let [values] = args.try_into().unwrap();
|
||||
if let Value::List(list) = values {
|
||||
for (i, value) in list.iter().enumerate() {
|
||||
print!("{}", value.boring_print());
|
||||
if i != 0 {
|
||||
print!(" ");
|
||||
}
|
||||
}
|
||||
}
|
||||
print!("\n");
|
||||
Ok(Value::Nil)
|
||||
}
|
||||
|
||||
pub fn load(vm: &mut Vm) {
|
||||
vm.load_native_fn(print());
|
||||
vm.load_native_fn(println());
|
||||
}
|
||||
|
|
@ -1,14 +1,7 @@
|
|||
pub fn add(left: usize, right: usize) -> usize {
|
||||
left + right
|
||||
}
|
||||
use matrix::vm::Vm;
|
||||
|
||||
#[cfg(test)]
|
||||
mod tests {
|
||||
use super::*;
|
||||
mod io;
|
||||
|
||||
#[test]
|
||||
fn it_works() {
|
||||
let result = add(2, 2);
|
||||
assert_eq!(result, 4);
|
||||
}
|
||||
pub fn load(compiler: &mut Vm) {
|
||||
io::load(compiler);
|
||||
}
|
||||
|
|
|
|||
|
|
@ -57,7 +57,8 @@ pub enum Expr {
|
|||
Assign(Box<Expr>, Box<Expr>),
|
||||
|
||||
If(Box<Expr>, Box<Expr>, Option<Box<Expr>>),
|
||||
Function(Rc<str>, Vec<Rc<str>>, Box<Expr>),
|
||||
Function(Rc<str>, Vec<Rc<str>>, Box<Expr>, bool),
|
||||
Lambda(Vec<Rc<str>>, Box<Expr>, bool),
|
||||
|
||||
Loop(Box<Expr>),
|
||||
While(Box<Expr>, Box<Expr>),
|
||||
|
|
@ -279,10 +280,14 @@ pub fn optimize(expr: Expr) -> Result<Expr> {
|
|||
let block = Box::new(optimize(*block)?);
|
||||
E::Loop(block)
|
||||
},
|
||||
E::Function(ident, params, stmt) => {
|
||||
E::Function(ident, params, stmt, varadic) => {
|
||||
let stmt = Box::new(optimize(*stmt)?);
|
||||
E::Function(ident, params, stmt)
|
||||
E::Function(ident, params, stmt, varadic)
|
||||
}
|
||||
E::Lambda(params, stmt, varadic) => {
|
||||
let stmt = Box::new(optimize(*stmt)?);
|
||||
E::Lambda(params, stmt, varadic)
|
||||
},
|
||||
E::Let(ident, expr) => {
|
||||
E::Let(ident, Box::new(optimize(*expr)?))
|
||||
},
|
||||
|
|
|
|||
|
|
@ -1,4 +1,4 @@
|
|||
use crate::{value::Value, ast::{UnaryOp, BinaryOp}};
|
||||
use crate::{value::Value, ast::{UnaryOp, BinaryOp}, vm::Vm, Result};
|
||||
use std::{fmt::{Debug, Display}, rc::Rc};
|
||||
|
||||
#[derive(Clone)]
|
||||
|
|
@ -36,11 +36,30 @@ impl Display for Chunk {
|
|||
}
|
||||
}
|
||||
|
||||
#[derive(Debug, Clone)]
|
||||
pub struct Function {
|
||||
pub name: Rc<str>,
|
||||
pub arity: usize,
|
||||
pub body: Chunk
|
||||
pub variadic: bool,
|
||||
pub fun: InnerFunction
|
||||
}
|
||||
|
||||
pub enum InnerFunction {
|
||||
Compiled(Rc<Chunk>),
|
||||
Native(Box<dyn Fn(&mut Vm, Vec<Value>) -> Result<Value>>),
|
||||
}
|
||||
|
||||
impl Debug for Function {
|
||||
fn fmt(&self, f: &mut std::fmt::Formatter<'_>) -> std::fmt::Result {
|
||||
use InnerFunction as F;
|
||||
match self.fun {
|
||||
F::Compiled(_) => {
|
||||
write!(f, "[Function {}]", self.name)
|
||||
},
|
||||
F::Native(_) => {
|
||||
write!(f, "[NativeFunction {}]", self.name)
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
#[derive(Clone, Debug)]
|
||||
|
|
|
|||
|
|
@ -1,13 +1,15 @@
|
|||
use std::{fmt::Display, rc::Rc, cell::RefCell};
|
||||
use crate::{ast::Expr, chunk::{Function, Instruction}, chunk::{Chunk, self}, value::Value, Result};
|
||||
use crate::{ast::Expr, chunk::{Function, Instruction, InnerFunction}, chunk::{Chunk, self}, value::Value, Result};
|
||||
|
||||
use Instruction as I;
|
||||
use Value as V;
|
||||
use Expr as E;
|
||||
|
||||
pub type NamesTable = Rc<RefCell<Vec<Rc<str>>>>;
|
||||
|
||||
pub struct CompilerBuilder<'c> {
|
||||
globals: Rc<RefCell<Vec<Rc<str>>>>,
|
||||
names: Rc<RefCell<Vec<Rc<str>>>>,
|
||||
globals: NamesTable,
|
||||
names: NamesTable,
|
||||
repl: bool,
|
||||
debug: bool,
|
||||
name: Rc<str>,
|
||||
|
|
@ -37,12 +39,12 @@ impl<'c> CompilerBuilder<'c> {
|
|||
self
|
||||
}
|
||||
|
||||
pub fn globals(mut self, globals: Rc<RefCell<Vec<Rc<str>>>>) -> Self {
|
||||
pub fn globals(mut self, globals: NamesTable) -> Self {
|
||||
self.globals = globals;
|
||||
self
|
||||
}
|
||||
|
||||
pub fn names(mut self, names: Rc<RefCell<Vec<Rc<str>>>>) -> Self {
|
||||
pub fn names(mut self, names: NamesTable) -> Self {
|
||||
self.names = names;
|
||||
self
|
||||
}
|
||||
|
|
@ -133,6 +135,8 @@ impl<'c> Compiler<'c> {
|
|||
CompilerBuilder::new()
|
||||
.name(name)
|
||||
.debug(self.debug)
|
||||
.globals(self.globals.clone())
|
||||
.names(self.names.clone())
|
||||
.repl(false)
|
||||
.parent(self)
|
||||
.build()
|
||||
|
|
@ -269,13 +273,14 @@ impl<'c> Compiler<'c> {
|
|||
self.compile_expr(elseb)?;
|
||||
}
|
||||
},
|
||||
E::Function(name, params, body) => {
|
||||
E::Function(name, params, body, varadic) => {
|
||||
let chunk = self.compile_function(name.clone(), params, body)?;
|
||||
let fun = Value::Function(Rc::new(
|
||||
chunk::Function {
|
||||
name: name.clone(),
|
||||
arity: params.len(),
|
||||
body: chunk
|
||||
fun: InnerFunction::Compiled(chunk.into()),
|
||||
variadic: *varadic
|
||||
}
|
||||
));
|
||||
self.emit_const(fun);
|
||||
|
|
@ -288,6 +293,19 @@ impl<'c> Compiler<'c> {
|
|||
self.emit(I::CreateLocal);
|
||||
}
|
||||
},
|
||||
E::Lambda(params, body, varadic) => {
|
||||
let name: Rc<str> = Rc::from("<lambda>");
|
||||
let chunk = self.compile_function(name.clone(), params, body)?;
|
||||
let fun = Value::Function(Rc::new(
|
||||
chunk::Function {
|
||||
name: name.clone(),
|
||||
arity: params.len(),
|
||||
fun: InnerFunction::Compiled(chunk.into()),
|
||||
variadic: *varadic
|
||||
}
|
||||
));
|
||||
self.emit_const(fun);
|
||||
},
|
||||
E::Loop(expr) => {
|
||||
let idx = self.cur();
|
||||
self.loop_top.push((idx as usize, self.scopes.len()));
|
||||
|
|
@ -365,7 +383,9 @@ impl<'c> Compiler<'c> {
|
|||
},
|
||||
E::Literal(val) => self.compile_value(val),
|
||||
E::Ident(name) => {
|
||||
if let Some(local) = self.find_local(name) {
|
||||
if name.as_ref() == "_" {
|
||||
self.emit(I::Nil);
|
||||
} else if let Some(local) = self.find_local(name) {
|
||||
self.emit(I::LoadLocal(local.idx as u16));
|
||||
} else if let Some(global) = self.find_global(name) {
|
||||
self.emit(I::LoadGlobal(global as u16));
|
||||
|
|
@ -377,7 +397,7 @@ impl<'c> Compiler<'c> {
|
|||
self.compile_expr(rhs)?;
|
||||
self.emit(I::Dup);
|
||||
match lhs.as_ref() {
|
||||
E::Ident(name) => {
|
||||
E::Ident(name) if name.as_ref() != "_" => {
|
||||
if let Some(local) = self.find_local(&name) {
|
||||
self.emit(I::StoreLocal(local.idx as u16));
|
||||
} else if let Some(global) = self.find_global(&name) {
|
||||
|
|
@ -540,7 +560,7 @@ impl<'c> Compiler<'c> {
|
|||
self.chunk = Chunk::new();
|
||||
self.compile_expr(body)?;
|
||||
self.finish()?;
|
||||
let fun = Function { name: self.name.clone(), body: self.chunk.clone(), arity: 0 };
|
||||
let fun = Function { name: self.name.clone(), fun: InnerFunction::Compiled(self.chunk.clone().into()), arity: 0, variadic: false };
|
||||
Ok(Rc::new(fun))
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -24,9 +24,9 @@ impl<T> Gc<T> {
|
|||
}
|
||||
|
||||
impl <T: Clone> Gc<T> {
|
||||
pub fn clone_inside(&mut self) -> Self {
|
||||
pub fn clone_inside(&self) -> Self {
|
||||
unsafe {
|
||||
let data = self.ptr.as_mut().data.clone();
|
||||
let data = self.ptr.as_ref().data.clone();
|
||||
Self::new(data)
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -47,6 +47,8 @@ pub enum Token {
|
|||
Comma,
|
||||
Range,
|
||||
Colon,
|
||||
Backslash,
|
||||
Varadic,
|
||||
|
||||
// math
|
||||
Regex(RegexToken),
|
||||
|
|
@ -443,6 +445,7 @@ impl Lexer {
|
|||
'{' => LeftBrace,
|
||||
'}' => RightBrace,
|
||||
':' => Colon,
|
||||
'\\' => Backslash,
|
||||
';' => SemiColon,
|
||||
'+' => {
|
||||
match next {
|
||||
|
|
@ -627,7 +630,14 @@ impl Lexer {
|
|||
},
|
||||
'.' => {
|
||||
if next == '.' {
|
||||
Range
|
||||
self.next();
|
||||
match self.peek() {
|
||||
'.' => {
|
||||
self.next();
|
||||
Varadic
|
||||
},
|
||||
_ => Range
|
||||
}
|
||||
} else if next.is_digit(10) {
|
||||
self.lex_number(char)?
|
||||
} else {
|
||||
|
|
|
|||
|
|
@ -40,7 +40,7 @@ pub enum Error {
|
|||
UnexpectedToken(Token),
|
||||
ExpectedToken(Token),
|
||||
ExpectedTokenName(&'static str),
|
||||
MatrixCoDomainError(usize, usize, usize),
|
||||
MatrixInvDomain(usize, usize, usize),
|
||||
NotAssignable(Expr),
|
||||
ValueError(value::Error),
|
||||
}
|
||||
|
|
@ -53,7 +53,7 @@ impl Display for Error {
|
|||
UnexpectedToken(tok) => write!(f, "Unexpected token: '{tok:?}'"),
|
||||
ExpectedToken(tok) => write!(f, "Expected token: '{tok:?}'"),
|
||||
ExpectedTokenName(name) => write!(f, "Expected {name} token"),
|
||||
MatrixCoDomainError(row, should, was) => write!(f, "In col {row} of matrix, codomain was expected to be {should} but was given {was}"),
|
||||
MatrixInvDomain(row, should, was) => write!(f, "In row {row} of matrix, domain was expected to be {should} but was given {was}"),
|
||||
NotAssignable(expr) => write!(f, "{expr:?} is not assignable"),
|
||||
ValueError(err) => write!(f, "{err}"),
|
||||
}
|
||||
|
|
@ -199,11 +199,11 @@ impl Parser {
|
|||
if parts.len() == 1 {
|
||||
Ok(E::List(parts.pop().unwrap()))
|
||||
} else {
|
||||
let codomain = parts[0].len();
|
||||
let domain = parts.len();
|
||||
let codomain = parts.len();
|
||||
let domain = parts[0].len();
|
||||
for (i, part) in parts.iter().enumerate() {
|
||||
if part.len() != codomain {
|
||||
return Err(Error::MatrixCoDomainError(i, codomain, part.len()).into())
|
||||
return Err(Error::MatrixInvDomain(i, domain, part.len()).into())
|
||||
}
|
||||
}
|
||||
let mut data = Vec::new();
|
||||
|
|
@ -259,20 +259,29 @@ impl Parser {
|
|||
Ok(expr)
|
||||
}
|
||||
|
||||
fn parse_params(&mut self) -> Result<Vec<Rc<str>>> {
|
||||
fn parse_params(&mut self) -> Result<(Vec<Rc<str>>, bool)> {
|
||||
use T::*;
|
||||
let tok = self.lexer.next_token()?;
|
||||
match tok {
|
||||
Ident(ident) => return Ok(vec![ident]),
|
||||
Ident(ident) => {
|
||||
let params = vec![ident];
|
||||
if self.lexer.peek_token()? == T::Varadic {
|
||||
self.lexer.next_token()?;
|
||||
return Ok((params, true))
|
||||
} else {
|
||||
return Ok((params, false))
|
||||
}
|
||||
}
|
||||
LeftParen => (),
|
||||
_ => return Err(Error::UnexpectedToken(tok).into()),
|
||||
}
|
||||
|
||||
let mut params = Vec::new();
|
||||
let mut varadic = false;
|
||||
|
||||
if self.lexer.peek_token()? == T::RightParen {
|
||||
self.lexer.next_token()?;
|
||||
return Ok(params);
|
||||
return Ok((params, varadic));
|
||||
}
|
||||
|
||||
loop {
|
||||
|
|
@ -280,13 +289,18 @@ impl Parser {
|
|||
params.push(ident);
|
||||
let next = self.lexer.next_token()?;
|
||||
match next {
|
||||
Varadic => {
|
||||
varadic = true;
|
||||
self.force_token(T::RightParen)?;
|
||||
break;
|
||||
}
|
||||
Comma => continue,
|
||||
RightParen => break,
|
||||
_ => return Err(Error::UnexpectedToken(next).into()),
|
||||
}
|
||||
}
|
||||
|
||||
Ok(params)
|
||||
Ok((params, varadic))
|
||||
}
|
||||
|
||||
fn parse_ident(&mut self) -> Result<Rc<str>> {
|
||||
|
|
@ -308,12 +322,23 @@ impl Parser {
|
|||
fn parse_function(&mut self) -> Result<Expr> {
|
||||
self.force_token(T::Function)?;
|
||||
let ident = self.parse_ident()?;
|
||||
let params = match self.lexer.peek_token()? {
|
||||
T::LeftBrace => vec![],
|
||||
let (params, varadic) = match self.lexer.peek_token()? {
|
||||
T::LeftBrace => (vec![], false),
|
||||
_ => self.parse_params()?,
|
||||
};
|
||||
let expr = self.parse_expr()?;
|
||||
Ok(E::Function(ident, params, Box::new(expr)))
|
||||
Ok(E::Function(ident, params, Box::new(expr), varadic))
|
||||
}
|
||||
|
||||
fn parse_lambda(&mut self) -> Result<Expr> {
|
||||
self.force_token(T::Backslash)?;
|
||||
let (params, varadic) = match self.lexer.peek_token()? {
|
||||
T::Arrow => (vec![], false),
|
||||
_ => self.parse_params()?,
|
||||
};
|
||||
self.force_token(T::Arrow)?;
|
||||
let expr = self.parse_expr()?;
|
||||
Ok(E::Lambda(params, Box::new(expr), varadic))
|
||||
}
|
||||
|
||||
fn parse_do_while(&mut self) -> Result<Expr> {
|
||||
|
|
@ -387,7 +412,7 @@ impl Parser {
|
|||
match next {
|
||||
T::SemiColon => continue,
|
||||
T::RightBrace => break,
|
||||
_ => return Err(Error::UnexpectedToken(next).into())
|
||||
_ => return Err(Error::ExpectedToken(T::SemiColon).into())
|
||||
}
|
||||
}
|
||||
if self.lexer.peek_token()? == T::RightBrace {
|
||||
|
|
@ -416,6 +441,7 @@ impl Parser {
|
|||
use T::*;
|
||||
match self.lexer.peek_token()? {
|
||||
Function => self.parse_function(),
|
||||
Backslash => self.parse_lambda(),
|
||||
Do => self.parse_do_while(),
|
||||
While => self.parse_while(),
|
||||
Let => self.parse_let(),
|
||||
|
|
@ -641,6 +667,11 @@ impl Parser {
|
|||
};
|
||||
let expr = self.parse_expr()?;
|
||||
block.push(expr);
|
||||
match self.lexer.next_token()? {
|
||||
T::Eof => break,
|
||||
T::SemiColon => continue,
|
||||
_ => return Err(Error::ExpectedToken(T::SemiColon).into())
|
||||
};
|
||||
}
|
||||
Ok(E::Block(block))
|
||||
}
|
||||
|
|
|
|||
|
|
@ -171,18 +171,17 @@ impl Value {
|
|||
str
|
||||
},
|
||||
Matrix(m) => {
|
||||
let mut str = "[[".to_string();
|
||||
for (i, el) in m.2.iter().enumerate() {
|
||||
if i != 0 {
|
||||
if (i % m.1) == 0 {
|
||||
str.push_str(" ; ");
|
||||
} else {
|
||||
let mut str = "\n".to_string();
|
||||
for row in m.2.chunks(m.0) {
|
||||
str.push_str(" ");
|
||||
for (i, v) in row.iter().enumerate() {
|
||||
if i != 0 {
|
||||
str.push(' ');
|
||||
}
|
||||
str.push_str(&v.boring_print());
|
||||
}
|
||||
str.push_str(&el.boring_print());
|
||||
str.push('\n');
|
||||
}
|
||||
str.push_str("]]");
|
||||
str
|
||||
},
|
||||
Table(t) => {
|
||||
|
|
@ -199,7 +198,7 @@ impl Value {
|
|||
str
|
||||
},
|
||||
Function(fun) => {
|
||||
format!("[Function: {}]", fun.name)
|
||||
format!("{fun:?}")
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
@ -227,18 +226,17 @@ impl Value {
|
|||
str
|
||||
},
|
||||
Matrix(m) => {
|
||||
let mut str = "[[".to_string();
|
||||
for (i, el) in m.2.iter().enumerate() {
|
||||
if i != 0 {
|
||||
if (i % m.1) == 0 {
|
||||
str.push_str(" ; ");
|
||||
} else {
|
||||
let mut str = "\n".to_string();
|
||||
for row in m.2.chunks(m.0) {
|
||||
str.push_str(" ");
|
||||
for (i, v) in row.iter().enumerate() {
|
||||
if i != 0 {
|
||||
str.push(' ');
|
||||
}
|
||||
str.push_str(&v.pretty_print());
|
||||
}
|
||||
str.push_str(&el.pretty_print());
|
||||
str.push('\n');
|
||||
}
|
||||
str.push_str("]]");
|
||||
str
|
||||
},
|
||||
Table(t) => {
|
||||
|
|
@ -256,7 +254,7 @@ impl Value {
|
|||
},
|
||||
Function(_) => {
|
||||
format!("\x1b[36m{}\x1b[0m", self.boring_print())
|
||||
}
|
||||
},
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
@ -449,6 +447,16 @@ impl Value {
|
|||
(l, r) => Err(Error::Exponent(l, r).into())
|
||||
}
|
||||
}
|
||||
|
||||
pub fn clone_inside(&self) -> Self {
|
||||
use Value as V;
|
||||
match self {
|
||||
V::List(l) => V::List(l.clone_inside()),
|
||||
V::Table(t) => V::Table(t.clone_inside()),
|
||||
V::Matrix(m) => V::Matrix(m.clone_inside()),
|
||||
_ => self.clone()
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
impl Eq for Value {}
|
||||
|
|
@ -523,7 +531,7 @@ impl Value {
|
|||
return Err(Error::IndexOutOfBounds(*i as usize, l.len()).into())
|
||||
}
|
||||
Ok(l[*i as usize].clone())
|
||||
}
|
||||
},
|
||||
_ => return Err(self::Error::BadIndex(self.clone(), index.clone()).into())
|
||||
}
|
||||
}
|
||||
|
|
@ -553,7 +561,7 @@ impl Value {
|
|||
|
||||
pub fn index(&self, index: &Vec<Value>) -> Result<Self> {
|
||||
if index.len() == 0 {
|
||||
Ok(self.clone())
|
||||
Ok(self.clone_inside())
|
||||
} else if index.len() == 1 {
|
||||
self.index_single(&index[0])
|
||||
} else {
|
||||
|
|
|
|||
|
|
@ -1,5 +1,5 @@
|
|||
use std::{rc::Rc, fmt::{Debug, Display}, usize, ops::{Index, IndexMut}, collections::HashMap, cell::RefCell};
|
||||
use crate::{value::{Value, self, ValueMap}, gc::Gc, chunk::{Function, Instruction}, Result};
|
||||
use crate::{value::{Value, self, ValueMap}, gc::Gc, chunk::{Function, Instruction, Chunk, InnerFunction}, Result, compiler::NamesTable};
|
||||
|
||||
#[derive(Debug)]
|
||||
pub enum Error {
|
||||
|
|
@ -7,6 +7,7 @@ pub enum Error {
|
|||
NotFunction(Value),
|
||||
InvArity(usize, usize, Rc<str>),
|
||||
UndefinedGlobal(Rc<str>),
|
||||
ExecNative,
|
||||
}
|
||||
|
||||
impl std::error::Error for Error {}
|
||||
|
|
@ -19,6 +20,7 @@ impl Display for Error {
|
|||
NotFunction(v) => write!(f, "{v:?} is not a function"),
|
||||
InvArity(wanted, had, name) => write!(f, "function {name} takes {wanted} params but was given {had}"),
|
||||
UndefinedGlobal(name) => write!(f, "{name} is not defined"),
|
||||
ExecNative => write!(f, "cannot execute a native function"),
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
@ -88,17 +90,20 @@ impl<T> Index<usize> for Stack<T> {
|
|||
}
|
||||
|
||||
struct StackFrame {
|
||||
fun: Rc<Function>,
|
||||
#[allow(dead_code)]
|
||||
name: Rc<str>,
|
||||
body: Rc<Chunk>,
|
||||
ip: usize,
|
||||
bp: usize,
|
||||
}
|
||||
|
||||
impl StackFrame {
|
||||
fn new(vm: &Vm, fun: Rc<Function>) -> Self {
|
||||
fn new(vm: &Vm, name: Rc<str>, body: Rc<Chunk>, arity: usize) -> Self {
|
||||
Self {
|
||||
bp: vm.stack.len() - fun.arity,
|
||||
name,
|
||||
body,
|
||||
bp: vm.stack.len() - arity,
|
||||
ip: 0,
|
||||
fun,
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
@ -108,7 +113,8 @@ pub struct Vm {
|
|||
locals: Stack<Value>,
|
||||
frames: Vec<StackFrame>,
|
||||
globals: HashMap<u16, Value>,
|
||||
names: Rc<RefCell<Vec<Rc<str>>>>,
|
||||
names: NamesTable,
|
||||
global_names: NamesTable,
|
||||
}
|
||||
|
||||
impl Vm {
|
||||
|
|
@ -121,10 +127,14 @@ impl Vm {
|
|||
self.stack.pop()
|
||||
}
|
||||
|
||||
pub fn names(&self) -> Rc<RefCell<Vec<Rc<str>>>> {
|
||||
pub fn names(&self) -> NamesTable {
|
||||
self.names.clone()
|
||||
}
|
||||
|
||||
pub fn global_names(&self) -> NamesTable {
|
||||
self.global_names.clone()
|
||||
}
|
||||
|
||||
pub fn new() -> Self {
|
||||
Self {
|
||||
stack: Stack::new(),
|
||||
|
|
@ -132,14 +142,33 @@ impl Vm {
|
|||
frames: Vec::new(),
|
||||
globals: HashMap::new(),
|
||||
names: Rc::new(RefCell::new(Vec::new())),
|
||||
global_names: Rc::new(RefCell::new(Vec::new()))
|
||||
}
|
||||
}
|
||||
|
||||
pub fn load_native_fn(&mut self, fun: Rc<Function>) {
|
||||
let idx = self.global_names.borrow().len();
|
||||
self.global_names.borrow_mut().push(fun.name.clone());
|
||||
self.globals.insert(idx as u16, Value::Function(fun));
|
||||
}
|
||||
|
||||
fn init_frame(&mut self, fun: Rc<Function>) -> Result<StackFrame> {
|
||||
let InnerFunction::Compiled(ref compiled_chunk) = fun.fun else {
|
||||
return Err(self::Error::ExecNative.into())
|
||||
};
|
||||
Ok(StackFrame::new(
|
||||
self,
|
||||
fun.name.clone(),
|
||||
compiled_chunk.clone(),
|
||||
fun.arity
|
||||
))
|
||||
}
|
||||
|
||||
pub fn run(&mut self, fun: Rc<Function>) -> Result<Value> {
|
||||
let mut frame = StackFrame::new(&self, fun);
|
||||
let mut frame = self.init_frame(fun)?;
|
||||
loop {
|
||||
use Instruction::*;
|
||||
let ins = frame.fun.body.code[frame.ip].clone();
|
||||
let ins = frame.body.code[frame.ip].clone();
|
||||
frame.ip += 1;
|
||||
|
||||
match ins {
|
||||
|
|
@ -159,7 +188,7 @@ impl Vm {
|
|||
let val = self.pop();
|
||||
self.globals.insert(idx, val);
|
||||
},
|
||||
Const(idx) => self.push(frame.fun.body.constants[idx as usize].clone()),
|
||||
Const(idx) => self.push(frame.body.constants[idx as usize].clone()),
|
||||
Int(i) => self.push(Value::Int(i as i64)),
|
||||
True => self.push(Value::Bool(true)),
|
||||
False => self.push(Value::Bool(false)),
|
||||
|
|
@ -210,13 +239,34 @@ impl Vm {
|
|||
let Value::Function(fun) = fun else {
|
||||
return Err(Error::NotFunction(fun).into())
|
||||
};
|
||||
if fun.arity != arity as usize {
|
||||
return Err(Error::InvArity(fun.arity, arity as usize, fun.name.clone()).into())
|
||||
let arity = arity as usize;
|
||||
let normal_args = if fun.variadic { fun.arity - 1 } else { fun.arity };
|
||||
if (fun.variadic && arity < normal_args) || (!fun.variadic && arity != normal_args) {
|
||||
return Err(Error::InvArity(normal_args, arity as usize, fun.name.clone()).into())
|
||||
}
|
||||
let new_frame = StackFrame::new(&self, fun);
|
||||
if fun.variadic {
|
||||
if arity == normal_args {
|
||||
self.push(Value::List(vec![].into()));
|
||||
} else if arity > normal_args {
|
||||
let count = arity - normal_args;
|
||||
let varadic_params = self.stack.split_off(self.stack.len() - count).inner;
|
||||
self.push(Value::List(varadic_params.into()));
|
||||
}
|
||||
}
|
||||
let name = fun.name.clone();
|
||||
match &fun.fun {
|
||||
InnerFunction::Compiled(body) => {
|
||||
let new_frame = StackFrame::new(self, name, body.clone(), fun.arity);
|
||||
self.frames.push(frame);
|
||||
frame = new_frame;
|
||||
},
|
||||
InnerFunction::Native(native_fun) => {
|
||||
let params = self.stack.split_off(self.stack.len() - fun.arity).inner;
|
||||
let res = native_fun(self, params)?;
|
||||
self.stack.push(res);
|
||||
}
|
||||
}
|
||||
},
|
||||
Return => {
|
||||
let Some(prev_frame) = self.frames.pop() else {
|
||||
break;
|
||||
|
|
|
|||
63
syntax_thing
63
syntax_thing
|
|
@ -1,63 +0,0 @@
|
|||
root => root_expr*
|
||||
root_expr => function
|
||||
root_expr => expr
|
||||
function => FUNCTION IDENT params block
|
||||
params => IDENT
|
||||
params => OP CP
|
||||
params => OP params_impl
|
||||
params_impl => IDENT COMMA params_impl
|
||||
params_impl => IDENT CP
|
||||
block => expr*
|
||||
expr => if_expr
|
||||
if_expr => IF math_expr block ELSE if_expr
|
||||
if_expr => IF math_expr block ELSE block
|
||||
if_expr => IF math_expr block
|
||||
expr => DO block WHILE math_expr
|
||||
expr => WHILE math_expr block
|
||||
expr => LET IDENT EQ math_expr END
|
||||
expr => LET IDENT END
|
||||
expr => IDENT EQ math_expr END
|
||||
expr => block
|
||||
expr => RETURN math_expr END
|
||||
expr => BREAK
|
||||
expr => CONTINUE
|
||||
expr => math_expr END
|
||||
math_expr => (math_expr_and OR)* math_expr_and
|
||||
math_expr_and => math_expr_and AND math_expr_and
|
||||
math_expr_and => math_expr_compare
|
||||
math_expr_compare => math_expr_compare <COMPARE> math_expr_compare
|
||||
|
||||
power_term => power_term POWER power_term
|
||||
power_term => power_term BIT_AND power_term
|
||||
power_term => power_term BIT_OR power_term
|
||||
power_term => power_term SHIFT_LEFT power_term
|
||||
power_term => power_term SHIFT_RIGHT power_term
|
||||
power_term => term
|
||||
term => value
|
||||
term => tuple
|
||||
term => list
|
||||
term => table
|
||||
term => IDENT
|
||||
value => INT DIVIDE INT
|
||||
value => INT
|
||||
value => FLOAT
|
||||
value => COMPLEX
|
||||
value => STRING
|
||||
value => REGEX
|
||||
value => TRUE
|
||||
value => FALSE
|
||||
tuple => OP CP
|
||||
tuple => OP tuple_impl
|
||||
tuple_impl => math_expr COMMA tuple_impl
|
||||
tuple_impl => math_expr CP
|
||||
list => LBRK RBRK
|
||||
list => LBRK list_impl
|
||||
list_impl => math_expr COMMA tuple_impl
|
||||
list_impl => math_expr RBRK
|
||||
table => LBRC RBRC
|
||||
table => LBRC table_impl
|
||||
table_impl => table_key EQ math_expr COMMA table_impl
|
||||
table_impl => table_key EQ math_expr RBRC
|
||||
table_key => LBRK math_expr RBRK
|
||||
table_key => IDENT
|
||||
table_key => STRING
|
||||
Loading…
Reference in a new issue