search

ndmitchell / debug

Haskell library for debugging
BSD 3-Clause "New" or "Revised" License
122 stars 7 forks source link

Add a representation for function arguments #39

Open pepeiborra opened 6 years ago

pepeiborra commented 6 years ago

The DebugTrace datatype does not provide an encoding for functions, so the Hoed backend has been representing them as strings, for instance:

$arg1 = { \ 'l'  -> True, \ 'l'  -> True}

Having a representation would allow the frontend to render these more effectively (and choosing when to display them), and would increase sharing, making the trace more compact.

pepeiborra commented 6 years ago

We might want a representation for lists as well, for the same reasons.