debugging

Stream: new members

[Kevin Lacker]

If I have some huge nasty object with no helpful types on it, like a list of some products of lists of etc etc, is there a way to turn it into a string just so I can trace it and see some information about it? equivalent of python __repr__ for example

[Mario Carneiro]

trace

[Mario Carneiro]

tactic.trace specifically

[Kevin Lacker]

i always get complaints like

123:1: failed to synthesize type class instance for
stuff : list (rewrite_search.side × list edge),
trace_chopped : tactic unit
⊢ has_to_tactic_format (list (rewrite_search.side × list edge))

[Mario Carneiro]

you have to implement has_to_format or has_to_tactic_format for any custom data structures you have

[Mario Carneiro]

in this case rewrite_search.side and edge