Close file after reading OPTIONS pragma
-----------------------------------------------------------------------------
-----------------------------------------------------------------------------
--- $Id: DriverUtil.hs,v 1.24 2001/06/14 12:50:06 simonpj Exp $
+-- $Id: DriverUtil.hs,v 1.25 2001/06/27 10:14:13 rrt Exp $
--
-- Utils for the driver
--
--
-- Utils for the driver
--
-> IO [String] -- options, if any
getOptionsFromSource file
= do h <- openFile file ReadMode
-> IO [String] -- options, if any
getOptionsFromSource file
= do h <- openFile file ReadMode
- catchJust ioErrors (look h)
+ catchJust ioErrors (look h `finally` hClose h)
(\e -> if isEOFError e then return [] else ioError e)
where
look h = do
(\e -> if isEOFError e then return [] else ioError e)
where
look h = do