Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

19 lines (12 sloc) 0.44 kB
{- ----------------------------------------------------------------------------------------
what : poly kind inference
expected: ok
---------------------------------------------------------------------------------------- -}
{-# LANGUAGE PolyKinds #-}
module PolyKinds1 where
data Proxy t = Proxy
class Foo t where
bar :: Proxy t -> Int
instance Foo Int where bar _ = 0
instance Foo [] where bar _ = 0
main = return ()
Jump to Line
Something went wrong with that request. Please try again.