2022-01-04 23:07:50 +00:00
|
|
|
module FormatSpecifiersTest
|
|
|
|
|
|
|
|
let x = List.fold (*) 24.5 [ 1.; 2.; 3. ]
|
|
|
|
|
|
|
|
// expect "147.00"
|
|
|
|
printfn "Speed: %.2f m/s" x
|
|
|
|
printfn $"Speed: %.2f{x} m/s"
|
|
|
|
printfn $"Speed: {x:f2} m/s"
|
2023-05-31 23:11:12 +00:00
|
|
|
printfn $@"Speed: %.2f{x} m/s"
|
|
|
|
printfn @$"Speed: {x:f2} m/s"
|
2022-01-04 23:07:50 +00:00
|
|
|
|
|
|
|
// expect " 147%"
|
|
|
|
printfn """%% increase:% .0F%% over last year""" x
|
|
|
|
printfn $"""%% increase:% .0F{x}%% over last year"""
|
|
|
|
printfn $"""%% increase:{x / 100.,5:P0} over last year"""
|
2023-05-31 23:11:12 +00:00
|
|
|
printfn $@"""%% increase:% .0F{x}%% over last year"""
|
|
|
|
printfn @$"""%% increase:{x / 100.,5:P0} over last year"""
|
2022-01-04 23:07:50 +00:00
|
|
|
|
|
|
|
// expect "1.5E+002"
|
|
|
|
// NB: units should look like text even without a space
|
|
|
|
printfn @"Time: %-0.1Esecs" x
|
|
|
|
printfn $"Time: %-0.1E{x}secs"
|
|
|
|
printfn $"Time: {x:E1}secs"
|
2023-05-31 23:11:12 +00:00
|
|
|
printfn $@"Time: %-0.1E{x}secs"
|
|
|
|
printfn @$"Time: {x:E1}secs"
|
2022-01-04 23:07:50 +00:00
|
|
|
|
|
|
|
// expect "\" +147\""
|
|
|
|
printfn @"""Temp: %+12.3g K""" x
|
|
|
|
printfn $"""{'"'}Temp: %+12.3g{x} K{'"'}"""
|
|
|
|
printfn $"""{'"'}Temp: {'+',9}{x:g3} K{'"'}"""
|
2023-05-31 23:11:12 +00:00
|
|
|
printfn $@"""Temp: %+12.3g{x} K"""
|
|
|
|
printfn @$"""Temp: {'+',9}{x:g3} K"""
|
2022-01-04 23:07:50 +00:00
|
|
|
|
|
|
|
// Since F# 6.0
|
|
|
|
printfn @"%B" 0b1_000_000
|
|
|
|
printfn "%B" "\x40"B.[0]
|
|
|
|
printfn $"""%B{'\064'B}"""
|
2023-05-31 23:11:12 +00:00
|
|
|
printfn $@"""%B{0b1_000_000}"""
|
|
|
|
printfn @$"""%B{'\064'B}"""
|
2022-01-04 23:07:50 +00:00
|
|
|
|
|
|
|
// These don't work
|
|
|
|
printfn ``%.2f`` x
|
|
|
|
printfn $"%.2f" x
|
2023-05-31 23:11:12 +00:00
|
|
|
printfn $@"%.2f" x
|
|
|
|
printfn @$"%.2f" x
|
2022-01-04 23:07:50 +00:00
|
|
|
printfn $"%.2f {x}"
|
2023-05-31 23:11:12 +00:00
|
|
|
printfn $@"%.2f {x}"
|
|
|
|
printfn @$"%.2f {x}"
|
2022-01-04 23:07:50 +00:00
|
|
|
printfn $"""%.2f {x}"""
|
2023-05-31 23:11:12 +00:00
|
|
|
printfn $@"""%.2f {x}"""
|
|
|
|
printfn @$"""%.2f {x}"""
|