>
> One thing I really like about the automatic message is that it is 
> discoverable. The feature is just there. And we have prior art.


Agreed.

And also agree with Ben Wilson on using the `iex` prefix, but I would 
include the number of the prompt. Here is a mockup:

[image: Screen Shot 2019-10-18 at 08.52.29.png]


If anyone wants to play a bit with it (more spaces, other message, time 
inside the prompt, etc), here is the mockup code: 


IO.puts("\n\niex(9)> :timer.sleep(32_000)\n" <> IO.ANSI.cyan() <> ":ok\n" <> 
IO.ANSI.reset() <> "iex(9) run in 32 seconds\niex(10)> _\n\n")


 

On Friday, October 18, 2019 at 5:22:55 AM UTC+2, Ben Wilson wrote:
>
> I really like this feature idea. Often you don't know or expect that a 
> particular function will take so long, and it's precisely at that point 
> that you go "man, I wish I had timed that". Particularly if the function is 
> doing a side effect, it may be non trivial to try again.
>
> Perhaps if the messaging all happened with the `iex()` prefix it might 
> make more sense where it's coming from?
>
> iex(1)> some_long_fun()
> iex(taking more than 5 seconds ...)
> iex(returned after 15 seconds)
> {:ok, :foo}
> iex(2)>
>
> On Thursday, October 17, 2019 at 8:20:16 PM UTC-4, José Valim wrote:
>>
>> Showing the time every time (and other metadata) would definitely be too 
>> verbose, even inside the prompt. But I understand the origin of the message 
>> being unclear.
>> -- 
>>
>>
>> *José Valim*
>> www.plataformatec.com.br
>> Skype: jv.ptec
>> Founder and Director of R&D
>>
>

-- 
You received this message because you are subscribed to the Google Groups 
"elixir-lang-core" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to elixir-lang-core+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/elixir-lang-core/c4b48de9-7515-4555-ba61-377af0d0233e%40googlegroups.com.

Reply via email to