improve benchmark error handling, bugfixes

This commit is contained in:
Anton-4 2023-04-18 15:19:58 +02:00
parent 65ebeab303
commit 8861c9394a
No known key found for this signature in database
GPG key ID: 0971D718C0A9B937
7 changed files with 86 additions and 45 deletions

View file

@ -8,9 +8,10 @@ IO a : Task.Task a []
main : Task.Task {} []
main =
Task.after
Task.getInt
\n ->
inputResult <- Task.attempt Task.getInt
when inputResult is
Ok n ->
x : Expr
x = Var "x"
@ -20,6 +21,10 @@ main =
nest deriv n f # original koka n = 10
|> Task.map \_ -> {}
Err GetIntError ->
Task.putLine "Error: Failed to get Integer from stdin."
nest : (I64, Expr -> IO Expr), I64, Expr -> IO Expr
nest = \f, n, e -> Task.loop { s: n, f, m: n, x: e } nestHelp