def read_text.done

bend-visgraph@2.0.0.0 · src/series.bend:63

import Base

63def read_text.done(m: File & Result<&1, &1, U32 & String, String>) -> IO(String):
64  (f, r) = m
65  do IO<String>:
66    text : String <- IO.pass(String, r)
67    File.close(f)
68    return text