testsuite/tests/simplCore/should_compile/T13468.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE EmptyCase, EmptyDataDecls, TypeFamilies #-}

module T13468 where

import GHC.Generics

data Void

instance Generic Void where
   type Rep Void = V1
   from x = case x of
   to x = case x of