Stream: Elpi users & devs

Topic: ease of debugging


view this post on Zulip Enzo Crance (Jun 03 2021 at 14:45):

Hello. Is there another way to find where and why a predicate failed than

view this post on Zulip Cyril Cohen (Jun 03 2021 at 15:00):

You can use std.spy and/or std.spy-do!

view this post on Zulip Cyril Cohen (Jun 03 2021 at 15:01):

(it will log the input and output of a clause)

view this post on Zulip Enrico Tassi (Jun 03 2021 at 16:35):

A trace browser is planned, and engineering manpower allocated... then there was the pandemic and it stalled.

The best you can get is by Elpi Trace "predicate" so that only goals about "predicate" are displayed. It's actually a regex following OCaml's conventions.

view this post on Zulip Enrico Tassi (Jun 03 2021 at 16:38):

If you have ideas on what exactly a trace browser should let you do/filter/jump-to, I'm all ears. I've some ideas, but my POV is probably biased.


Last updated: Feb 05 2023 at 14:02 UTC