testsuite/tests/generics/GenCannotDoRep1_0.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE DeriveGeneric              #-}
{-# LANGUAGE ExistentialQuantification  #-}

module CannotDoRep1_0 where

import GHC.Generics

-- We do not support existential quantification
data Dynamic a = forall b. Dynamic b a deriving Generic1