funflow icon indicating copy to clipboard operation
funflow copied to clipboard

Infinite loop with showFlow

Open mpickering opened this issue 7 years ago • 2 comments

Using showFlow on a flow which uses mapA causes an unproductive infinite loop.

showFlow (mapA (arr (+1)))
> "....(unproductive loop)

mpickering avatar Sep 07 '18 08:09 mpickering

The problem here is that mapA results in an infinite tree of choice nodes since we don't statically know the size of the structure being mapped over.

bgamari avatar Sep 30 '18 17:09 bgamari

This is still an interesting point and should be considered when implementing showFlow for funflow 2.

dorranh avatar Jul 22 '21 09:07 dorranh