Add datetime quickcheck coverage and exponent-like key parsing fixes

.github/workflows/ci.yml

@@ -20,7 +20,7 @@ jobs:
 
       - name: install moonbit
         run: |
-          curl -fsSL https://cli.moonbitlang.com/install/unix.sh | bash
+          curl -fsSL https://cli.moonbitlang.com/install/unix.sh | bash -s -- nightly
           echo "$HOME/.moon/bin" >> $GITHUB_PATH
       - name: moon update
         run: moon update && moon install
@@ -56,4 +56,4 @@ jobs:
       #       --send-to coveralls
       #   env:
       #     COVERALLS_REPO_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-
+

coverage_improvement_comprehensive_test.mbt

@@ -191,7 +191,7 @@ test "table_path_conflict_error" {
   debug_inspect(
     result,
     content=(
-      #|Err(Failure("parser.mbt:189:20-189:70@bobzhang/toml FAILED: ExpectedTable(\"key\", \"integer\") at { start: { line: 2, column: 6 }, end: { line: 2, column: 6 } }"))
+      #|Err(Failure("parser.mbt:197:20-197:70@bobzhang/toml FAILED: ExpectedTable(\"key\", \"integer\") at { start: { line: 2, column: 6 }, end: { line: 2, column: 6 } }"))
     ),
   ) // Expected error
 }
@@ -208,7 +208,7 @@ test "array_of_tables_path_conflict_error" {
   debug_inspect(
     result,
     content=(
-      #|Err(Failure("parser.mbt:189:20-189:70@bobzhang/toml FAILED: ExpectedArray(\"key\", \"integer\") at { start: { line: 2, column: 8 }, end: { line: 2, column: 8 } }"))
+      #|Err(Failure("parser.mbt:197:20-197:70@bobzhang/toml FAILED: ExpectedArray(\"key\", \"integer\") at { start: { line: 2, column: 8 }, end: { line: 2, column: 8 } }"))
     ),
   ) // Expected error
 }

e2e/known_failures_test.mbt

@@ -24,7 +24,7 @@ test "fixed: leading underscore value rejected (not infinite loop)" {
   inspect(
     result,
     content=(
-      #|Err(Failure("parser.mbt:189:20-189:70@bobzhang/toml FAILED: Expected value at { start: { line: 1, column: 5 }, end: { line: 1, column: 7 } }"))
+      #|Err(Failure("parser.mbt:197:20-197:70@bobzhang/toml FAILED: Expected value at { start: { line: 1, column: 5 }, end: { line: 1, column: 7 } }"))
     ),
   )
 }

e2e/moon.pkg

@@ -4,7 +4,7 @@ import {
   "moonbitlang/core/json",
   "moonbitlang/core/encoding/utf8",
   "moonbitlang/async",
-  "moonbitlang/core/strconv",
+  "moonbitlang/core/string",
 }
 
 warnings = "-unused_package"

e2e/runner.mbt

@@ -206,8 +206,8 @@ fn float_values_equal(a : Map[String, Json], b : Map[String, Json]) -> Bool {
     return va_neg_zero == vb_neg_zero
   }
   // Parse and compare numerically
-  let fa = try? @strconv.parse_double(va)
-  let fb = try? @strconv.parse_double(vb)
+  let fa = try? @string.parse_double(va)
+  let fb = try? @string.parse_double(vb)
   match (fa, fb) {
     (Ok(a), Ok(b)) => a == b
     _ => false