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

Want bin expressions typed soon

Browse Source
This commit is contained in:
greg 2018-06-03 02:49:54 -07:00
parent 0b0f6b6b50
commit 5d84153c9e
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
schala-lang/src/typechecking.rs
View File

@ -130,6 +130,10 @@ impl TypeEnv {
Ok(match expr { Ok(match expr {
NatLiteral(_) => Type::Const(Nat), NatLiteral(_) => Type::Const(Nat),
StringLiteral(_) => Type::Const(StringT), StringLiteral(_) => Type::Const(StringT),
BinExp(op, lhs, rhs) => {
return Err(format!("NOTDONE"))
},
Call { f, arguments } => { Call { f, arguments } => {
return Err(format!("NOTDONE")) return Err(format!("NOTDONE"))