Commit 002717c7 authored by Steffen Michels's avatar Steffen Michels

fix type

parent 19a6d7a5
Pipeline #24637 failed with stage
in 54 seconds
......@@ -90,7 +90,7 @@ where
, functionConsDyn "(FunExpr, String, TaskFuncExpr)" "(FunExpr, String, TaskFuncExpr)"
( dynamic \(Typed funExpr) s (Typed taskFunc) -> Typed (funExpr, s, taskFunc) ::
A.a b:
(Typed FunExpr a) String (Typed TaskFuncExpr (a -> Task b))
(Typed FunExpr (a -> Bool)) String (Typed TaskFuncExpr (a -> Task b))
-> Typed (FunExpr, String, TaskFuncExpr) (a -> Task b)
)
<<@@@ HideIfOnlyChoice
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment