From db2a7208da4d6f4017026294cd489925bac7c3e0 Mon Sep 17 00:00:00 2001 From: Galexion Date: Fri, 1 Mar 2024 23:16:14 -0500 Subject: [PATCH] AquaNet: got typescript to stop yelling at me, it was driving me up a wall --- AquaNet/src/libs/generalTypes.ts | 12 +++++++----- AquaNet/src/pages/MaimaiRating.svelte | 2 +- AquaNet/src/pages/Ranking.svelte | 2 +- AquaNet/src/pages/UserHome.svelte | 2 +- 4 files changed, 10 insertions(+), 8 deletions(-) diff --git a/AquaNet/src/libs/generalTypes.ts b/AquaNet/src/libs/generalTypes.ts index 66f0f782..327d20eb 100644 --- a/AquaNet/src/libs/generalTypes.ts +++ b/AquaNet/src/libs/generalTypes.ts @@ -104,11 +104,13 @@ export interface MusicMeta { composer: string, bpm: number, ver: number, - note: { - lv: number - designer: string - lv_id: number - notes: number + notes: { + [key: number]: { + lv: number + designer: string + lv_id: number + notes: number + } } } diff --git a/AquaNet/src/pages/MaimaiRating.svelte b/AquaNet/src/pages/MaimaiRating.svelte index cd502650..b6ca4ec1 100644 --- a/AquaNet/src/pages/MaimaiRating.svelte +++ b/AquaNet/src/pages/MaimaiRating.svelte @@ -8,7 +8,7 @@ export let userId: any userId = +userId - let ifError = null; + let ifError: string | null; if (!userId) console.error("No user ID provided") diff --git a/AquaNet/src/pages/Ranking.svelte b/AquaNet/src/pages/Ranking.svelte index fa294341..10ac8fac 100644 --- a/AquaNet/src/pages/Ranking.svelte +++ b/AquaNet/src/pages/Ranking.svelte @@ -8,7 +8,7 @@ title(`Ranking`); let d: { users: GenericRanking[] }; - let ifError = null; + let ifError: string | null; Promise.all([GAME.ranking("mai2")]) .then(([users]) => { console.log(users) diff --git a/AquaNet/src/pages/UserHome.svelte b/AquaNet/src/pages/UserHome.svelte index a5b7b9cc..a41c88e9 100644 --- a/AquaNet/src/pages/UserHome.svelte +++ b/AquaNet/src/pages/UserHome.svelte @@ -17,7 +17,7 @@ export let game: GameName game = game || "mai2" let calElement: HTMLElement - let ifError = null + let ifError: string | null; title(`User ${username}`) interface MusicAndPlay extends MusicMeta, GenericGamePlaylog {}