nwolverson · December 17, 2017 23:41
diff --git a/DataTypes.purs b/DataTypes.purs
 module DataTypes where

 data Foo = Foo

 mkFoo = Foo

 data Bar = Bar

 data Baz = Baz1 | Baz2
diff --git a/HidingImport.purs b/HidingImport.purs
 module HidingImport where

 import Prelude
 import Data.Maybe hiding (fromMaybe)

 foo :: Maybe Unit
 foo = Just unit
diff --git a/ImplicitImport.purs b/ImplicitImport.purs
 module ImplicitImport where

 import Prelude
 import Data.Maybe

 foo :: Maybe Unit
 foo = Just unit
diff --git a/ImplicitQualifiedImport.purs b/ImplicitQualifiedImport.purs
 module ImplicitQualifiedImport where

 import Prelude
 import Data.Array as M
 import Data.Maybe as M

 foo :: M.Maybe Unit
 foo = M.Just unit
diff --git a/UnusedDctorExplicitImport.purs b/UnusedDctorExplicitImport.purs
 module UnusedDctorExplicitImport where

 import Prelude
 import DataTypes (Foo(..), Baz(Baz1, Baz2))

 myfoo :: Foo
 myfoo = Foo

 mybaz :: Baz
 mybaz = Baz2
diff --git a/UnusedDctorExplicitImportRetainsDctor.purs b/UnusedDctorExplicitImportRetainsDctor.purs
 module UnusedDctorExplicitImportRetainsDctor where

 import Prelude
 import DataTypes (Foo(Foo), Baz(Baz1, Baz2))

 myfoo :: Foo
 myfoo = Foo

 mybaz :: Baz
 mybaz = Baz2
diff --git a/UnusedDctorImport.purs b/UnusedDctorImport.purs
 module UnusedDctorImport where

 import Prelude
 import DataTypes (Foo(..), mkFoo, Bar(..))

 foo :: Foo
 foo = mkFoo

 bar :: Bar
 bar = Bar
diff --git a/UnusedDctorImportRetainsDctor.purs b/UnusedDctorImportRetainsDctor.purs
 module UnusedDctorImportRetainsDctor where

 import Prelude
 import DataTypes (Foo(..), mkFoo, Bar(Bar))

 foo :: Foo
 foo = mkFoo

 bar :: Bar
 bar = Bar
diff --git a/UnusedExplicitImport.purs b/UnusedExplicitImport.purs
 module UnusedExplicitImport where

 import Data.Maybe (Maybe(..), fromMaybe)

 foo :: Maybe Int
 foo = Just 3
diff --git a/UnusedExplicitImportRetainsDctor.purs b/UnusedExplicitImportRetainsDctor.purs
 module UnusedExplicitImportRetainsDctor where

 import Data.Maybe (Maybe(Just), fromMaybe)

 foo :: Maybe Int
 foo = Just 3
	module DataTypes where

	data Foo = Foo

	mkFoo = Foo

	data Bar = Bar

	data Baz = Baz1 \| Baz2
	module HidingImport where

	import Prelude
	import Data.Maybe hiding (fromMaybe)

	foo :: Maybe Unit
	foo = Just unit
	module ImplicitImport where

	import Prelude
	import Data.Maybe

	foo :: Maybe Unit
	foo = Just unit
	module ImplicitQualifiedImport where

	import Prelude
	import Data.Array as M
	import Data.Maybe as M

	foo :: M.Maybe Unit
	foo = M.Just unit
	module UnusedDctorExplicitImport where

	import Prelude
	import DataTypes (Foo(..), Baz(Baz1, Baz2))

	myfoo :: Foo
	myfoo = Foo

	mybaz :: Baz
	mybaz = Baz2
	module UnusedDctorExplicitImportRetainsDctor where

	import Prelude
	import DataTypes (Foo(Foo), Baz(Baz1, Baz2))

	myfoo :: Foo
	myfoo = Foo

	mybaz :: Baz
	mybaz = Baz2
	module UnusedDctorImport where

	import Prelude
	import DataTypes (Foo(..), mkFoo, Bar(..))

	foo :: Foo
	foo = mkFoo

	bar :: Bar
	bar = Bar
	module UnusedDctorImportRetainsDctor where

	import Prelude
	import DataTypes (Foo(..), mkFoo, Bar(Bar))

	foo :: Foo
	foo = mkFoo

	bar :: Bar
	bar = Bar
	module UnusedExplicitImport where

	import Data.Maybe (Maybe(..), fromMaybe)

	foo :: Maybe Int
	foo = Just 3
	module UnusedExplicitImportRetainsDctor where

	import Data.Maybe (Maybe(Just), fromMaybe)

	foo :: Maybe Int
	foo = Just 3