X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=afp%2Fa10%2Fa10.icl;h=fabad8cb9d4b0cb7df84aca8ab68a695bd8134d6;hb=f97a5bd0b5f76a04c484555f7ff16b0f3ba152bb;hp=77445a6167efbfcab66b6aa731102b890edf9e5f;hpb=9d093d11da012724253e1a3b31d3f1af94b4e1bd;p=clean-tests.git

diff --git a/afp/a10/a10.icl b/afp/a10/a10.icl
index 77445a6..fabad8c 100644
--- a/afp/a10/a10.icl
+++ b/afp/a10/a10.icl
@@ -77,4 +77,11 @@ eval (WhileContainerBelow _ action) s
 		= eval (action :. whileContainerBelow action) s
 	= pure s
 
-Start = moveToShip :. moveDown
+opt :: (Action a b) -> Action a b
+opt (WhileContainerBelow b a) = WhileContainerBelow b (opt a)
+opt (Wait bm :. b) = opt (bm.f2 b)
+opt (a :. Wait bm) = opt (bm.t2 a)
+opt (a :. b) = opt a :. opt b
+opt x = x
+
+Start = opt (moveToShip :. wait :. moveDown)