diff options
| author | Griffin Smith <root@gws.fyi> | 2020-01-20T15·31-0500 |
|---|---|---|
| committer | Griffin Smith <root@gws.fyi> | 2020-01-20T15·31-0500 |
| commit | 72edcff32307ffebda07d350634792cc86b268bb (patch) | |
| tree | 46ea73be1b22c58bc07e8e9d6fc60f1f74c33a17 /src/Xanthous/Data/Levels.hs | |
| parent | d62aba218d1996b2c0541553c182313cfcc9843d (diff) | |
Put new levels at the right position in the list
New levels need to go at the *end* of the list of levels, not the beginning - otherwise we jump to the proper position on the new level but the current level stays the same (oops).
Diffstat (limited to 'src/Xanthous/Data/Levels.hs')
| -rw-r--r-- | src/Xanthous/Data/Levels.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Xanthous/Data/Levels.hs b/src/Xanthous/Data/Levels.hs index 5fc3f9334138..efc0f53acecf 100644 --- a/src/Xanthous/Data/Levels.hs +++ b/src/Xanthous/Data/Levels.hs @@ -102,7 +102,7 @@ nextLevel genLevel levs = pure $ seeks succ levs | otherwise = genLevel <&> \level -> - seek (pos levs + 1) . partialMkLevels $ level <| allLevels levs + seek (pos levs + 1) . partialMkLevels $ allLevels levs |> level -- | Go to the previous level. Returns Nothing if 'pos' is 0 prevLevel :: Levels level -> Maybe (Levels level) |