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

Remove more unused code

Browse Source
This commit is contained in:
greg 2019-05-20 22:04:14 -07:00
parent ce2a65b044
commit 6da6f6312d
2 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
schala-lang/language/src/reduced_ast.rs
View File

@ -356,7 +356,6 @@ impl PatternLiteral {
impl Declaration {
fn reduce(&self, symbol_table: &SymbolTable) -> Stmt {
use self::Declaration::*;
use crate::ast::Signature;
match self {
Binding {name, constant, expr, .. } => Stmt::Binding { name: name.clone(), constant: *constant, expr: expr.node().reduce(symbol_table) },
FuncDecl(Signature { name, params, .. }, statements) => Stmt::PreBinding {

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

@ -85,7 +85,6 @@ impl TypeConst {
StringT => format!("String"),
Bool => format!("Bool"),
Ordering => format!("Ordering"),
_ => format!("UNKNOWN TYPE"),
}
}
}
@ -360,7 +359,7 @@ impl<'a> TypeContext<'a> {
self.unify(t2, t3)
}
fn lambda(&mut self, params: &Vec<FormalParam>, type_anno: &Option<TypeIdentifier>, body: &Block) -> InferResult<Type> {
fn lambda(&mut self, params: &Vec<FormalParam>, type_anno: &Option<TypeIdentifier>, _body: &Block) -> InferResult<Type> {
let argument_types: InferResult<Vec<Type>> = params.iter().map(|param: &FormalParam| {
if let (_, Some(type_identifier)) = param {
self.get_type_from_name(type_identifier)