haskell-tools-builtin-refactorings-1.1.0.0: test/ExtensionOrganizerTest/TypeFamiliesTest/TypeEqualityInName.hs

{-# LANGUAGE TypeFamilies #-}

module TypeEqualityInName where

import Definitions

{-@ GADTs @-}

g1 = eqRelName                  {-* (TypeFamilies + GADTs) *-}

g2 = nestedEqRelName            {-* TypeFamilies + GADTs, (TypeFamilies + GADTs) *-}

x <+> y = nestedEqRelName       {-* TypeFamilies + GADTs, (TypeFamilies + GADTs) *-}

x <-> y = nestedEqRelName 5 id  {-* (TypeFamilies + GADTs) *-}