roc Cli file io unreachable code

Cli file io unreachable code

Open kili-ilo opened this issue 3 years ago • 2 comments

@rtfeldman @365g3s07 Do you plan to resume work on this branch? Otherwise, should we delete it?

(This PR was created in a manual batch nagging operation to tidy all 6-month-stale branches.)

Jul 06 '22 06:07 kili-ilo

@rtfeldman @365g3s07 friendly ping :)

Aug 08 '22 03:08 kili-ilo

Yeah I plan to get back to this and to https://github.com/rtfeldman/roc/pull/2105 and get some combination of them merged in. It's on my list!

Aug 11 '22 22:08 rtfeldman

Cool, I'll close this nag PR then.

Aug 20 '22 03:08 kili-ilo

#4030 is merged, so it's safe to delete this old branch!

Sep 25 '22 01:09 kili-ilo