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

Put mk_type! in typechecking module

Browse Source
This commit is contained in:
greg 2019-02-17 03:36:12 -08:00
parent e38ae1c3f1
commit 9d4f086a04
3 changed files with 9 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
schala-lang/language/src/builtin.rs
View File

@ -86,12 +86,6 @@ impl PrefixOp {
}
}
//TODO make this macro exportable?
macro_rules! mk_type {
($type_name:ident) => { Type::Const(TypeConst::$type_name) };
($t1:ident -> $t2:ident) => { Type::Arrow(Box::new(mk_type!($t1)), Box::new(mk_type!($t2))) };
($t1:ident -> $t2:ident -> $t3:ident) => { Type::Arrow(Box::new(mk_type!($t1)), Box::new(mk_type!($t2 -> $t3))) };
}
lazy_static! {
static ref PREFIX_OPS: HashMap<&'static str, (Type, ())> =

5
schala-lang/language/src/lib.rs
View File

@ -28,13 +28,14 @@ macro_rules! bx {
($e:expr) => { Box::new($e) }
}
#[macro_use]
mod typechecking;
mod util;
mod builtin;
mod tokenizing;
mod ast;
mod parsing;
mod symbol_table;
mod typechecking;
mod builtin;
mod reduced_ast;
mod eval;

6
schala-lang/language/src/typechecking.rs
View File

@ -78,6 +78,12 @@ impl Type {
}
}
macro_rules! mk_type {
($type_name:ident) => { Type::Const(TypeConst::$type_name) };
($t1:ident -> $t2:ident) => { Type::Arrow(Box::new(mk_type!($t1)), Box::new(mk_type!($t2))) };
($t1:ident -> $t2:ident -> $t3:ident) => { Type::Arrow(Box::new(mk_type!($t1)), Box::new(mk_type!($t2 -> $t3))) };
}
/*
/// `Type` is parameterized by whether the type variables can be just universal, or universal or
/// existential.