Some linting

2021-08-10 14:22:33 +02:00
parent 51b8fab214
commit e43488ee17
11 changed files with 65 additions and 95 deletions
@@ -34,7 +34,7 @@ telRoomLev i = do
  where
    telPP = PressPlate
        { _ppPict   = setDepth 0.5 . color red $ polygon ppFootprint
-        , _ppPos    = (V2 0 0)
+        , _ppPos    = V2 0 0
        , _ppRot    = 0
        , _ppEvent  = levelReset
        , _ppID     = 0