diff options
| author | aarne <unknown> | 2005-10-12 11:38:29 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-10-12 11:38:29 +0000 |
| commit | 7b941a4ffaf34b4b078a596ec56cdb86ef0b6869 (patch) | |
| tree | a071de43c90187486db1cd512f4a50c44f072de4 /src/GF/Grammar | |
| parent | ea1dcfd70aa7a2fb6a0b4227a6a5b83123bb4985 (diff) | |
gt -atoms
Diffstat (limited to 'src/GF/Grammar')
| -rw-r--r-- | src/GF/Grammar/PatternMatch.hs | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/GF/Grammar/PatternMatch.hs b/src/GF/Grammar/PatternMatch.hs index 79969c2f3..cbf77063d 100644 --- a/src/GF/Grammar/PatternMatch.hs +++ b/src/GF/Grammar/PatternMatch.hs @@ -5,9 +5,9 @@ -- Stability : (stable) -- Portability : (portable) -- --- > CVS $Date: 2005/04/21 16:22:26 $ --- > CVS $Author: bringert $ --- > CVS $Revision: 1.6 $ +-- > CVS $Date: 2005/10/12 12:38:29 $ +-- > CVS $Author: aarne $ +-- > CVS $Revision: 1.7 $ -- -- pattern matching for both concrete and abstract syntax. AR -- 16\/6\/2003 ----------------------------------------------------------------------------- @@ -65,12 +65,14 @@ tryMatch (p,t) = do do matches <- mapM tryMatch (zip pp tt) return (concat matches) (PP q p pp, ([], QC r f, tt)) | - q `eqStrIdent` r && p `eqStrIdent` f && length pp == length tt -> + -- q `eqStrIdent` r && --- not for inherited AR 10/10/2005 + p `eqStrIdent` f && length pp == length tt -> do matches <- mapM tryMatch (zip pp tt) return (concat matches) ---- hack for AppPredef bug (PP q p pp, ([], Q r f, tt)) | - q `eqStrIdent` r && p `eqStrIdent` f && length pp == length tt -> + -- q `eqStrIdent` r && --- + p `eqStrIdent` f && length pp == length tt -> do matches <- mapM tryMatch (zip pp tt) return (concat matches) |