add defeated enemies to player record

This commit is contained in:
2025-01-01 09:53:30 +00:00
parent f7f9b1e29b
commit 8e75d09fc1

View File

@@ -95,6 +95,16 @@ struct
val enemyCollisions = Vector.fromList enemyCollisions val enemyCollisions = Vector.fromList enemyCollisions
val enemies = filterEnemyCollisions val enemies = filterEnemyCollisions
(Vector.length enemies - 1, enemyCollisions, enemies, []) (Vector.length enemies - 1, enemyCollisions, enemies, [])
(* add collided enemies to player record,
* concatenating with the previous enemies defeated *)
val newDefeated =
Vector.map (fn id => {angle = (id * 5) mod 360}) enemyCollisions
val oldDefeated = #enemies player
val allDefeated = Vector.concat [oldDefeated, newDefeated]
val player = Player.withPatches (player, [W_ENEMIES allDefeated])
in in
(player, enemies) (player, enemies)
end end