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

Simplified match

Browse Source
This commit is contained in:
greg 2018-02-22 00:31:13 -08:00
parent 3f1cf1d975
commit ec7d185ed5
1 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
src/schala_lang/typechecking.rs
View File

@ -20,7 +20,6 @@ pub enum TConst {
Custom(String),
}
type TypeResult<T> = Result<T, String>;
impl TypeContext {
@ -77,12 +76,12 @@ impl TypeContext {
Ok(match anno {
&Tuple(_) => return Err(format!("Tuples not yet implemented")),
&Singleton(ref name) => match name {
&TypeSingletonName { ref name, .. } => match **name {
ref n if n == "Int" => Const(Int),
ref n if n == "Float" => Const(Float),
ref n if n == "Bool" => Const(Bool),
ref n if n == "String" => Const(StringT),
ref n => Const(Custom((format!("{}", n))))
&TypeSingletonName { ref name, .. } => match &name[..] {
"Int" => Const(Int),
"Float" => Const(Float),
"Bool" => Const(Bool),
"String" => Const(StringT),
n => Const(Custom(n.to_string()))
}
}
})