Opened 23 months ago

Last modified 23 months ago

#12687 new task

Add a flag to control constraint solving trace

Reported by: mpickering Owned by:
Priority: lowest Milestone:
Component: Compiler Version: 8.0.1
Keywords: newcomer Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: None/Unknown Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:


There are flags to control the typechecking and renaming trace (-dtrace-tc, -dtrace-rn) but the constraint solver trace can't be controlled in this way. It doesn't seem to always be emitted but it the behaviour should be unified with the other tracing functions.

traceTcS should be implemented in terms of traceOptTcRn and a flag added to control the output.

Change History (2)

comment:1 Changed 23 months ago by mpickering

It seems there is a flag -ddump-cs-trace but csTraceTcM implements it's own logic which should be unified with the logic in traceOptTcRn.

comment:2 Changed 23 months ago by simonpj

Fine with me!

Note: See TracTickets for help on using tickets.