17 lines
264 B
Haskell
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 }
|