From 514da0a6391a928e218c82208d9aca089e6caf78 Mon Sep 17 00:00:00 2001
From: qrczak <unknown>
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 2c053dcc025e..e0c3a3754ad5 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
--
GitLab