Skip to content

Commit

Permalink
Ignore errors in statement checks
Browse files Browse the repository at this point in the history
  • Loading branch information
agu-z committed Oct 17, 2024
1 parent 08f0296 commit eeb290d
Showing 1 changed file with 2 additions and 3 deletions.
5 changes: 2 additions & 3 deletions crates/compiler/solve/src/solve.rs
Original file line number Diff line number Diff line change
Expand Up @@ -790,7 +790,7 @@ fn solve(

state
}
Content::Effectful => state,
Content::Effectful | Content::Error => state,
Content::RigidVar(_)
| Content::FlexAbleVar(_, _)
| Content::RigidAbleVar(_, _)
Expand All @@ -799,8 +799,7 @@ fn solve(
| Content::ErasedLambda
| Content::Structure(_)
| Content::Alias(_, _, _, _)
| Content::RangedNumber(_)
| Content::Error => {
| Content::RangedNumber(_) => {
internal_error!("ExpectEffectful: unexpected content: {:?}", content)
}
}
Expand Down

0 comments on commit eeb290d

Please sign in to comment.