on develop help sign in
Mark the experimental stuff in prebuild.hs
a1b9ffeRyan Trinkle
test/prebuild.hs+3
@@ -1,3 +1,4 @@
1+{-# LANGUAGE CPP #-}
1{-# LANGUAGE OverloadedStrings #-}
2{-# LANGUAGE OverloadedStrings #-}
2{-# LANGUAGE ScopedTypeVariables #-}
3{-# LANGUAGE ScopedTypeVariables #-}
3{-# LANGUAGE TypeFamilies #-}
4{-# LANGUAGE TypeFamilies #-}
@@ -98,7 +99,9 @@ w = do
98 return ()
99 return ()
99 return ()
100 return ()
100
101
102+#ifdef EXPERIMENTAL_DEPENDENT_SUM_INSTANCES
101instance {-# INCOHERENT #-} (Show (f a), Show (f b)) => ShowTag (EitherTag a b) f where
103instance {-# INCOHERENT #-} (Show (f a), Show (f b)) => ShowTag (EitherTag a b) f where
102 showTagToShow e _ = case e of
104 showTagToShow e _ = case e of
103 LeftTag -> id
105 LeftTag -> id
104 RightTag -> id
106 RightTag -> id
107+#endif