Unparseable retrie output

[georgefst]

f x = case x of
    _ -> 1

g =
    let h = f 2
     in h

Unfolding f results in:

g =
    let h = case 2 of
    _ -> 1
     in h

which is insufficiently indented.

The retrie CLI tool handles this properly.

[pepeiborra]

Sorry @georgefst but the retrie CLI tool doesn't handle this properly for me. Can you double check please?

EDIT: it seems like it does handle it properly only in some cases, e.g. the repro works fine in an empty module but not if pasted at the bottom of Ide.Plugin.Retrie. But more importantly, --dry-run always gives the invalid solution, and --dry-run is what the Retrie plugin uses:

pepeiborra@pepeiborra-mbp ide % cat retrie-test/Test.hs                 

module Test where

f x = case x of
    _ -> 1

g =
    let h = f 2
     in h
pepeiborra@pepeiborra-mbp ide % retrie -u Test.f --target retrie-test --target-file Test.hs --dry-run
Adding:
[]
f
==>
\ x -> case x of
    _ -> 1
["x"]
f x
==>
 case x of
    _ -> 1
/Users/pepeiborra/scratch/ide/retrie-test/Test.hs:8:13:
-     let h = f 2
+     let h = case 2 of
+     _ -> 1