-- !!! Checking that lazy name clashing works.
module ShouldCompile where

import Data.List ( reverse, sort )

sort :: Int     -- Clashes with Data.List.sort,
sort = 4        -- but never used, so OK


reverse :: Int  -- Clashes with Data.List.reverse,
reverse = 3     -- but the only uses are qualified

x = ShouldCompile.reverse

y = Data.List.reverse