Commit 6bf9458f authored by Steffen Michels's avatar Steffen Michels

revert last commit

parent 002717c7
Pipeline #24640 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 -> Bool)) String (Typed TaskFuncExpr (a -> Task b))
(Typed FunExpr a) 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