diff options
| author | aarne <unknown> | 2005-05-26 13:34:21 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-05-26 13:34:21 +0000 |
| commit | f77c9c86ae7a927c6bc10a5224145e49d166e821 (patch) | |
| tree | b779ca9886323dfc3789d7baddb6f49b5157cf2e /src | |
| parent | 9a756a3ac10128bc60708d4f41e2379450adf57c (diff) | |
include - in header
Diffstat (limited to 'src')
| -rw-r--r-- | src/GF/Infra/ReadFiles.hs | 8 |
1 files 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' |