Commit 967f6852 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Make test for T7903 a bit harder!

parent 2e7d1fda
{-# LANGUAGE KindSignatures #-}
module T7903 where
instance Eq (((->) a) b)
instance Eq (((->) a :: * -> *) b)
instance (Ord b) => Ord (((->) a) b)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment