Inline Float.to_charlist/1 and Float.to_string/1

Author: devinus

lib/elixir/lib/float.ex

@@ -589,14 +589,16 @@ defmodule Float do
 
   For a configurable representation, use `:erlang.float_to_list/2`.
 
+  Inlined by the compiler.
+
   ## Examples
 
       iex> Float.to_charlist(7.0)
       ~c"7.0"
 
   """
   @spec to_charlist(float) :: charlist
-  def to_charlist(float) when is_float(float) do
+  def to_charlist(float) do
     :erlang.float_to_list(float, [:short])
   end
 
@@ -616,14 +618,16 @@ defmodule Float do
 
   For a configurable representation, use `:erlang.float_to_binary/2`.
 
+  Inlined by the compiler.
+
   ## Examples
 
       iex> Float.to_string(7.0)
       "7.0"
 
   """
   @spec to_string(float) :: String.t()
-  def to_string(float) when is_float(float) do
+  def to_string(float) do
     :erlang.float_to_binary(float, [:short])
   end
 

lib/elixir/src/elixir_rewrite.erl

@@ -8,6 +8,7 @@
 -define(atom, 'Elixir.Atom').
 -define(bitwise, 'Elixir.Bitwise').
 -define(enum, 'Elixir.Enum').
+-define(float, 'Elixir.Float').
 -define(function, 'Elixir.Function').
 -define(integer, 'Elixir.Integer').
 -define(io, 'Elixir.IO').
@@ -239,6 +240,8 @@ rewrite(Receiver, DotMeta, Right, Meta, Args) ->
   {EReceiver, ERight, EArgs} = inner_rewrite(ex_to_erl, DotMeta, Receiver, Right, Args),
   {{'.', DotMeta, [EReceiver, ERight]}, Meta, EArgs}.
 
+?rewrite(?float, to_charlist, [Arg], erlang, float_to_list, [Arg, [short]]);
+?rewrite(?float, to_string, [Arg], erlang, float_to_binary, [Arg, [short]]);
 ?rewrite(?kernel, is_map_key, [Map, Key], erlang, is_map_key, [Key, Map]);
 ?rewrite(?map, delete, [Map, Key], maps, remove, [Key, Map]);
 ?rewrite(?map, fetch, [Map, Key], maps, find, [Key, Map]);