Merge pull request #2530 from ninioArtillero/name-resolution-tests

Test of the qualified import of type alises

Author: facundominguez

tests/names/neg/Nat1.hs

@@ -0,0 +1,3 @@
+module Nat1 where
+
+{-@ type INat = {v:Int | v >= 0} @-}

tests/names/neg/Nat2.hs

@@ -0,0 +1,5 @@
+module Nat2 where
+
+import Data.Int (Int32)
+
+{-@ type INat = {v:Int32 | v >= 0}@-}

tests/names/neg/QualifiedAliases.hs

@@ -0,0 +1,14 @@
+{-@ LIQUID "--expect-error-containing=Multiple definitions of Type Alias" @-}
+
+-- | This is an instance of LiquidHaskell having a flat import namespace
+-- for logic names. Here, both Nat modules export the same type alias 'INat',
+-- producing an error even though we explicitly qualify it to avoid ambiguity.
+module QualifiedAliases where
+
+import qualified Nat1 as N
+import Nat2
+
+{-@ llength :: [a] -> Nat @-}
+llength :: [a] -> Int
+llength [] = 0
+llength (x : xs) = 1 + length xs

tests/tests.cabal

@@ -781,6 +781,9 @@ executable names-neg
                     , Capture01
                     , DuplicatedAliases
                     , Local00
+                    , Nat1
+                    , Nat2
+                    , QualifiedAliases
                     , Set00
                     , Set01
                     , Set02