2005-09-03 04:45:14 +00:00

17 lines
264 B
Haskell

module Plugin where
-- user doesn't import the API
-- and provides a polymorphic value
-- import API
-- resource :: Interface
--
-- should pass type check, and dump core
--
-- resource :: Num a => a
import API
resource = Interface { field = 7 :: Num a => a }