You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
before ←
ifArr.length beforeDigits == f.before
thenP.fail $ "Error: need to have" <> show f.after <> " digits before dot"else pure $ Int.toNumber $ foldDigits beforeDigits
afterDigits ← some parseDigit
after ←
ifArr.length afterDigits == f.after
thenP.fail $ "Error: need to have" <> show f.after <> " digits after dot"else pure $ Int.toNumber $ foldDigits afterDigits
I'm not sure if the first two are expected or not, but the last two seem clearly wrong.
The text was updated successfully, but these errors were encountered: