fix: implementation

Author: MangelMaxime

src/fable-library-ts/Date.ts

@@ -590,6 +590,18 @@ export function maxValue() {
   return DateTime(253402300799999, DateTimeKind.Utc);
 }
 
+// The only date words .NET's invariant parser recognises: month names, weekday names,
+// meridiem designators and zone markers (plus the ISO "T" separator). Anything else is
+// rejected. Used to reject JS-permissive inputs (see `parseRaw`).
+const recognizedDateWords = new Set([
+  "january", "february", "march", "april", "may", "june",
+  "july", "august", "september", "october", "november", "december",
+  "jan", "feb", "mar", "apr", "jun", "jul", "aug", "sep", "sept", "oct", "nov", "dec",
+  "monday", "tuesday", "wednesday", "thursday", "friday", "saturday", "sunday",
+  "mon", "tue", "wed", "thu", "fri", "sat", "sun",
+  "am", "pm", "gmt", "utc", "ut", "t", "z",
+]);
+
 export function parseRaw(input: string): [Date, Offset] {
   function fail() {
     throw new Exception(`The string is not a valid Date: ${input}`);
@@ -599,12 +611,7 @@ export function parseRaw(input: string): [Date, Offset] {
     fail();
   }
 
-  // Pre-validate: reject strings that JavaScript's Date constructor accepts but .NET does not.
-  // JS Date (V8) is overly permissive — e.g. "ABC 6" is accepted because V8 treats "ABC" as a
-  // timezone abbreviation. .NET DateTime.TryParse requires a recognisable date format.
-  // Valid date strings must start with a digit, or with a recognised month name (Jan–Dec).
-  // See #3858.
-  if (!/^\s*(?:\d|Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Oct|Nov|Dec)/i.test(input)) {
+  if ((input.match(/[a-z]+/gi) ?? []).some(word => !recognizedDateWords.has(word.toLowerCase()))) {
     fail();
   }
 

tests/Js/Main/DateTimeTests.fs

@@ -877,18 +877,29 @@ let tests =
         r |> equal false
 
     testCase "DateTime.TryParse rejects JS-permissive strings that .NET rejects" <| fun () ->
-        // V8's Date constructor accepts "ABC 6" by treating "ABC" as a timezone abbreviation.
-        // .NET DateTime.TryParse must reject it. See #3858.
-        let r1, _ = DateTime.TryParse("ABC 6")
-        r1 |> equal false
-
-        let r2, _ = DateTime.TryParse("XYZ 2024")
-        r2 |> equal false
-
-        // Valid dates must still parse
-        let r3, d = DateTime.TryParse("9/10/2014 1:50:34 PM")
+        // JS's Date constructor treats unrecognised words as timezone abbreviations, so it
+        // accepts strings .NET rejects: "ABC 6" (ABC), "XYZ 2024" (XYZ), and words that merely
+        // start with a month name like "Maybe 6" (May) or "Junk 2024" (Jun).
+        [ "ABC 6"; "XYZ 2024"; "Maybe 6"; "Junk 2024" ]
+        |> List.map (fun s -> fst (DateTime.TryParse s))
+        |> equal [ false; false; false; false ]
+
+        // Recognised date words (weekday / month names, GMT) must still parse, matching .NET.
+        let r1, d1 = DateTime.TryParse("Sun, 06 Nov 1994 08:49:37 GMT")
+        r1 |> equal true
+        d1.Year |> equal 1994
+
+        let r2, d2 = DateTime.TryParse("Mon, 15 Jan 2024")
+        r2 |> equal true
+        d2.Year |> equal 2024
+
+        let r3, d3 = DateTime.TryParse("January 15, 2024")
         r3 |> equal true
-        d.Year |> equal 2014
+        d3.Year |> equal 2024
+
+        let r4, d4 = DateTime.TryParse("9/10/2014 1:50:34 PM")
+        r4 |> equal true
+        d4.Year |> equal 2014
 
     testCase "DateTime.Today works" <| fun () ->
         let d = DateTime.Today