Ali Caglayan (Aug 17 2020 at 23:58): Ali Caglayan (Aug 17 2020 at 23:58):Hi, why does coqc send Print (and Check and Time) to stdout? Can this be disabled?
Jason Gross (Aug 19 2020 at 19:55):Why not just comment out the directives if you don't want them to print? (AFAIK, there's not currently a way to disable it, though you can Redirect to a file. You can request a flag to disable the behavior, though. (I don't think it should be turned off unconditionally, though, as I depend on this in some of my projects.))
Last updated: Oct 13 2024 at 01:02 UTC