Zulip Chat Archive

Stream: new members

Topic: debugging


Kevin Lacker (Oct 29 2020 at 22:22):

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 (Oct 29 2020 at 22:24):

trace

Mario Carneiro (Oct 29 2020 at 22:24):

tactic.trace specifically

Kevin Lacker (Oct 29 2020 at 22:25):

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 (Oct 29 2020 at 22:26):

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

Mario Carneiro (Oct 29 2020 at 22:26):

in this case rewrite_search.side and edge


Last updated: Dec 20 2023 at 11:08 UTC