diff options
Diffstat (limited to 'tests/purs/warning')
| -rw-r--r-- | tests/purs/warning/Kind-UnusedExplicitImport-1.purs | 11 | ||||
| -rw-r--r-- | tests/purs/warning/Kind-UnusedExplicitImport-2.purs | 12 | ||||
| -rw-r--r-- | tests/purs/warning/Kind-UnusedImport.purs | 9 |
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 |