def open_got

gralha-byte-words@0.1.0.0 · words.bend:190

import Base

190def open_got(what: String, r: Result<&1, &1, U32 & String, File>) -> IO(File):
191  match r:
192    case Done{file}:
193      IO.pure(File, file)
194    case Fail{e}:
195      do IO<File>:
196        Unit <- fail(what, e)
197        IO.die(File, 1, "unreachable")