diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-09-03 09:33:37 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-09-03 09:33:37 +0000 |
| commit | cf00c0c2a9aa1e333a95f3cd31b243f64bbe7812 (patch) | |
| tree | 1a2ee64dd408296fe3946f466bf22717472c3418 /src/GF/Infra | |
| parent | d1ebdf8154855964b4dbeaca7791589b103fd621 (diff) | |
treatment of Int: not always PredefAbs but can be PredefCnc
Diffstat (limited to 'src/GF/Infra')
| -rw-r--r-- | src/GF/Infra/Modules.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/GF/Infra/Modules.hs b/src/GF/Infra/Modules.hs index 797f729c8..913afc89e 100644 --- a/src/GF/Infra/Modules.hs +++ b/src/GF/Infra/Modules.hs @@ -378,6 +378,7 @@ sameMType m n = case (n,m) of (MTInterface, MTInstance _) -> True (MTInterface, MTResource) -> True -- for reuse (MTInterface, MTAbstract) -> True -- for reuse + (MTInterface, MTConcrete _) -> True -- for reuse (MTResource, MTInstance _) -> True (MTResource, MTConcrete _) -> True -- for reuse |