greg/schala
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Get things compiling again

Browse Source
This commit is contained in:
Greg Shuflin
2024-08-05 01:07:02 -07:00
parent a6e1a6c36c
commit 012c89b5c4
5 changed files with 163 additions and 151 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
schala-lang/src/lib.rs
View File

@@ -1,6 +1,6 @@
#![feature(trace_macros)]
//#![feature(unrestricted_attribute_tokens)]
#![feature(box_patterns, box_syntax, iter_intersperse)]
#![feature(box_patterns, iter_intersperse)]
//! `schala-lang` is where the Schala programming language is actually implemented.
//! It defines the `Schala` type, which contains the state for a Schala REPL, and implements

6
schala-lang/src/type_inference/mod.rs
View File

@@ -216,12 +216,12 @@ macro_rules! ty {
Type::Const(crate::type_inference::TypeConst::$type_name)
};
($t1:ident -> $t2:ident) => {
Type::Arrow { params: vec![ty!($t1)], ret: box ty!($t2) }
Type::Arrow { params: vec![ty!($t1)], ret: Box::new(ty!($t2)) }
};
($t1:ident -> $t2:ident -> $t3:ident) => {
Type::Arrow { params: vec![ty!($t1), ty!($t2)], ret: box ty!($t3) }
Type::Arrow { params: vec![ty!($t1), ty!($t2)], ret: Box::new(ty!($t3)) }
};
($type_list:ident, $ret_type:ident) => {
Type::Arrow { params: $type_list, ret: box $ret_type }
Type::Arrow { params: $type_list, ret: Box::new($ret_type) }
};
}