Fix a few places where we forgot to close the text codecs (#4029)
[ghc-base.git] / Debug /
drwxr-xr-x   ..
-rw-r--r-- 2114 Trace.hs