'# `Show` instances
-- String

:p show "abc"
> "abc"

-- Int32

:p show (1234 :: Int32)
> "1234"

:p show (-1234 :: Int32)
> "-1234"

:p show ((f_to_i (-(pow 2. 31.))) :: Int32)
> "-2147483648"

-- Int64

:p show (i_to_i64 1234 :: Int64)
> "1234"

:p show (i_to_i64 (-1234) :: Int64)
> "-1234"

-- Float32

:p show (123.456789 :: Float32)
> "123.456787"

:p show ((pow 2. 16.) :: Float32)
> "65536"

-- FIXME(https://github.com/google-research/dex-lang/issues/316):
-- Unparenthesized expression with type ascription does not parse.
-- :p show (nan: Float32)

:p show (nan :: Float32)
> "nan"

-- Note: `show nan` (Dex runtime dtoa implementation) appears different from
-- `:p nan` (Dex interpreter implementation).
:p nan
> nan

:p show (infinity :: Float32)
> "inf"

-- Note: `show infinity` (Dex runtime dtoa implementation) appears different from
-- `:p nan` (Dex interpreter implementation).
:p infinity
> inf

-- Float64

:p show (f_to_f64 123.456789:: Float64)
> "123.456787109375"

:p show (f_to_f64 (pow 2. 16.):: Float64)
> "65536"

:p show ((f_to_f64 nan):: Float64)
> "nan"

-- Note: `show nan` (Dex runtime dtoa implementation) appears different from
-- `:p nan` (Dex interpreter implementation).
:p (f_to_f64 nan)
> nan

:p show ((f_to_f64 infinity):: Float64)
> "inf"

-- Note: `show infinity` (Dex runtime dtoa implementation) appears different from
-- `:p nan` (Dex interpreter implementation).
:p (f_to_f64 infinity)
> inf

-- Tuples

:p show (123, 456)
> "(123, 456)"

:p show ("abc", 123)
> "(abc, 123)"

:p show ("abc", 123, ("def", 456))
> "(abc, 123, (def, 456))"