From 46c2362e62e881124ea6d82cee17ffa3b5115088 Mon Sep 17 00:00:00 2001 From: simonmar Date: Tue, 22 Jan 2002 14:47:52 +0000 Subject: [PATCH] [project @ 2002-01-22 14:47:52 by simonmar] Strip whitespace from the beginning of the line when looking for OPTIONS pragmas. --- ghc/compiler/main/DriverUtil.hs | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/ghc/compiler/main/DriverUtil.hs b/ghc/compiler/main/DriverUtil.hs index 9901b46..0be0937 100644 --- a/ghc/compiler/main/DriverUtil.hs +++ b/ghc/compiler/main/DriverUtil.hs @@ -1,5 +1,5 @@ ----------------------------------------------------------------------------- --- $Id: DriverUtil.hs,v 1.28 2001/10/11 23:52:51 sof Exp $ +-- $Id: DriverUtil.hs,v 1.29 2002/01/22 14:47:52 simonmar Exp $ -- -- Utils for the driver -- @@ -43,7 +43,8 @@ getOptionsFromSource file (\e -> if isEOFError e then return [] else ioError e) where look h = do - l <- hGetLine h + l' <- hGetLine h + let l = remove_spaces l' case () of () | null l -> look h | prefixMatch "#" l -> look h -- 1.7.10.4