packages feed

purescript-0.11.4: examples/warning/CustomWarning2.purs

-- @shouldWarnWith UserDefinedWarning
module Main where

foo :: Warn "foo" => Int -> Int
foo x = x

bar :: Warn "foo" => Int
bar = foo 42

baz :: Int
baz = bar