• parcs's avatar
    Make stdout and stderr line-buffered · e8d0dc7e
    parcs authored
    An unbuffered handle is very slow to output to and there doesn't seem to
    be any reason to have these handles unbuffered.
    e8d0dc7e
InteractiveUI.hs 118 KB