From: qrczak <unknown>
Date: Mon, 7 Aug 2000 23:29:46 +0000 (+0000)
Subject: [project @ 2000-08-07 23:29:46 by qrczak]
X-Git-Tag: Approximately_9120_patches~3906
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=514da0a6391a928e218c82208d9aca089e6caf78;p=ghc-hetmet.git

[project @ 2000-08-07 23:29:46 by qrczak]
Use \{ \} in regex instead of { } for literal { }.
Hope it should be OK in theory; needed in practice here.
---

diff --git a/ghc/driver/Main.hs b/ghc/driver/Main.hs
index 2c053dc..e0c3a37 100644
--- a/ghc/driver/Main.hs
+++ b/ghc/driver/Main.hs
@@ -1,6 +1,6 @@
 {-# OPTIONS -W #-}
 -----------------------------------------------------------------------------
--- $Id: Main.hs,v 1.51 2000/08/06 12:19:21 panne Exp $
+-- $Id: Main.hs,v 1.52 2000/08/07 23:29:46 qrczak Exp $
 --
 -- GHC Driver program
 --
@@ -1081,7 +1081,7 @@ getOptionsFromSource file
 			-> return (words opts)
 		   | otherwise -> return []
 
-optionRegex = mkRegex "{-#[ \t]+OPTIONS[ \t]+(.*)#-}"
+optionRegex = mkRegex "\\{-#[ \t]+OPTIONS[ \t]+(.*)#-\\}"
 
 -----------------------------------------------------------------------------
 -- Main loop