Starting on function application typechecking
This commit is contained in:
parent
1eaf201145
commit
ef9cd04605
@ -124,12 +124,11 @@ impl TypeContext {
|
|||||||
None => Err(format!("No binding found for variable: {}", name)),
|
None => Err(format!("No binding found for variable: {}", name)),
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
|
&Call { ref f, ref arguments } => {
|
||||||
|
Err(format!("Function type not yet implemented"))
|
||||||
|
},
|
||||||
/*
|
/*
|
||||||
TupleLiteral(Vec<Expression>),
|
TupleLiteral(Vec<Expression>),
|
||||||
Call {
|
|
||||||
f: Box<Expression>,
|
|
||||||
arguments: Vec<Expression>,
|
|
||||||
},
|
|
||||||
Index {
|
Index {
|
||||||
indexee: Box<Expression>,
|
indexee: Box<Expression>,
|
||||||
indexers: Vec<Expression>,
|
indexers: Vec<Expression>,
|
||||||
|
Loading…
Reference in New Issue
Block a user