sbv-14.0: SBVTestSuite/TestSuite/CompileTests/SCase/SCase32.hs

{-# LANGUAGE TemplateHaskell   #-}

{-# OPTIONS_GHC -Wall -Werror -ddump-splices #-}

module T where

import Data.SBV

-- Testing bad fields
data A = F (A -> Bool)
       | I Integer

mkSymbolic [''A]