diff options
| author | kr.angelov <kr.angelov@chalmers.se> | 2008-05-21 19:51:24 +0000 |
|---|---|---|
| committer | kr.angelov <kr.angelov@chalmers.se> | 2008-05-21 19:51:24 +0000 |
| commit | ced73a2f0af799e46142ad89fedb2412ae19548f (patch) | |
| tree | 9a0bc0e049bf946e26769ebaae0444b2ff8b3c3d /src-3.0 | |
| parent | 1bead9601b51d682710aa373d234439c7781a50a (diff) | |
fix typo
Diffstat (limited to 'src-3.0')
| -rw-r--r-- | src-3.0/GF/Devel/CheckGrammar.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src-3.0/GF/Devel/CheckGrammar.hs b/src-3.0/GF/Devel/CheckGrammar.hs index c88bc250e..a61e52d2a 100644 --- a/src-3.0/GF/Devel/CheckGrammar.hs +++ b/src-3.0/GF/Devel/CheckGrammar.hs @@ -974,7 +974,7 @@ checkIfEqLType env t u trm = do -- the following say that Ints n is a subset of Int and of Ints m >= n (t,u) | Just m <- isTypeInts t, Just n <- isTypeInts t -> m >= n | Just _ <- isTypeInts t, u == typeInt -> True ---- check size! - | t == typeInt, Just _ <- isTypeInts t -> True ---- why this ???? AR 11/12/2005 + | t == typeInt, Just _ <- isTypeInts u -> True ---- why this ???? AR 11/12/2005 ---- this should be made in Rename (Q m a, Q n b) | a == b -> elem m (allExtendsPlus env n) |