Ghislain (Oct 18 2022 at 15:41): Ghislain (Oct 18 2022 at 15:41):Hi,
Is there an equivalent of this C line in Roc? I would like to use colors and cursor motion.
printf("\033[%dm %3d\033[m", n, n);
Don't have a full answer, but probably not really tested yet.
The first %d is pretty straight forward:
xStr = Num.toStr x
"\(xStr)"
We don't currently have something like %3d to my knowledge. You would have to make it programmatically.
Ghislain (Oct 18 2022 at 15:46):oh, I meant the color thing, not the params
Brendan Hansknecht (Oct 18 2022 at 15:46):The rest, not sure what is/isn't supported currently
Brendan Hansknecht (Oct 18 2022 at 15:47):It might depend on the platform since we would be passing a Str to the platform
Ghislain (Oct 18 2022 at 15:48):I took it from here https://en.wikipedia.org/wiki/ANSI_escape_code#In_C
Ghislain (Oct 18 2022 at 16:00):I also tried this (which works in Rust):
println!("\x1b[93mHello\x1b[0m");
But compiler complains that the escape sequence is not recognized
Brendan Hansknecht (Oct 18 2022 at 16:17):Ah. Ok. Yeah i think we currently have limited escape sequences. Not sure the plan here.
Brendan Hansknecht (Oct 18 2022 at 16:18):@Richard Feldman do we have a way to support arbitrary Unicode? For you have to convert from int to str or should it be escapable?
Richard Feldman (Oct 18 2022 at 16:20):we already do, although it may not be documented
Richard Feldman (Oct 18 2022 at 16:21):I'm on my phone and haven't used it in over a year, but if I remember right it's "\u(1234)"
Richard Feldman (Oct 18 2022 at 16:23):yep, that's it!
Brendan Hansknecht (Oct 18 2022 at 16:26):Awesome!
Last updated: Jul 06 2025 at 12:14 UTC