Skip to content
Permalink
Browse files

Fix bug in handling loops.

  • Loading branch information
DarkDimius committed Nov 11, 2017
1 parent 0fec611 commit 5ece1b28d7d5bac44223015660bde47a7746fe37
Showing with 1 addition and 1 deletion.
  1. +1 −1 infer/inference.cc
@@ -226,8 +226,8 @@ class Environment {
ctx.state.errors.error(bind.loc, core::ErrorClass::PinnedVariableMismatch,
"Changing type of pinned argument, {} is not a subtype of {}",
tp.type->toString(ctx), cur.type->toString(ctx));
tp.type = core::Types::dynamic();
}
tp.type = core::Types::dynamic();
setTypeAndOrigin(bind.bind, tp);
}
return tp.type;

0 comments on commit 5ece1b2

Please sign in to comment.
You can’t perform that action at this time.