summaryrefslogtreecommitdiff
path: root/tests/purs/warning/Kind-UnusedExplicitImport-2.purs
diff options
context:
space:
mode:
authorhdgarrood <>2019-10-20 21:32:00 (GMT)
committerhdiff <hdiff@hdiff.luite.com>2019-10-20 21:32:00 (GMT)
commit5ad3069b08d142e1b278a1c0cb495de9ea7441a2 (patch)
treefb67390b7a61a787ecc6dde0217468ae02bdcfb4 /tests/purs/warning/Kind-UnusedExplicitImport-2.purs
parent196340405320c2706aef57bcfe40cf4790e62de3 (diff)
version 0.13.40.13.4
Diffstat (limited to 'tests/purs/warning/Kind-UnusedExplicitImport-2.purs')
-rw-r--r--tests/purs/warning/Kind-UnusedExplicitImport-2.purs12
1 files changed, 12 insertions, 0 deletions
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