diff options
| author | aarne <aarne@cs.chalmers.se> | 2006-01-06 21:49:25 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2006-01-06 21:49:25 +0000 |
| commit | 88b09b8ae0d5b239d2c4fbb17d83778df12db618 (patch) | |
| tree | 057a11bda78fb5841c286a601c66608008eee065 /src/GF/Compile/CheckGrammar.hs | |
| parent | 3bf8e5ce6fbc026fd045762fbbf63eee58f09367 (diff) | |
concatenation string patterns
Diffstat (limited to 'src/GF/Compile/CheckGrammar.hs')
| -rw-r--r-- | src/GF/Compile/CheckGrammar.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index 037d07072..3b3e9eaa6 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -664,7 +664,7 @@ checkLType env trm typ0 = do pattContext :: LTEnv -> Type -> Patt -> Check Context pattContext env typ p = case p of PV x -> return [(x,typ)] - PP q c ps | q /= cPredef -> do + PP q c ps | q /= cPredef || prt c == "CC" -> do ---- why this /=? AR 6/1/2006 t <- checkErr $ lookupResType cnc q c (cont,v) <- checkErr $ typeFormCnc t checkCond ("wrong number of arguments for constructor in" +++ prt p) |