diff options
Diffstat (limited to 'src/GF/Compile/CheckGrammar.hs')
| -rw-r--r-- | src/GF/Compile/CheckGrammar.hs | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/GF/Compile/CheckGrammar.hs b/src/GF/Compile/CheckGrammar.hs index 07151d8b7..8fe4cf988 100644 --- a/src/GF/Compile/CheckGrammar.hs +++ b/src/GF/Compile/CheckGrammar.hs @@ -101,7 +101,7 @@ checkResInfo gr (c,info) = do ty' <- check ty typeType >>= comp . fst (de',_) <- check de ty' return (Yes ty', Yes de') - (Nope, Yes de) -> do + (_, Yes de) -> do (de',ty') <- infer de return (Yes ty', Yes de') _ -> return (pty, pde) --- other cases are uninteresting @@ -611,6 +611,10 @@ checkEqLType env t u trm = do || elem n (allExtends env m) (QC m a, QC n b) | a == b -> elem m (allExtends env n) || elem n (allExtends env m) + (QC m a, Q n b) | a == b -> elem m (allExtends env n) + || elem n (allExtends env m) + (Q m a, QC n b) | a == b -> elem m (allExtends env n) + || elem n (allExtends env m) (RecType rs, RecType ts) -> and [alpha g a b && l == k --- too strong req | ((l,a),(k,b)) <- zip rs ts] |