Skip to content

Commit

Permalink
Update src/types/typechecker.rs
Browse files Browse the repository at this point in the history
  • Loading branch information
jfecher authored May 20, 2024
1 parent ac6599b commit 01afcd1
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion src/types/typechecker.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1730,7 +1730,6 @@ impl<'a> Inferable<'a> for ast::If<'a> {

impl<'a> Inferable<'a> for ast::Else<'a> {
fn infer_impl(&mut self, cache: &mut ModuleCache<'a>) -> TypeResult {
// Create new serogate Variable x
let x = next_type_variable(cache);
//let x = Type::TypeVariable(id);
// Construct a Maybe x Type
Expand Down

0 comments on commit 01afcd1

Please sign in to comment.