More strictifiiiying

2021-07-30 01:25:11 +02:00
parent 2d8b27746c
commit 7b7fd302d8
37 changed files with 459 additions and 448 deletions
@@ -28,13 +28,13 @@ telRoomLev i = do
    w <- state $ randomR (200,300)
    h <- state $ randomR (200,300)
    return $ roomRectAutoLinks w h & rmPS .~ 
-        [ sPS (w/2,h/2) 0 $ PutPressPlate telPP 
-        , sPS (w/2,h/2+ 30) 0 putLamp
+        [ sPS (V2 (w/2) (h/2)) 0 $ PutPressPlate telPP 
+        , sPS (V2 (w/2) (h/2+ 30)) 0 putLamp
        ]
  where
    telPP = PressPlate
        { _ppPict   = setDepth 0.5 . color red $ polygon ppFootprint
-        , _ppPos    = (0,0)
+        , _ppPos    = (V2 0 0)
        , _ppRot    = 0
        , _ppEvent  = levelReset
        , _ppID     = 0