Commit 4c396dd6 authored by Tim Steenvoorden's avatar Tim Steenvoorden

revert Rinus' patch from mail to make lists of when working

parent b699bad8
Pipeline #24892 passed with stage
in 5 minutes and 54 seconds
......@@ -102,10 +102,12 @@ where
)
, functionConsDyn "When" "when"
( dynamic \(Typed task1) (Typed steps) ->
Typed (When task1 [(expr, pred, tfExpr) \\ (Typed expr, pred, Typed tfExpr) <- steps]) ::
Typed (When task1 steps) ::
// Typed (When task1 [(expr, pred, tfExpr) \\ (Typed expr, pred, Typed tfExpr) <- steps]) ::
A.a b:
(Typed TaskConstExpr (Task a))
(Typed (List (Typed FunExpr (a -> Bool), String, Typed TaskFuncExpr (a -> Task a))) (a -> Task b))
(Typed (List (FunExpr, String, TaskFuncExpr)) (a -> Task b))
// (Typed (List (Typed FunExpr (a -> Bool), String, Typed TaskFuncExpr (a -> Task a))) (a -> Task b))
-> Typed TaskConstExpr (Task b)
)
<<@@@ applyHorizontalClasses
......
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