PrintFunction.fs

// Copyright (c) Microsoft Corporation.  All Rights Reserved.  See License.txt in the project root for license information.

namespace EmittedIL

open Xunit
open FSharp.Test.Compiler

module PrintFunction =

    [<Fact>]
    let ``print with int specializes to Int32 ToString with InvariantCulture``() =
        FSharp """
module PrintInt

let printInt () = print 42
         """
         |> withOptimize
         |> compile
         |> shouldSucceed
         |> verifyIL [
             """call       class [netstandard]System.IO.TextWriter [netstandard]System.Console::get_Out()"""
             """call       class [netstandard]System.Globalization.CultureInfo [netstandard]System.Globalization.CultureInfo::get_InvariantCulture()"""
             """call       instance string [netstandard]System.Int32::ToString(string,"""
             """callvirt   instance void [netstandard]System.IO.TextWriter::Write(string)"""]

    [<Fact>]
    let ``printn with int specializes to Int32 ToString with InvariantCulture``() =
        FSharp """
module PrintnInt

let printnInt () = printn 42
         """
         |> withOptimize
         |> compile
         |> shouldSucceed
         |> verifyIL [
             """call       class [netstandard]System.IO.TextWriter [netstandard]System.Console::get_Out()"""
             """call       class [netstandard]System.Globalization.CultureInfo [netstandard]System.Globalization.CultureInfo::get_InvariantCulture()"""
             """call       instance string [netstandard]System.Int32::ToString(string,"""
             """callvirt   instance void [netstandard]System.IO.TextWriter::WriteLine(string)"""]

    [<Fact>]
    let ``print with string calls Write directly``() =
        FSharp """
module PrintString

let printStr () = print "hello"
         """
         |> withOptimize
         |> compile
         |> shouldSucceed
         |> verifyIL [
             """call       class [netstandard]System.IO.TextWriter [netstandard]System.Console::get_Out()"""
             """callvirt   instance void [netstandard]System.IO.TextWriter::Write(string)"""]

    [<Fact>]
    let ``print with char calls Write char overload``() =
        FSharp """
module PrintChar

let printChar () = print 'A'
         """
         |> withOptimize
         |> compile
         |> shouldSucceed
         |> verifyIL [
             """call       class [netstandard]System.IO.TextWriter [netstandard]System.Console::get_Out()"""
             """callvirt   instance void [netstandard]System.IO.TextWriter::Write(char)"""]

    [<Fact>]
    let ``print with bool calls Write bool overload``() =
        FSharp """
module PrintBool

let printBool () = print true
         """
         |> withOptimize
         |> compile
         |> shouldSucceed
         |> verifyIL [
             """call       class [netstandard]System.IO.TextWriter [netstandard]System.Console::get_Out()"""
             """callvirt   instance void [netstandard]System.IO.TextWriter::Write(bool)"""]

    [<Fact>]
    let ``printn with float specializes to Double ToString with InvariantCulture``() =
        FSharp """
module PrintnFloat

let printnFloat () = printn 3.14
         """
         |> withOptimize
         |> compile
         |> shouldSucceed
         |> verifyIL [
             """call       class [netstandard]System.IO.TextWriter [netstandard]System.Console::get_Out()"""
             """call       class [netstandard]System.Globalization.CultureInfo [netstandard]System.Globalization.CultureInfo::get_InvariantCulture()"""
             """call       instance string [netstandard]System.Double::ToString(string,"""
             """callvirt   instance void [netstandard]System.IO.TextWriter::WriteLine(string)"""]