turne 'defated_enemies' type into '{angle: int}' record, because it is probably visually cleaner to have defeated enemies turn into small pellets

This commit is contained in:
2025-01-01 09:38:04 +00:00
parent 2eb2de8910
commit f7f9b1e29b

View File

@@ -21,7 +21,7 @@ sig
datatype main_attack = MAIN_NOT_ATTACKING | MAIN_ATTACKING | MAIN_CHARGING
type defeated_enemies = {x: int, y: int}
type defeated_enemies = {angle: int}
type player =
{ yAxis: player_y_axis
@@ -92,7 +92,7 @@ struct
datatype main_attack = MAIN_NOT_ATTACKING | MAIN_ATTACKING | MAIN_CHARGING
type defeated_enemies = {x: int, y: int}
type defeated_enemies = {angle: int}
type player =
{ yAxis: player_y_axis