Idris2 :make-with looks broken

[meraymond2]

I would expect something like

(:return (:ok "g n b with (_)\n  g n b | with_pat = ?g_rhs_rhs\n") 2)

but received

(:return (:ok "g : (n: Nat) -> (b: Bool) -> Stringwith (_)\n  g : (n: Nat) -> (b: Bool) -> String| with_pat = ?g_rhs_rhs\n") 2)

Need to raise issue.

[meraymond2]

This has been fixed in 0.2.1 (:tada:), and the only difference is that it no longer ends in a new line.