summaryrefslogtreecommitdiff
path: root/tests/purs/warning/Kind-UnusedExplicitImport-2.purs
blob: 0c8623e6b6495e67a75f19727e6b0a1f9ccebd22 (plain)
1
2
3
4
5
6
7
8
9
10
11
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