Commit before making out and in placements have ids

2022-03-11 12:34:19 +00:00
parent 73a35bb3f1
commit 219e4e15ee
13 changed files with 166 additions and 179 deletions
@@ -22,7 +22,7 @@ propLSThen :: (Prop -> World -> World)
    -> Prop
    -> (Placement -> Placement -> Maybe Placement) -- ^ continuation, access to ls and prop placements
    -> Placement
-propLSThen propf lsf ls prop cont = pt0 (PutLS $ ls)
+propLSThen propf lsf ls prop cont = pt0 (PutLS ls)
    $ \lspl -> Just $ pt0 (PutProp $ prop & pjUpdate .~ theupdate (fromJust $ _plMID lspl))
    $ cont lspl
  where