chore: update toolchain v4.32.0-rc1 (#144)

Author: fgdorais

lean-toolchain

@@ -1 +1 @@
-leanprover/lean4:v4.31.0
+leanprover/lean4:v4.32.0-rc1

makeTables.lean

@@ -374,7 +374,7 @@ def mkNumericValue : IO <| Array (UInt32 × UInt32 × NumericType) := do
   for d in UnicodeData.data do
     match d.numeric with
     | some (.decimal 0) =>
-      t := t.push (d.code, d.code + 9, .decimal 0)
+      t := t.push (d.code, d.code + 9, NumericType.decimal 0)
     | some (.digit v) =>
       match t.back! with
       | (c₀, c₁, n@(NumericType.digit x)) =>