When there is an if or pattern match it should highlight the taken path in yellow. When there is a boolean predicate it should highlight it in green/blue according to the result (perhaps, might not be necessary with the yellow color).
Note this isn't intended to be a HPC style "what got evaluated" in terms of lazy evaluation, more just which call path was taken.
When there is an
if
or pattern match it should highlight the taken path in yellow. When there is a boolean predicate it should highlight it in green/blue according to the result (perhaps, might not be necessary with the yellow color).Note this isn't intended to be a HPC style "what got evaluated" in terms of lazy evaluation, more just which call path was taken.