From 514da0a6391a928e218c82208d9aca089e6caf78 Mon Sep 17 00:00:00 2001 From: qrczak Date: Mon, 7 Aug 2000 23:29:46 +0000 Subject: [PATCH] [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. --- ghc/driver/Main.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 1.7.10.4