summaryrefslogtreecommitdiff
path: root/tests/purs/warning
diff options
context:
space:
mode:
Diffstat (limited to 'tests/purs/warning')
-rw-r--r--tests/purs/warning/Kind-UnusedExplicitImport-1.purs11
-rw-r--r--tests/purs/warning/Kind-UnusedExplicitImport-2.purs12
-rw-r--r--tests/purs/warning/Kind-UnusedImport.purs9
3 files changed, 32 insertions, 0 deletions
diff --git a/tests/purs/warning/Kind-UnusedExplicitImport-1.purs b/tests/purs/warning/Kind-UnusedExplicitImport-1.purs
new file mode 100644
index 0000000..e5c9ba5
--- /dev/null
+++ b/tests/purs/warning/Kind-UnusedExplicitImport-1.purs
@@ -0,0 +1,11 @@
+-- @shouldWarnWith UnusedExplicitImport
+module Main where
+
+import Prelude (Unit, unit, pure)
+import Effect (Effect)
+import Type.RowList (RLProxy, kind RowList)
+
+class A (a :: RowList)
+
+main :: Effect Unit
+main = pure unit
diff --git a/tests/purs/warning/Kind-UnusedExplicitImport-2.purs b/tests/purs/warning/Kind-UnusedExplicitImport-2.purs
new file mode 100644
index 0000000..0c8623e
--- /dev/null
+++ b/tests/purs/warning/Kind-UnusedExplicitImport-2.purs
@@ -0,0 +1,12 @@
+-- @shouldWarnWith UnusedExplicitImport
+module Main where
+
+import Prelude (Unit, unit, pure)
+import Effect (Effect)
+import Type.RowList (RLProxy, kind RowList)
+
+f :: forall l. RLProxy l -> Int
+f _ = 0
+
+main :: Effect Unit
+main = pure unit
diff --git a/tests/purs/warning/Kind-UnusedImport.purs b/tests/purs/warning/Kind-UnusedImport.purs
new file mode 100644
index 0000000..07ad87f
--- /dev/null
+++ b/tests/purs/warning/Kind-UnusedImport.purs
@@ -0,0 +1,9 @@
+-- @shouldWarnWith UnusedImport
+module Main where
+
+import Prelude (Unit, unit, pure)
+import Effect (Effect)
+import Type.RowList (kind RowList)
+
+main :: Effect Unit
+main = pure unit