Oh wait what if there's still a nuc at the end

Changes

1 changed files (+5/-2)

• WritingSystem.lean
  • @@ -137,7 +137,7 @@ instance : ToString (Fin 5 × Bool) where
    |>.getD "" def convert (s : String) := - s.toList.foldl (fun (out, nuc) x ↦ + let (out, nuc) := s.toList.foldl (fun (out, nuc) x ↦ match parseConsonant x with | some c => (out ++ toString c, some true) | none => match parseVowel x with
  • @@ -145,7 +145,10 @@ def convert (s : String) :=
    | none => match nuc with | some nuc => (out ++ toString (parseTone x, nuc), none) | none => (out ++ x.toString, none)) - ("", none) |>.1 + ("", none) + match nuc with + | some nuc => out ++ toString ((0 : Fin 5), nuc) + | none => out /- 早上好中国，现在我有冰淇淋，我很喜欢冰淇淋，但是，速度与激情9，比冰淇淋，速度与激情，速度与激情9，我最喜欢。所以…现在是音乐时间，准备 1 2 3，