feat: allow trailing zeros & only specifying decimal component when u…

…sing string.numeric.parse (#1220)

ark/type/__tests__/defaults.test.ts

@@ -941,7 +941,7 @@ contextualize(() => {
 			const defaulted = type({ a }).default(() => ({}))
 
 			attest(defaulted.expression).snap(
-				'{ a?: (In: string /^(?!^-0$)-?(?:0|[1-9]\\d*)(?:\\.\\d*[1-9])?$/) => Out<number> = "1" }'
+				'{ a?: (In: string /^(?:(?:(?!^-0(\\.0+)?$)-?(?:0|[1-9]\\d*)(?:\\.\\d+)?)|-?(?:\\.\\d+))$/) => Out<number> = "1" }'
 			)
 			attest(defaulted).type.toString.snap(`Type<
 	of<

ark/type/__tests__/pipe.test.ts

@@ -794,7 +794,7 @@ contextualize(() => {
 >`)
 
 		attest(t.expression).snap(
-			"{ l: 1, n: (In: string /^(?!^-0$)-?(?:0|[1-9]\\d*)(?:\\.\\d*[1-9])?$/) => Out<number> } | { n: (In: string /^(?!^-0$)-?(?:0|[1-9]\\d*)(?:\\.\\d*[1-9])?$/) => Out<number>, r: 1 }"
+			"{ l: 1, n: (In: string /^(?:(?:(?!^-0(\\.0+)?$)-?(?:0|[1-9]\\d*)(?:\\.\\d+)?)|-?(?:\\.\\d+))$/) => Out<number> } | { n: (In: string /^(?:(?:(?!^-0(\\.0+)?$)-?(?:0|[1-9]\\d*)(?:\\.\\d+)?)|-?(?:\\.\\d+))$/) => Out<number>, r: 1 }"
 		)
 		attest(t({ l: 1, n: "234" })).snap({ l: 1, n: 234 })
 		attest(t({ r: 1, n: "234" })).snap({ r: 1, n: 234 })

ark/type/keywords/string/numeric.ts

@@ -1,5 +1,5 @@
 import { intrinsic, rootSchema } from "@ark/schema"
-import { wellFormedNumberMatcher } from "@ark/util"
+import { numericStringMatcher } from "@ark/util"
 import type { Nominal, of, To } from "../../attributes.ts"
 import type { Module, Submodule } from "../../module.ts"
 import { arkModule } from "../utils.ts"
@@ -10,7 +10,7 @@ declare namespace string {
 }
 
 const root = regexStringNode(
-	wellFormedNumberMatcher,
+	numericStringMatcher,
 	"a well-formed numeric string"
 )
 

ark/util/numbers.ts

@@ -1,4 +1,5 @@
 import { throwParseError } from "./errors.ts"
+import { anchoredRegex } from "./strings.ts"
 
 export type Digit = 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
 
@@ -34,6 +35,17 @@ export const wellFormedNumberMatcher: RegExp =
 export const isWellFormedNumber: RegExp["test"] =
 	wellFormedNumberMatcher.test.bind(wellFormedNumberMatcher)
 
+/**
+ *  Matches a well-formatted numeric expression according to the following rules:
+ *    1. The first digit of the value must not be 0, unless the entire integer portion is 0
+ *    2. The value may not be "-0"
+ */
+const integerMatcher = /(?!^-0(\.0+)?$)-?(?:0|[1-9]\d*)/
+const decimalMatcher = /(?:\.\d+)/
+export const numericStringMatcher: RegExp = anchoredRegex(
+	`(?:${integerMatcher.source}${decimalMatcher.source}?)|-?${decimalMatcher.source}`
+)
+
 export const numberLikeMatcher = /^-?\d*\.?\d*$/
 const isNumberLike = (s: string) => s.length !== 0 && numberLikeMatcher.test(s)