Commit 7d8b5241 authored by jpm@cs.ox.ac.uk's avatar jpm@cs.ox.ac.uk

Add test for #5936

parent 686628d2
{-# LANGUAGE DeriveGeneric #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE TypeFamilies #-}
module CanDoRep0 where
......@@ -21,3 +22,6 @@ data D a = D0 | D1 { d11 :: a, d12 :: (D a) }
data (:*:) a b = a :*: b
deriving Generic
data family F a
data instance F Int = FInt deriving Generic
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