From f77c9c86ae7a927c6bc10a5224145e49d166e821 Mon Sep 17 00:00:00 2001 From: aarne Date: Thu, 26 May 2005 13:34:21 +0000 Subject: [PATCH] include - in header --- src/GF/Infra/ReadFiles.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/GF/Infra/ReadFiles.hs b/src/GF/Infra/ReadFiles.hs index e9aa1b8a8..d06909f44 100644 --- a/src/GF/Infra/ReadFiles.hs +++ b/src/GF/Infra/ReadFiles.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/04/21 16:46:08 $ --- > CVS $Author: bringert $ --- > CVS $Revision: 1.23 $ +-- > CVS $Date: 2005/05/26 14:34:21 $ +-- > CVS $Author: aarne $ +-- > CVS $Revision: 1.24 $ -- -- Decide what files to read as function of dependencies and time stamps. -- @@ -236,7 +236,7 @@ importsOfFile = unComm -- ignore comments before the headed line where term = flip elem ["{",";"] - spec = flip elem ["of", "open","in",":", "->","=", "(", ")",",","**","union"] + spec = flip elem ["of", "open","in",":", "->","=", "-","(", ")",",","**","union"] unqual ws = case ws of "(":q:ws' -> unqual ws' w:ws' -> w:unqual ws'