packages feed

purescript-0.15.15: tests/purs/warning/CustomWarning2.purs

-- @shouldWarnWith UserDefinedWarning
module Main where

import Prim.TypeError

foo :: Warn (Text "foo") => Int -> Int
foo x = x

bar :: Warn (Text "foo") => Int
bar = foo 42

baz :: Int
baz = bar