Opened 9 years ago

Last modified 7 years ago

#20 new defect

Show solutions as complete parse trees

Reported by: ke Owned by: ke
Priority: minor Milestone:
Component: trale-sld Version:
Keywords: Cc:

Description

Currently impossible because the debugger is not asserting grale_psrule_varlink/3 clauses. Adding this functionality to the debugger might be hard.

Change History (2)

comment:1 Changed 9 years ago by ke

Note to self: new edges are created in d_add_dtrs_rest/11, the calls causing grale_psrule_varlink/3 clauses to be asserted need to go there.

comment:2 Changed 7 years ago by ke

  • Component changed from core to trale-sld
Note: See TracTickets for help on using tickets.