TestDateTime.fs

module Fable.Tests.DateTime

open System
open System.Globalization
open Util
open Util.Testing
open Fable.Tests

let toSigFigs nSigFigs x =
    let absX = abs x
    let digitsToStartOfNumber = floor(log10 absX) + 1. // x > 0 => +ve | x < 0 => -ve
    let digitsToAdjustNumberBy = int digitsToStartOfNumber - nSigFigs
    let scale = pown 10. digitsToAdjustNumberBy
    round(x / scale) * scale

let thatYearSeconds (dt: DateTime) =
    (dt - DateTime(dt.Year, 1, 1, 0, 0, 0, DateTimeKind.Utc)).TotalSeconds

let thatYearMilliseconds (dt: DateTime) =
    (dt - DateTime(dt.Year, 1, 1, 0, 0, 0, DateTimeKind.Utc)).TotalMilliseconds

[<Fact>]
let ``test DateTime constructor replacements adaptation works`` () =
    // Fable detects when a DateTime constructor is called with 7 or 8 arguments
    // and the last one is DateTimeKind and adapt the call to the
    // call the 9 arguments constructor with the DateTimeKind as the last
    DateTime(2014, 7, 1, 16, 37, 3, DateTimeKind.Utc).Kind
    |> equal DateTimeKind.Utc

    DateTime(2014, 7, 1, 16, 37, 3, 7, DateTimeKind.Utc).Kind
    |> equal DateTimeKind.Utc

    DateTime(2014, 7, 1, 16, 37, 3, 7, 8, DateTimeKind.Utc).Kind
    |> equal DateTimeKind.Utc

[<Fact>]
let ``test DateTime.ToString with custom format works`` () =
    DateTime(2014, 7, 1, 16, 37, 1, 2, 3).ToString("r d", CultureInfo.InvariantCulture)
    |> equal "r 1"
    DateTime(2014, 7, 13, 16, 37, 1, 2, 3).ToString("r d", CultureInfo.InvariantCulture)
    |> equal "r 13"

    DateTime(2014, 7, 1, 16, 37, 0).ToString("r dd", CultureInfo.InvariantCulture)
    |> equal "r 01"
    DateTime(2014, 7, 21, 16, 37, 0).ToString("r dd", CultureInfo.InvariantCulture)
    |> equal "r 21"

    DateTime(2014, 7, 7, 16, 37, 0).ToString("r ddd", CultureInfo.InvariantCulture)
    |> equal "r Mon"
    DateTime(2014, 7, 8, 16, 37, 0).ToString("r ddd", CultureInfo.InvariantCulture)
    |> equal "r Tue"
    DateTime(2014, 7, 9, 16, 37, 0).ToString("r ddd", CultureInfo.InvariantCulture)
    |> equal "r Wed"
    DateTime(2014, 7, 10, 16, 37, 0).ToString("r ddd", CultureInfo.InvariantCulture)
    |> equal "r Thu"
    DateTime(2014, 7, 11, 16, 37, 0).ToString("r ddd", CultureInfo.InvariantCulture)
    |> equal "r Fri"
    DateTime(2014, 7, 12, 16, 37, 0).ToString("r ddd", CultureInfo.InvariantCulture)
    |> equal "r Sat"
    DateTime(2014, 7, 13, 16, 37, 0).ToString("r ddd", CultureInfo.InvariantCulture)
    |> equal "r Sun"

    DateTime(2014, 7, 7, 16, 37, 0).ToString("r dddd", CultureInfo.InvariantCulture)
    |> equal "r Monday"
    DateTime(2014, 7, 8, 16, 37, 0).ToString("r dddd", CultureInfo.InvariantCulture)
    |> equal "r Tuesday"
    DateTime(2014, 7, 9, 16, 37, 0).ToString("r dddd", CultureInfo.InvariantCulture)
    |> equal "r Wednesday"
    DateTime(2014, 7, 10, 16, 37, 0).ToString("r dddd", CultureInfo.InvariantCulture)
    |> equal "r Thursday"
    DateTime(2014, 7, 11, 16, 37, 0).ToString("r dddd", CultureInfo.InvariantCulture)
    |> equal "r Friday"
    DateTime(2014, 7, 12, 16, 37, 0).ToString("r dddd", CultureInfo.InvariantCulture)
    |> equal "r Saturday"
    DateTime(2014, 7, 13, 16, 37, 0).ToString("r dddd", CultureInfo.InvariantCulture)
    |> equal "r Sunday"

    DateTime.Parse("2009-06-15T13:45:30.6175425").ToString("r f", CultureInfo.InvariantCulture)
    |> equal "r 6"
    DateTime.Parse("2009-06-15T13:45:30.05").ToString("r f", CultureInfo.InvariantCulture)
    |> equal "r 0"
    DateTime.Parse("2009-06-15T13:45:30.6175425").ToString("r ff", CultureInfo.InvariantCulture)
    |> equal "r 61"
    DateTime.Parse("2009-06-15T13:45:30.0050000").ToString("r ff", CultureInfo.InvariantCulture)
    |> equal "r 00"
    DateTime.Parse("2009-06-15T13:45:30.6175425").ToString("r fff", CultureInfo.InvariantCulture)
    |> equal "r 617"
    DateTime.Parse("2009-06-15T13:45:30.0005000").ToString("r fff", CultureInfo.InvariantCulture)
    |> equal "r 000"
    DateTime.Parse("2009-06-15T13:45:30.6175425").ToString("r ffff", CultureInfo.InvariantCulture)
    |> equal "r 6175"
    DateTime.Parse("2009-06-15T13:45:30.0000500").ToString("r ffff", CultureInfo.InvariantCulture)
    |> equal "r 0000"
    DateTime.Parse("2009-06-15T13:45:30.6175425").ToString("r fffff", CultureInfo.InvariantCulture)
    |> equal "r 61754"
    DateTime.Parse("2009-06-15T13:45:30.0000050").ToString("r fffff", CultureInfo.InvariantCulture)
    |> equal "r 00000"
    DateTime.Parse("2009-06-15T13:45:30.6175425").ToString("r ffffff", CultureInfo.InvariantCulture)
    |> equal "r 617542"
    DateTime.Parse("2009-06-15T13:45:30.0000005").ToString("r ffffff", CultureInfo.InvariantCulture)
    |> equal "r 000000"
    // We only have a precision up to the microsecond so we fill with 0
    DateTime.Parse("2009-06-15T13:45:30.617542").ToString("r fffffff", CultureInfo.InvariantCulture)
    |> equal "r 6175420"
    DateTime.Parse("2009-06-15T13:45:30.1").ToString("r fffffff", CultureInfo.InvariantCulture)
    |> equal "r 1000000"
    DateTime.Parse("2009-06-15T13:45:30.000001").ToString("r fffffff", CultureInfo.InvariantCulture)
    |> equal "r 0000010"

    DateTime.Parse("2009-06-15T13:45:30.6175425").ToString("r F", CultureInfo.InvariantCulture)
    |> equal "r 6"
    DateTime.Parse("2009-06-15T13:45:30.05").ToString("r F", CultureInfo.InvariantCulture)
    |> equal "r "
    DateTime.Parse("2009-06-15T13:45:30.6175425").ToString("r FF", CultureInfo.InvariantCulture)
    |> equal "r 61"
    DateTime.Parse("2009-06-15T13:45:30.0050000").ToString("r FF", CultureInfo.InvariantCulture)
    |> equal "r "
    DateTime.Parse("2009-06-15T13:45:30.6175425").ToString("r FFF", CultureInfo.InvariantCulture)
    |> equal "r 617"
    DateTime.Parse("2009-06-15T13:45:30.0005000").ToString("r FFF", CultureInfo.InvariantCulture)
    |> equal "r "
    DateTime.Parse("2009-06-15T13:45:30.6175425").ToString("r FFFF", CultureInfo.InvariantCulture)
    |> equal "r 6175"
    DateTime.Parse("2009-06-15T13:45:30.0000500").ToString("r FFFF", CultureInfo.InvariantCulture)
    |> equal "r "
    DateTime.Parse("2009-06-15T13:45:30.6175425").ToString("r FFFFF", CultureInfo.InvariantCulture)
    |> equal "r 61754"
    DateTime.Parse("2009-06-15T13:45:30.0000050").ToString("r FFFFF", CultureInfo.InvariantCulture)
    |> equal "r "
    DateTime.Parse("2009-06-15T13:45:30.0617425").ToString("r FFFFFF", CultureInfo.InvariantCulture)
    |> equal "r 061742"
    DateTime.Parse("2009-06-15T13:45:30.0000005").ToString("r FFFFFF", CultureInfo.InvariantCulture)
    |> equal "r "
    // We only have a precision up to the microsecond
    // Check that we fill the zero correctly and remove trailing zeros
    DateTime.Parse("2009-06-15T13:45:30.617542").ToString("r FFFFFFF", CultureInfo.InvariantCulture)
    |> equal "r 617542"

    DateTime.Parse("2009-06-15T13:45:30.01").ToString("r FFFFFFF", CultureInfo.InvariantCulture)
    |> equal "r 01"
    DateTime.Parse("2009-06-15T13:45:30.000001").ToString("r FFFFFFF", CultureInfo.InvariantCulture)
    |> equal "r 000001"
    DateTime.Parse("2009-06-15T13:45:30.0000000").ToString("r FFFFFFF", CultureInfo.InvariantCulture)
    |> equal "r "

    DateTime.Parse("2009-06-15T13:45:30.00617").ToString("r FFFFFFF", CultureInfo.InvariantCulture)
    |> equal "r 00617"

    DateTime(2014, 7, 1, 16, 37, 0).ToString("r g", CultureInfo.InvariantCulture)
    |> equal "r A.D."

    DateTime(2014, 7, 1, 16, 37, 0).ToString("r gg", CultureInfo.InvariantCulture)
    |> equal "r A.D."

    DateTime(2014, 7, 1, 16, 37, 0).ToString("r h", CultureInfo.InvariantCulture)
    |> equal "r 4"
    DateTime(2014, 7, 1, 4, 37, 0).ToString("r h", CultureInfo.InvariantCulture)
    |> equal "r 4"
    // Test edge case where hour is 12
    DateTime(2014, 7, 1, 0, 0, 0).ToString("r h", CultureInfo.InvariantCulture)
    |> equal "r 12"
    DateTime(2014, 7, 1, 12, 0, 0).ToString("r h", CultureInfo.InvariantCulture)
    |> equal "r 12"

    DateTime(2014, 7, 1, 16, 37, 0).ToString("r hh", CultureInfo.InvariantCulture)
    |> equal "r 04"
    DateTime(2014, 7, 1, 4, 37, 0).ToString("r hh", CultureInfo.InvariantCulture)
    |> equal "r 04"
    // Test edge case where hour is 12
    DateTime(2014, 7, 1, 0, 0, 0).ToString("r hh", CultureInfo.InvariantCulture)
    |> equal "r 12"
    DateTime(2014, 7, 1, 12, 0, 0).ToString("r hh", CultureInfo.InvariantCulture)
    |> equal "r 12"

    DateTime(2014, 7, 1, 4, 37, 0).ToString("r H", CultureInfo.InvariantCulture)
    |> equal "r 4"
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r H", CultureInfo.InvariantCulture)
    |> equal "r 16"

    DateTime(2014, 7, 1, 4, 37, 0).ToString("r HH", CultureInfo.InvariantCulture)
    |> equal "r 04"
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r HH", CultureInfo.InvariantCulture)
    |> equal "r 16"

    DateTime(2014, 7, 1, 16, 37, 0).ToString("r K", CultureInfo.InvariantCulture)
    |> equal "r "
    DateTime(2014, 7, 1, 16, 37, 0, DateTimeKind.Utc).ToString("r K", CultureInfo.InvariantCulture)
    |> equal "r Z"

    // Timezone dependent (test is configured for Europe/Paris timezone)
    // DateTime(2014, 7, 1, 16, 37, 0, DateTimeKind.Local).ToString("r K", CultureInfo.InvariantCulture)
    // |> equal "r +02:00"

    DateTime(2014, 7, 1, 16, 3, 0).ToString("r m", CultureInfo.InvariantCulture)
    |> equal "r 3"
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r m", CultureInfo.InvariantCulture)
    |> equal "r 37"

    DateTime(2014, 7, 1, 16, 3, 0).ToString("r mm", CultureInfo.InvariantCulture)
    |> equal "r 03"
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r mm", CultureInfo.InvariantCulture)
    |> equal "r 37"

    DateTime(2014, 7, 1, 16, 37, 0).ToString("r M", CultureInfo.InvariantCulture)
    |> equal "r 7"
    DateTime(2014, 11, 1, 16, 37, 0).ToString("r M", CultureInfo.InvariantCulture)
    |> equal "r 11"

    DateTime(2014, 7, 1, 16, 37, 0).ToString("r MM", CultureInfo.InvariantCulture)
    |> equal "r 07"
    DateTime(2014, 11, 1, 16, 37, 0).ToString("r MM", CultureInfo.InvariantCulture)
    |> equal "r 11"

    DateTime(2014, 1, 1, 16, 37, 0).ToString("r MMM", CultureInfo.InvariantCulture)
    |> equal "r Jan"
    DateTime(2014, 2, 1, 16, 37, 0).ToString("r MMM", CultureInfo.InvariantCulture)
    |> equal "r Feb"
    DateTime(2014, 3, 1, 16, 37, 0).ToString("r MMM", CultureInfo.InvariantCulture)
    |> equal "r Mar"
    DateTime(2014, 4, 1, 16, 37, 0).ToString("r MMM", CultureInfo.InvariantCulture)
    |> equal "r Apr"
    DateTime(2014, 5, 1, 16, 37, 0).ToString("r MMM", CultureInfo.InvariantCulture)
    |> equal "r May"
    DateTime(2014, 6, 1, 16, 37, 0).ToString("r MMM", CultureInfo.InvariantCulture)
    |> equal "r Jun"
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r MMM", CultureInfo.InvariantCulture)
    |> equal "r Jul"
    DateTime(2014, 8, 1, 16, 37, 0).ToString("r MMM", CultureInfo.InvariantCulture)
    |> equal "r Aug"
    DateTime(2014, 9, 1, 16, 37, 0).ToString("r MMM", CultureInfo.InvariantCulture)
    |> equal "r Sep"
    DateTime(2014, 10, 1, 16, 37, 0).ToString("r MMM", CultureInfo.InvariantCulture)
    |> equal "r Oct"
    DateTime(2014, 11, 1, 16, 37, 0).ToString("r MMM", CultureInfo.InvariantCulture)
    |> equal "r Nov"
    DateTime(2014, 12, 1, 16, 37, 0).ToString("r MMM", CultureInfo.InvariantCulture)
    |> equal "r Dec"

    DateTime(2014, 1, 1, 16, 37, 0).ToString("r MMMM", CultureInfo.InvariantCulture)
    |> equal "r January"
    DateTime(2014, 2, 1, 16, 37, 0).ToString("r MMMM", CultureInfo.InvariantCulture)
    |> equal "r February"
    DateTime(2014, 3, 1, 16, 37, 0).ToString("r MMMM", CultureInfo.InvariantCulture)
    |> equal "r March"
    DateTime(2014, 4, 1, 16, 37, 0).ToString("r MMMM", CultureInfo.InvariantCulture)
    |> equal "r April"
    DateTime(2014, 5, 1, 16, 37, 0).ToString("r MMMM", CultureInfo.InvariantCulture)
    |> equal "r May"
    DateTime(2014, 6, 1, 16, 37, 0).ToString("r MMMM", CultureInfo.InvariantCulture)
    |> equal "r June"
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r MMMM", CultureInfo.InvariantCulture)
    |> equal "r July"
    DateTime(2014, 8, 1, 16, 37, 0).ToString("r MMMM", CultureInfo.InvariantCulture)
    |> equal "r August"
    DateTime(2014, 9, 1, 16, 37, 0).ToString("r MMMM", CultureInfo.InvariantCulture)
    |> equal "r September"
    DateTime(2014, 10, 1, 16, 37, 0).ToString("r MMMM", CultureInfo.InvariantCulture)
    |> equal "r October"
    DateTime(2014, 11, 1, 16, 37, 0).ToString("r MMMM", CultureInfo.InvariantCulture)
    |> equal "r November"
    DateTime(2014, 12, 1, 16, 37, 0).ToString("r MMMM", CultureInfo.InvariantCulture)
    |> equal "r December"

    DateTime(2014, 7, 1, 16, 37, 3).ToString("r s", CultureInfo.InvariantCulture)
    |> equal "r 3"
    DateTime(2014, 7, 1, 16, 37, 31).ToString("r s", CultureInfo.InvariantCulture)
    |> equal "r 31"

    DateTime(2014, 7, 1, 16, 37, 3).ToString("r ss", CultureInfo.InvariantCulture)
    |> equal "r 03"
    DateTime(2014, 7, 1, 16, 37, 31).ToString("r ss", CultureInfo.InvariantCulture)
    |> equal "r 31"

    DateTime(2014, 7, 1, 1, 37, 0).ToString("r t", CultureInfo.InvariantCulture)
    |> equal "r A"
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r t", CultureInfo.InvariantCulture)
    |> equal "r P"
    DateTime(2014, 7, 1, 1, 37, 0).ToString("r tt", CultureInfo.InvariantCulture)
    |> equal "r AM"
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r tt", CultureInfo.InvariantCulture)
    |> equal "r PM"

    DateTime(1,1,1).ToString("r y", CultureInfo.InvariantCulture)
    |> equal "r 1"
    DateTime(0900,1,1).ToString("r y", CultureInfo.InvariantCulture)
    |> equal "r 0"
    DateTime(1900,1,1).ToString("r y", CultureInfo.InvariantCulture)
    |> equal "r 0"
    DateTime(2009,1,1).ToString("r y", CultureInfo.InvariantCulture)
    |> equal "r 9"
    DateTime(2019,1,1).ToString("r y", CultureInfo.InvariantCulture)
    |> equal "r 19"

    DateTime(1,1,1).ToString("r yy", CultureInfo.InvariantCulture)
    |> equal "r 01"
    DateTime(0900,1,1).ToString("r yy", CultureInfo.InvariantCulture)
    |> equal "r 00"
    DateTime(1900,1,1).ToString("r yy", CultureInfo.InvariantCulture)
    |> equal "r 00"
    DateTime(2009,1,1).ToString("r yy", CultureInfo.InvariantCulture)
    |> equal "r 09"
    DateTime(2019,1,1).ToString("r yy", CultureInfo.InvariantCulture)
    |> equal "r 19"

    DateTime(1,1,1).ToString("r yyy", CultureInfo.InvariantCulture)
    |> equal "r 001"
    DateTime(0900,1,1).ToString("r yyy", CultureInfo.InvariantCulture)
    |> equal "r 900"
    DateTime(1900,1,1).ToString("r yyy", CultureInfo.InvariantCulture)
    |> equal "r 1900"
    DateTime(2009,1,1).ToString("r yyy", CultureInfo.InvariantCulture)
    |> equal "r 2009"
    DateTime(2019,1,1).ToString("r yyy", CultureInfo.InvariantCulture)
    |> equal "r 2019"

    DateTime(1,1,1).ToString("r yyyy", CultureInfo.InvariantCulture)
    |> equal "r 0001"
    DateTime(0900,1,1).ToString("r yyyy", CultureInfo.InvariantCulture)
    |> equal "r 0900"
    DateTime(1900,1,1).ToString("r yyyy", CultureInfo.InvariantCulture)
    |> equal "r 1900"
    DateTime(2009,1,1).ToString("r yyyy", CultureInfo.InvariantCulture)
    |> equal "r 2009"
    DateTime(2019,1,1).ToString("r yyyy", CultureInfo.InvariantCulture)
    |> equal "r 2019"


    DateTime(1,1,1).ToString("r yyyyy", CultureInfo.InvariantCulture)
    |> equal "r 00001"
    DateTime(0900,1,1).ToString("r yyyyy", CultureInfo.InvariantCulture)
    |> equal "r 00900"
    DateTime(1900,1,1).ToString("r yyyyy", CultureInfo.InvariantCulture)
    |> equal "r 01900"
    DateTime(2009,1,1).ToString("r yyyyy", CultureInfo.InvariantCulture)
    |> equal "r 02009"
    DateTime(2019,1,1).ToString("r yyyyy", CultureInfo.InvariantCulture)
    |> equal "r 02019"


    DateTime(2014, 7, 1, 16, 37, 0, DateTimeKind.Utc).ToString("r z", CultureInfo.InvariantCulture)
    |> equal "r +0"

    // Timezone dependent (test is configured for Europe/Paris timezone)
    // DateTime(2014, 7, 1, 16, 37, 0).ToString("r z", CultureInfo.InvariantCulture)
    // |> equal "r +2"
    // DateTime(2014, 7, 1, 16, 37, 0, DateTimeKind.Local).ToString("r z", CultureInfo.InvariantCulture)
    // |> equal "r +2"


    DateTime(2014, 7, 1, 16, 37, 0, DateTimeKind.Utc).ToString("r zz", CultureInfo.InvariantCulture)
    |> equal "r +00"
    // Timezone dependent (test is configured for Europe/Paris timezone)
    // DateTime(2014, 7, 1, 16, 37, 0).ToString("r zz", CultureInfo.InvariantCulture)
    // |> equal "r +02"
    // DateTime(2014, 7, 1, 16, 37, 0, DateTimeKind.Local).ToString("r zz", CultureInfo.InvariantCulture)
    // |> equal "r +02"

    DateTime(2014, 7, 1, 16, 37, 0, DateTimeKind.Utc).ToString("r zzz", CultureInfo.InvariantCulture)
    |> equal "r +00:00"
    // Timezone dependent (test is configured for Europe/Paris timezone)
    // DateTime(2014, 7, 1, 16, 37, 0).ToString("r zzz", CultureInfo.InvariantCulture)
    // |> equal "r +02:00"
    // DateTime(2014, 7, 1, 16, 37, 0, DateTimeKind.Local).ToString("r zzz", CultureInfo.InvariantCulture)
    // |> equal "r +02:00"

    // Time separator
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r :", CultureInfo.InvariantCulture)
    |> equal "r :"

    // Date separator
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r /", CultureInfo.InvariantCulture)
    |> equal "r /"

    // String quotation
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r \"hh\" h", CultureInfo.InvariantCulture)
    |> equal "r hh 4"
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r 'hh' h", CultureInfo.InvariantCulture)
    |> equal "r hh 4"
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r \'hh\'", CultureInfo.InvariantCulture)
    |> equal "r hh"

    // Format character
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r %h", CultureInfo.InvariantCulture)
    |> equal "r 4"
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r %hh", CultureInfo.InvariantCulture)
    |> equal "r 44"

    // Escape character
    DateTime(2014, 7, 1, 16, 37, 0, DateTimeKind.Utc).ToString("r \zz", CultureInfo.InvariantCulture)
    |> equal "r z+0"
    DateTime(2014, 7, 1, 16, 37, 0, DateTimeKind.Utc).ToString("r \\zz", CultureInfo.InvariantCulture)
    |> equal "r z+0"
    DateTime(2014, 7, 1, 16, 37, 0, DateTimeKind.Utc).ToString("r \\\zz", CultureInfo.InvariantCulture)
    |> equal "r \+00"
    DateTime(2014, 7, 1, 16, 37, 0, DateTimeKind.Utc).ToString("r \\z\\z", CultureInfo.InvariantCulture)
    |> equal "r zz"

    // Escape character with verbatim string
    DateTime(2014, 7, 1, 16, 37, 0, DateTimeKind.Utc).ToString("""r \zz""", CultureInfo.InvariantCulture)
    |> equal "r z+0"
    DateTime(2014, 7, 1, 16, 37, 0, DateTimeKind.Utc).ToString("""r \\zz""", CultureInfo.InvariantCulture)
    |> equal "r \+00"
    DateTime(2014, 7, 1, 16, 37, 0, DateTimeKind.Utc).ToString("""r \\\zz""", CultureInfo.InvariantCulture)
    |> equal "r \z+0"

    // The tests below are for testing the behaviour when going outside
    // of the standard token ranges.
    // For example, the known tokens range for 'H' are "H", "HH", so
    // we want to test what happens when we do "HHH" or "HHHH" or "HHHHH"
    // In general, the tests below check what happens when right outside of the known
    // token ranges and in another exagerated case

    DateTime(2014, 7, 13, 16, 37, 0).ToString("r dddd dddddd", CultureInfo.InvariantCulture)
    |> equal "r Sunday Sunday"

    // These tests are disabled because they cause an issue on the CI (but work locally)
    // throwsAnyError (fun _ ->
    //     DateTime(2014, 7, 13, 16, 37, 0).ToString("r ffffffff", CultureInfo.InvariantCulture)
    // )

    // throwsAnyError (fun _ ->
    //     DateTime(2014, 7, 13, 16, 37, 0).ToString("r FFFFFFFFF", CultureInfo.InvariantCulture)
    // )

    DateTime(2014, 7, 1, 12, 0, 0).ToString("r ggg ggggg", CultureInfo.InvariantCulture)
    |> equal "r A.D. A.D."

    DateTime(2014, 7, 1, 12, 0, 0).ToString("r hhh hhhhh", CultureInfo.InvariantCulture)
    |> equal "r 12 12"
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r HHH HHHHHHHH", CultureInfo.InvariantCulture)
    |> equal "r 16 16"
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r KK KKK")
    |> equal "r  "
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r mmm mmmm", CultureInfo.InvariantCulture)
    |> equal "r 37 37"
    DateTime(2014, 12, 1, 16, 37, 0).ToString("r MMMMM MMMMMMMMM", CultureInfo.InvariantCulture)
    |> equal "r December December"
    DateTime(2014, 7, 1, 16, 37, 31).ToString("r sss ssssss", CultureInfo.InvariantCulture)
    |> equal "r 31 31"
    DateTime(2014, 7, 1, 16, 37, 0).ToString("r ttt ttttttt", CultureInfo.InvariantCulture)
    |> equal "r PM PM"
    DateTime(2019,1,1).ToString("r yyyyyy yyyyyyyyyy", CultureInfo.InvariantCulture)
    |> equal "r 002019 0000002019"

    // Timezone dependent (test is configured for Europe/Paris timezone)
    // DateTime(2014, 7, 1, 16, 37, 0).ToString("r zzzz zzzzzz", CultureInfo.InvariantCulture)
    // |> equal "r +02:00 +02:00"


[<Fact>]
let ``test DateTime.ToString without separator works`` () =
    DateTime(2017, 9, 5).ToString("yyyyMM")
    |> equal "201709"

[<Fact>]
let ``test DateTime.ToString with milliseconds`` () =
    DateTime(2014, 9, 11, 16, 37, 11, 345).ToString("ss.fff")
    |> equal "11.345"

[<Fact>]
let ``test DateTime.ToString("d") works`` () =
    #if !FABLE_COMPILER
    Threading.Thread.CurrentThread.CurrentCulture <- CultureInfo.InvariantCulture
    #endif
    DateTime(2014, 9, 11, 16, 37, 11, 345).ToString("d")
    |> equal "09/11/2014"

    DateTime(2014, 9, 1, 16, 37, 11, 345).ToString("d")
    |> equal "09/01/2014"

// Needs to add (upper) and (lower) in the test name because
// the names of the function are lowered making them equal

[<Fact>]
let ``test DateTime.ToShortTimeString works`` () =
    #if !FABLE_COMPILER
    Threading.Thread.CurrentThread.CurrentCulture <- CultureInfo.InvariantCulture
    #endif

    DateTime(2014, 9, 11, 16, 37, 0).ToShortTimeString()
    |> equal "16:37"

[<Fact>]
let ``test DateTime.ToLongTimeString works`` () =
    #if !FABLE_COMPILER
    Threading.Thread.CurrentThread.CurrentCulture <- CultureInfo.InvariantCulture
    #endif

    DateTime(2014, 9, 11, 16, 37, 0).ToLongTimeString()
    |> equal "16:37:00"

[<Fact>]
let ``test DateTime.ToLongDateString works`` () =
    #if !FABLE_COMPILER
    Threading.Thread.CurrentThread.CurrentCulture <- CultureInfo.InvariantCulture
    #endif

    DateTime(2014, 9, 11, 16, 37, 0).ToLongDateString()
    |> equal "Thursday, 11 September 2014"

[<Fact>]
let ``test DateTime.ToShortDateString works`` () =
    #if !FABLE_COMPILER
    Threading.Thread.CurrentThread.CurrentCulture <- CultureInfo.InvariantCulture
    #endif

    DateTime(2014, 9, 11, 16, 37, 0).ToShortDateString()
    |> equal "09/11/2014"

[<Fact>]
let ``test DateTime.ToString("T") (upper) works`` () =
    #if FABLE_COMPILER
    DateTime(2014, 9, 11, 3, 37, 11, 345).ToString("T")
    #else
    DateTime(2014, 9, 11, 3, 37, 11, 345).ToString("T", CultureInfo.InvariantCulture)
    #endif
    |> equal "03:37:11"

    #if FABLE_COMPILER
    DateTime(2014, 9, 11, 16, 37, 11, 345).ToString("T")
    #else
    DateTime(2014, 9, 11, 16, 37, 11, 345).ToString("T", CultureInfo.InvariantCulture)
    #endif
    |> equal "16:37:11"

[<Fact>]
let ``test DateTime.ToString("t") (lower) works`` () =
    #if FABLE_COMPILER
    DateTime(2014, 9, 11, 3, 37, 11, 345).ToString("t")
    #else
    DateTime(2014, 9, 11, 3, 37, 11, 345).ToString("t", CultureInfo.InvariantCulture)
    #endif
    |> equal "03:37"

    #if FABLE_COMPILER
    DateTime(2014, 9, 11, 16, 37, 11, 345).ToString("t")
    #else
    DateTime(2014, 9, 11, 16, 37, 11, 345).ToString("t", CultureInfo.InvariantCulture)
    #endif
    |> equal "16:37"


[<Fact>]
let ``test DateTime.ToString with Round-trip format works for Utc`` () =
    let str = DateTime(2014, 9, 11, 16, 37, 2, DateTimeKind.Utc).ToString("O")
    // FIXME: missing regex module
    // System.Text.RegularExpressions.Regex.Replace(str, "0{3,}", "000")
    // Hardcode the replace string so we can test that "O" format is supported
    str.Replace("0000000Z", "000000Z")
    |> equal "2014-09-11T16:37:02.000000Z"

    let str = DateTime(2014, 9, 11, 16, 37, 2, DateTimeKind.Utc).ToString("o")
    // FIXME: missing regex module
    // System.Text.RegularExpressions.Regex.Replace(str, "0{3,}", "000")
    // Hardcode the replace string so we can test that "O" format is supported
    str.Replace("0000000Z", "000000Z")
    |> equal "2014-09-11T16:37:02.000000Z"

[<Fact>]
let ``test DateTime.ToString("R") works`` () =
    DateTime(2014, 9, 1, 16, 37, 2, DateTimeKind.Utc).ToString("R", CultureInfo.InvariantCulture)
    |> equal "Mon, 01 Sep 2014 16:37:02 GMT"

[<Fact>]
let ``test DateTime.ToString("s") works`` () =
    DateTime(2014, 9, 1, 16, 37, 2, DateTimeKind.Utc).ToString("s", CultureInfo.InvariantCulture)
    |> equal "2014-09-01T16:37:02"

[<Fact>]
let ``test DateTime.ToString("u") works`` () =
    DateTime(2014, 9, 1, 16, 37, 2, DateTimeKind.Utc).ToString("u", CultureInfo.InvariantCulture)
    |> equal "2014-09-01 16:37:02Z"

[<Fact>]
let ``test DateTime.ToString full date long time format works`` () =
    DateTime(2014, 9, 1, 16, 37, 2, DateTimeKind.Utc).ToString("F", CultureInfo.InvariantCulture)
    |> equal "Monday, 01 September 2014 16:37:02"

[<Fact>]
let ``test DateTime.ToString full date short time format works`` () =
    DateTime(2014, 9, 1, 16, 37, 2, DateTimeKind.Utc).ToString("f", CultureInfo.InvariantCulture)
    |> equal "Monday, 01 September 2014 16:37"

[<Fact>]
let ``test DateTime.ToString general long time format works`` () =
    DateTime(2014, 9, 1, 16, 37, 2, DateTimeKind.Utc).ToString("G", CultureInfo.InvariantCulture)
    |> equal "09/01/2014 16:37:02"

[<Fact>]
let ``test DateTime.ToString general short time format works`` () =
    DateTime(2014, 9, 1, 16, 37, 2, DateTimeKind.Utc).ToString("g", CultureInfo.InvariantCulture)
    |> equal "09/01/2014 16:37"

[<Fact>]
let ``test DateTime.ToString("M") works`` () =
    DateTime(2014, 9, 1, 16, 37, 2, DateTimeKind.Utc).ToString("M", CultureInfo.InvariantCulture)
    |> equal "September 01"

[<Fact>]
let ``test DateTime.ToString("Y") works`` () =
    DateTime(2014, 9, 1, 16, 37, 2, DateTimeKind.Utc).ToString("Y", CultureInfo.InvariantCulture)
    |> equal "2014 September"

[<Fact>]
let ``test DateTime from Year 1 to 99 works`` () =
    let date = DateTime(1, 1, 2)
    date.Year |> equal 1
    let date = DateTime(99, 1, 2)
    date.Year |> equal 99

[<Fact>]
let ``test DateTime UTC from Year 1 to 99 works`` () =
    let date = DateTime(1, 1, 2, 0, 0, 0, DateTimeKind.Utc)
    date.Year |> equal 1
    let date = DateTime(99, 1, 2, 0, 0, 0, DateTimeKind.Utc)
    date.Year |> equal 99

[<Fact>]
let ``test DateTime.MaxValue works`` () =
    let d1 = DateTime.Now
    let d2 = DateTime.MaxValue
    d1 < d2 |> equal true

[<Fact>]
let ``test DateTime.MinValue works`` () =
    let d1 = DateTime.Now
    let d2 = DateTime.MinValue
    d1 < d2 |> equal false

[<Fact>]
let ``test DateTime.MinValue works in pattern match`` () =
    let d1 = Some DateTime.Now
    match d1 with
    | Some date when date <> DateTime.MinValue -> ()
    | _ -> failwith "expected pattern match above"

[<Fact>]
let ``test DateTime Subtraction with TimeSpan works`` () =
    let test (ms: float) expected =
        let dt = DateTime(2014,9,12,0,0,0,DateTimeKind.Utc)
        let ts = TimeSpan.FromMilliseconds(ms)
        let res1 = dt.Subtract(ts) |> thatYearSeconds
        let res2 = (dt - ts) |> thatYearSeconds
        equal true (res1 = res2)
        equal expected res1
    test 1000. 21945599.0
    test -1000. 21945601.0
    test 0. 21945600.0

[<Fact>]
let ``test DateTime Subtraction with DateTime works`` () =
    let test (ms: float) expected =
        let dt1 = DateTime(2014, 10, 9, 13, 23, 30, 234, DateTimeKind.Utc)
        let dt2 = dt1.AddMilliseconds(ms)
        let res1 = dt1.Subtract(dt2).TotalSeconds
        let res2 = (dt1 - dt2).TotalSeconds
        equal true (res1 = res2)
        equal expected res1
    test 1000. -1.0
    test -1000. 1.0
    test 0. 0.0

[<Fact>]
let ``test DateTime.Parse works`` () =
    let d =
        DateTime.Parse(
            "2014-09-10T13:50:34.0000000",
            CultureInfo.InvariantCulture
        )

    d.Year + d.Month + d.Day + d.Hour + d.Minute + d.Second |> equal 2130

    let d = DateTime.Parse("9/10/2014 1:50:34 PM", CultureInfo.InvariantCulture)
    d.Year + d.Month + d.Day + d.Hour + d.Minute + d.Second
    |> equal 2130

    let d = DateTime.Parse("9/10/2014 1:50:34 AM", CultureInfo.InvariantCulture)
    d.Year + d.Month + d.Day + d.Hour + d.Minute + d.Second
    |> equal 2118

    let d = DateTime.Parse("9/10/2014 13:50:34", CultureInfo.InvariantCulture)
    d.Year + d.Month + d.Day + d.Hour + d.Minute + d.Second
    |> equal 2130

    let d = DateTime.Parse("9/10/2014 1:50:34", CultureInfo.InvariantCulture)
    d.Year + d.Month + d.Day + d.Hour + d.Minute + d.Second
    |> equal 2118

    // Disabled because it is timezone dependent
    // I left it here in case, we need to test it in the future
    // Currently, it is setup for Europe/Paris timezone
    // let d = DateTime.Parse("2016-07-07T01:00:00.000Z", CultureInfo.InvariantCulture)
    // d.Year + d.Month + d.Day + d.Hour + d.Minute + d.Second
    // |> equal 2033

[<Fact>]
let ``test DateTime.Parse with time-only string works`` () = // See #1045
    // Time-only should use now as the reference date
    let now = DateTime.Now

    let d = DateTime.Parse("13:50:34", CultureInfo.InvariantCulture)
    d.Year |> equal now.Year
    d.Month |> equal now.Month
    d.Day |> equal now.Day
    d.Hour + d.Minute + d.Second |> equal 97

    let d = DateTime.Parse("1:5:34 AM", CultureInfo.InvariantCulture)
    d.Year |> equal now.Year
    d.Month |> equal now.Month
    d.Day |> equal now.Day
    d.Hour + d.Minute + d.Second |> equal 40

    let d = DateTime.Parse("1:5:34 PM", CultureInfo.InvariantCulture)
    d.Year |> equal now.Year
    d.Month |> equal now.Month
    d.Day |> equal now.Day
    d.Hour + d.Minute + d.Second |> equal 52

    let d = DateTime.Parse("0:5:34 PM")
    d.Hour + d.Minute + d.Second |> equal 51

    let d1 = DateTime.Parse("12:5:34 PM")
    d1.Hour + d1.Minute + d1.Second |> equal 51

    let d2 = DateTime.Parse("3:5:34 PM")
    d2.Hour + d2.Minute + d2.Second |> equal 54

    let d3 = DateTime.Parse("15:5:34 PM")
    d3.Hour + d3.Minute + d3.Second |> equal 54

// [<Fact>]
// let ``test DateTime.Ticks works`` () =
//     let d = DateTime(2014, 10, 9, 13, 23, 30, 999, DateTimeKind.Utc)
//     d.Ticks |> equal 635484578109990000L
//     let d = DateTime(2014, 10, 9, 13, 23, 30, 999, DateTimeKind.Local)
//     d.Ticks |> equal 635484578109990000L
//     let d = DateTime(2014, 10, 9, 13, 23, 30, 999)
//     d.Ticks |> equal 635484578109990000L

[<Fact>]
let ``test DateTime.Year works`` () =
    let d = DateTime(2014, 10, 9, 13, 23, 30, DateTimeKind.Local)
    let d' = DateTime(2014, 10, 9, 13, 23, 30, DateTimeKind.Utc)
    d.Year + d'.Year
    |> equal 4028

[<Fact>]
let ``test DateTime.Day works`` () =
    let d = DateTime(2014, 10, 9, 13, 23, 30, DateTimeKind.Local)
    let d' = DateTime(2014, 10, 9, 13, 23, 30, DateTimeKind.Utc)
    d.Day + d'.Day |> equal 18

[<Fact>]
let ``test DateTime.Month works`` () =
    let d = DateTime(2014, 10, 9, 13, 23, 30, DateTimeKind.Local)
    let d' = DateTime(2014, 10, 9, 13, 23, 30, DateTimeKind.Utc)
    d.Month + d'.Month
    |> equal 20

[<Fact>]
let ``test DateTime.Hour works`` () =
    // Summer time (allowed to detect invalid utcoffset for Europe/Paris)
    let d = DateTime(2014, 10, 9, 13, 23, 30, DateTimeKind.Local)
    d.Hour |> equal 13

    // Winter time
    let d = DateTime(2014, 1, 9, 13, 23, 30, DateTimeKind.Local)
    d.Hour |> equal 13

[<Fact>]
let ``test DateTime.Minute works`` () =
    let d = DateTime(2014, 10, 9, 13, 23, 30, DateTimeKind.Local)
    let d' = DateTime(2014, 10, 9, 13, 23, 30, DateTimeKind.Utc)
    d.Minute + d'.Minute
    |> equal 46

[<Fact>]
let ``test DateTime.Second works`` () =
    let d = DateTime(2014,9,12,0,0,30)
    let d' = DateTime(2014,9,12,0,0,59)
    d.Second + d'.Second
    |> equal 89

[<Fact>]
let ``test DateTime.Millisecond works`` () =
    let d = DateTime(2014, 10, 9, 13, 23, 30, 999)
    d.Millisecond |> equal 999

// [<Fact>]
// let ``test DateTime.Microsecond works`` () =
//     let d = DateTime(2014, 10, 9, 13, 23, 30, 999).AddMicroseconds(2)
//     d.Microsecond |> equal 2

[<Fact>]
let ``DateTime.DayOfWeek works`` () =
    DateTime(2014, 10, 5).DayOfWeek |> equal DayOfWeek.Sunday
    DateTime(2014, 10, 6).DayOfWeek |> equal DayOfWeek.Monday
    DateTime(2014, 10, 7).DayOfWeek |> equal DayOfWeek.Tuesday
    DateTime(2014, 10, 8).DayOfWeek |> equal DayOfWeek.Wednesday
    DateTime(2014, 10, 9).DayOfWeek |> equal DayOfWeek.Thursday
    DateTime(2014, 10, 10).DayOfWeek |> equal DayOfWeek.Friday
    DateTime(2014, 10, 11).DayOfWeek |> equal DayOfWeek.Saturday

[<Fact>]
let ``test DateTime.DayOfYear works`` () =
    // Standard year
    DateTime(2014, 10, 9).DayOfYear |> equal 282
    // Leap year
    DateTime(2020, 10, 9).DayOfYear |> equal 283

[<Fact>]
let ``test DateTime.TryParse works`` () =
    let (isSuccess, _) = DateTime.TryParse("foo", CultureInfo.InvariantCulture, DateTimeStyles.None)
    isSuccess |> equal false

    let (isSuccess, dateTime) = DateTime.TryParse("9/10/2014 1:50:34 PM", CultureInfo.InvariantCulture, DateTimeStyles.None)
    isSuccess |> equal true
    dateTime.Year + dateTime.Month + dateTime.Day + dateTime.Hour + dateTime.Minute + dateTime.Second |> equal 2130

    let (isSuccess, _) = DateTime.TryParse("foo", CultureInfo.InvariantCulture)
    isSuccess |> equal false

    let (isSuccess, dateTime) = DateTime.TryParse("9/10/2014 1:50:34 PM", CultureInfo.InvariantCulture)
    isSuccess |> equal true
    dateTime.Year + dateTime.Month + dateTime.Day + dateTime.Hour + dateTime.Minute + dateTime.Second |> equal 2130

    let (isSuccess, _) = DateTime.TryParse("foo")
    isSuccess |> equal false

    let (isSuccess, dateTime) = DateTime.TryParse("9/10/2014 1:50:34 PM")
    isSuccess |> equal true
    dateTime.Year + dateTime.Month + dateTime.Day + dateTime.Hour + dateTime.Minute + dateTime.Second |> equal 2130


[<Fact>]
let ``test DateTime.TryParse preserves Unspecified kind for naive strings`` () =
    let (isSuccess, dt) = DateTime.TryParse("2018-10-01T11:12:55")
    isSuccess |> equal true
    dt.Kind |> equal DateTimeKind.Unspecified
    dt.Year |> equal 2018
    dt.Month |> equal 10
    dt.Day |> equal 1
    dt.Hour |> equal 11
    dt.Minute |> equal 12
    dt.Second |> equal 55

[<Fact>]
let ``test "Parsing doesn't succeed for invalid dates`` () =
    let invalidAmericanDate = "13/1/2020"
    let r, _date = DateTime.TryParse(invalidAmericanDate, CultureInfo.InvariantCulture, DateTimeStyles.None)
    r |> equal false


[<Fact>]
let ``test DateTime.Today works`` () =
    let d = DateTime.Today
    equal 0 d.Hour
    equal 0 d.Minute
    equal 0 d.Second
    equal 0 d.Millisecond

[<Fact>]
let ``test DateTime.Date works`` () =
    let d = DateTime(2014, 10, 9, 13, 23, 30)
    d.Date.Hour |> equal 0
    d.Date.Minute |> equal 0
    d.Date.Second |> equal 0
    d.Date.Millisecond |> equal 0
    d.Date.Day |> equal 9
    d.Date.Month |> equal 10
    d.Date.Year |> equal 2014

[<Fact>]
let ``test DateTime.DaysInMonth works`` () =
    DateTime.DaysInMonth(2014, 1) |> equal 31
    DateTime.DaysInMonth(2014, 2) |> equal 28
    DateTime.DaysInMonth(2014, 4) |> equal 30
    DateTime.DaysInMonth(2016, 2) |> equal 29

[<Fact>]
let ``test DateTime.Now works`` () =
    let d = DateTime.Now
    d > DateTime.MinValue |> equal true
    // d.Kind |> equal DateTimeKind.Local // currently we're not storing Kind

[<Fact>]
let ``test DateTime.UtcNow works`` () =
    let d = DateTime.UtcNow
    d > DateTime.MinValue |> equal true
    // d.Kind |> equal DateTimeKind.Utc // currently we're not storing Kind

[<Fact>]
let ``test DateTime.AddYears works`` () =
    let test v expected =
        let dt = DateTime(2016,2,29,0,0,0,DateTimeKind.Utc).AddYears(v)
        equal expected (dt.Month + dt.Day)
    test 100 31
    test 1 30
    test -1 30
    test -100 31
    test 0 31

[<Fact>]
let ``test DateTime.AddMonths works`` () =
    let test v expected =
        let dt = DateTime(2016,1,31,0,0,0,DateTimeKind.Utc).AddMonths(v)
        dt.Year + dt.Month + dt.Day
        |> equal expected
    test 100 2060
    test 20 2056
    test 6 2054
    test 5 2052
    test 1 2047
    test 0 2048
    test -1 2058
    test -5 2054
    test -20 2050
    test -100 2046

[<Fact>]
let ``test DateTime.AddDays works`` () =
    let test v expected =
        let dt = DateTime(2014,9,12,0,0,0,DateTimeKind.Utc).AddDays(v)
        thatYearSeconds dt
        |> equal expected
    test 100. 30585600.0
    test -100. 13305600.0
    test 0. 21945600.0

[<Fact>]
let ``test DateTime.AddHours works`` () =
    let test v expected =
        let dt = DateTime(2014,9,12,0,0,0,DateTimeKind.Utc).AddHours(v)
        thatYearSeconds dt
        |> equal expected
    test 100. 22305600.0
    test -100. 21585600.0
    test 0. 21945600.0

[<Fact>]
let ``test DateTime.AddMinutes works`` () =
    let test v expected =
        let dt = DateTime(2014,9,12,0,0,0,DateTimeKind.Utc).AddMinutes(v)
        thatYearSeconds dt
        |> equal expected
    test 100. 21951600.0
    test -100. 21939600.0
    test 0. 21945600.0

[<Fact>]
let ``test DateTime.AddSeconds works`` () =
    let test v expected =
        let dt = DateTime(2014,9,12,0,0,0,DateTimeKind.Utc).AddSeconds(v)
        thatYearSeconds dt
        |> equal expected
    test 100. 21945700.0
    test -100. 21945500.0
    test 0. 21945600.0

[<Fact>]
let ``test DateTime.AddMilliseconds works`` () =
    let test v expected =
        let dt = DateTime(2014,9,12,0,0,0,DateTimeKind.Utc).AddMilliseconds(v)
        thatYearMilliseconds dt
        |> equal expected
    test 100. 2.19456001e+10
    test -100. 2.19455999e+10
    test 0. 2.19456e+10

[<Fact>]
let ``test DateTime Addition works`` () =
    let test (ms: float) expected =
        let dt = DateTime(2014,9,12,0,0,0,DateTimeKind.Utc)
        let ts = TimeSpan.FromMilliseconds(ms)
        let res1 = dt.Add(ts) |> thatYearSeconds
        let res2 = (dt + ts) |> thatYearSeconds
        equal true (res1 = res2)
        equal expected res1
    test 1000. 21945601.0
    test -1000. 21945599.0
    test 0. 21945600.0

[<Fact>]
let ``test DateTime constructors works`` () =
    let d1 = DateTime(2014, 10, 9)
    let d2 = DateTime(2014, 10, 9, 13, 23, 30)
    let d3 = DateTime(2014, 10, 9, 13, 23, 30, DateTimeKind.Utc)
    let d4 = DateTime(2014, 10, 9, 13, 23, 30, 500)
    let d5 = DateTime(2014, 10, 9, 13, 23, 30, 500, DateTimeKind.Utc)
    d1.Day + d2.Second + d3.Second + d4.Millisecond + d5.Millisecond
    |> equal 1069

// [<Fact>]
// let ``test DateTime constructor from DateOnly and TimeOnly works`` () =
//     let d = DateOnly(2014, 10, 9)
//     let t = TimeOnly(13, 23, 30, 500)
//     let dt1 = DateTime(d, t)
//     let dt2 = DateTime(d, t, DateTimeKind.Utc)
//     let dt1_exp = DateTime(2014, 10, 9, 13, 23, 30, 500, DateTimeKind.Unspecified)
//     let dt2_exp = DateTime(2014, 10, 9, 13, 23, 30, 500, DateTimeKind.Utc)
//     dt1.Ticks |> equal dt1_exp.Ticks
//     dt2.Ticks |> equal dt2_exp.Ticks

[<Fact>]
let ``test DateTime constructor from Ticks works`` () =
    let d = DateTime(624059424000000000L, DateTimeKind.Utc)
    equal 1978 d.Year
    equal 7 d.Month
    equal 27 d.Day
    equal 0 d.Hour
    equal 0 d.Minute

    let d = DateTime(624059424000000000L, DateTimeKind.Local)
    equal 1978 d.Year
    equal 7 d.Month
    equal 27 d.Day
    equal 0 d.Hour
    equal 0 d.Minute

    let d = DateTime(624059424000000000L)
    equal 1978 d.Year
    equal 7 d.Month
    equal 27 d.Day
    equal 0 d.Hour
    equal 0 d.Minute

[<Fact>]
let ``test DateTime.Ticks does not care about kind`` () =
    let d1 = DateTime(2014, 10, 9, 13, 23, 30, 500, DateTimeKind.Local)
    let d2 = DateTime(2014, 10, 9, 13, 23, 30, 500, DateTimeKind.Utc)
    let d3 = DateTime(2014, 10, 9, 13, 23, 30, 500, DateTimeKind.Unspecified)
    equal d1.Ticks d2.Ticks
    equal d1.Ticks d3.Ticks
    equal d2.Ticks d3.Ticks

    let t = DateTime.UtcNow.Ticks
    let d1 = DateTime(t, DateTimeKind.Local)
    let d2 = DateTime(t, DateTimeKind.Utc)
    let d3 = DateTime(t, DateTimeKind.Unspecified)
    equal d1.Ticks d2.Ticks
    equal d1.Ticks d3.Ticks
    equal d2.Ticks d3.Ticks

[<Fact>]
let ``test DateTime.ToLocalTime works`` () =
    let d = DateTime(2014, 10, 9, 13, 23, 30, DateTimeKind.Utc)
    let d' = d.ToLocalTime()
    d.Kind <> d'.Kind
    |> equal true

[<Fact>]
let ``test DateTime.ToUniversalTime works`` () =
    let d = DateTime(2014, 10, 9, 13, 23, 30, DateTimeKind.Local)
    d.ToUniversalTime().Kind <> d.Kind
    |> equal true

[<Fact>]
let ``test DateTime.SpecifyKind works`` () = // See #1844
    let d = DateTime(2014, 10, 9, 13, 23, 30, DateTimeKind.Local)
    let d2 = DateTime.SpecifyKind(d, DateTimeKind.Utc)
    d2.Kind |> equal DateTimeKind.Utc
    d.Ticks = d2.Ticks |> equal true
    // Not sure why this is failing on .NET runtime in the CI
    // let d3 = d.ToUniversalTime()
    // d.Ticks = d3.Ticks |> equal false

[<Fact>]
let ``test DateTime constructor works with Microseconds`` () =
    let d = DateTime(2014, 7, 1, 16, 37, 1, 2, 3)

    d.Year + d.Month + d.Day + d.Hour + d.Minute + d.Second + d.Millisecond |> equal 2078
    d.Ticks |> equal 635398294210020030L

[<Fact>]
let ``test DateTime constructor with DateTimeKind generates proper enum reference`` () =
    // This test validates the fix for issue #3689
    // DateTime constructors with DateTimeKind should generate DateKind enum references
    // instead of literal integers in the Python output
    let dateUtc = DateTime(2014, 10, 9, 13, 23, 30, 234, DateTimeKind.Utc)
    let dateLocal = DateTime(2014, 10, 9, 13, 23, 30, 234, DateTimeKind.Local)
    let dateUnspecified = DateTime(2014, 10, 9, 13, 23, 30, 234, DateTimeKind.Unspecified)

    // Verify the DateTimeKind is preserved correctly
    dateUtc.Kind |> equal DateTimeKind.Utc
    dateLocal.Kind |> equal DateTimeKind.Local
    dateUnspecified.Kind |> equal DateTimeKind.Unspecified

    // Test 8-argument constructor as well
    let dateUtc8 = DateTime(2014, 10, 9, 13, 23, 30, 234, 567, DateTimeKind.Utc)
    dateUtc8.Kind |> equal DateTimeKind.Utc

    // Verify date components are correct
    dateUtc.Year |> equal 2014
    dateUtc.Month |> equal 10
    dateUtc.Day |> equal 9
    dateUtc.Hour |> equal 13
    dateUtc.Minute |> equal 23
    dateUtc.Second |> equal 30
    dateUtc.Millisecond |> equal 234

// Disabled: It seems that there a loss of precision somewhere
// Can be revisited later
// [<Fact>]
// let ``test DateTime <-> Ticks isomorphism`` () =
//     let checkIsomorphism (d: DateTime) =
//         try
//             let ticks = d.Ticks
//             let kind = d.Kind
//             let fromTicks = DateTime ticks
//             let fromTicksWithKind = DateTime (ticks, kind)

//             equal d fromTicks
//             equal ticks fromTicks.Ticks
//             equal d fromTicksWithKind
//             equal ticks fromTicksWithKind.Ticks
//             equal kind fromTicksWithKind.Kind
//         with e ->
//             failwithf "%A: %O" d e

//         try
//             equal d.Ticks (DateTime d.Ticks).Ticks
//         with e ->
//             failwithf "%s%O" "replacement bug. " e

//     checkIsomorphism DateTime.MinValue
//     checkIsomorphism DateTime.MaxValue
//     checkIsomorphism DateTime.Now
//     checkIsomorphism DateTime.UtcNow
//     checkIsomorphism <| DateTime(2014, 10, 9)
//     checkIsomorphism <| DateTime(2014, 10, 9, 13, 23, 30)
//     checkIsomorphism <| DateTime(2014, 10, 9, 13, 23, 30, DateTimeKind.Utc)
//     checkIsomorphism <| DateTime(2014, 10, 9, 13, 23, 30, 500)
//     checkIsomorphism <| DateTime(2014, 10, 9, 13, 23, 30, 500, DateTimeKind.Utc)