Any way to iterate the rules?

[ulysses4ever]

Example:

❯ cat ./Example.hs
module Example where

(?) :: a -> b -> a
(?) a _b = a

test :: Int
test = 42 ? undefined ? 5

I run:

❯ retrie --adhoc 'forall a b. a ? b = a'
...
Done! 1 lines changed.

And get:

❯ cat ./Example.hs
module Example where

(?) :: a -> b -> a
(?) a _b = a

test :: Int
test = 42 ? undefined

I expected to get test = 42 on the last line. Is it possible to achieve this currently or would it be hard to add such behavior?

A workaround would be to call retrie in a shell loop, perhaps. This doesn't sound entertaining, and on a larger codebase will take time.

[ulysses4ever]

Update: I just found out that there's the -i flag that allows you to iterate the specified number of times. It'd be great if there's an option to iterate till fixpoint, assuming it exists, which is a valid assumption in many practical cases (therwise the user can always kill the process).

[watashi]

It'd be great if there's an option to iterate till fixpoint

Retrie will avoid unnecessary iterations if it hits a fixed point.
How about just use -i 1000 or a large enough number?

therwise the user can always kill the process

For a large repo, running retrie itself can take a long time, sometimes, it's not as obvious if it's just slow or get stuck because of this.