https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124233
Arthur Cohen <cohenarthur at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |cohenarthur at gcc dot gnu.org
--- Comment #8 from Arthur Cohen <cohenarthur at gcc dot gnu.org> ---
Hi Brecht,
The core library should be supported by the end of the summer, around
September. You can check in our testsuite for instances of `printf` as you can
bind to libc functions and use that for prints/debug prints. Furthermore, the
`println!` macro is only available in `std`, which `core` is a subset of -
support for `std` is not yet on the cards as we are focusing on other
milestones for now.
Regarding the patch (thank you Andrew!) I'll try and get it integrated shortly.
