Skip to content

Instantly share code, notes, and snippets.

@nh2

nh2/ghc-7.7-type-a-a-a-families.hs

Created August 22, 2013 00:59
Show Gist options
  • Save nh2/6302087 to your computer and use it in GitHub Desktop.
Save nh2/6302087 to your computer and use it in GitHub Desktop.
Download ZIP
GHC 7.7 conflicting (a -> a) vs (a -> a -> a) type families
Raw
ghc-7.7-type-a-a-a-families.hs
{-# LANGUAGE TypeFamilies #-}
module Test where
type family BoundsOf x
type instance BoundsOf (a->a) = Int
type instance BoundsOf (a->a->a) = (Int,Int)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment