Mark the experimental stuff in prebuild.hs

This commit is contained in:
Ryan Trinkle 2017-04-18 22:22:24 -04:00
parent fd7c758220
commit a1b9ffee68

View File

@ -1,3 +1,4 @@
{-# LANGUAGE CPP #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}
@ -98,7 +99,9 @@ w = do
return ()
return ()
#ifdef EXPERIMENTAL_DEPENDENT_SUM_INSTANCES
instance {-# INCOHERENT #-} (Show (f a), Show (f b)) => ShowTag (EitherTag a b) f where
showTagToShow e _ = case e of
LeftTag -> id
RightTag -> id
#endif