diff options
| -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) |