summaryrefslogtreecommitdiff
path: root/src/full/Agda/TypeChecking/CompiledClause.hs
diff options
context:
space:
mode:
Diffstat (limited to 'src/full/Agda/TypeChecking/CompiledClause.hs')
-rw-r--r--src/full/Agda/TypeChecking/CompiledClause.hs12
1 files changed, 6 insertions, 6 deletions
diff --git a/src/full/Agda/TypeChecking/CompiledClause.hs b/src/full/Agda/TypeChecking/CompiledClause.hs
index eb9ce69..48efa72 100644
--- a/src/full/Agda/TypeChecking/CompiledClause.hs
+++ b/src/full/Agda/TypeChecking/CompiledClause.hs
@@ -1,9 +1,9 @@
-{-# LANGUAGE CPP #-}
-{-# LANGUAGE DeriveDataTypeable #-}
-{-# LANGUAGE DeriveFoldable #-}
-{-# LANGUAGE DeriveFunctor #-}
-{-# LANGUAGE DeriveTraversable #-}
-{-# LANGUAGE TypeOperators #-}
+-- GHC 7.4.2 requires this layout for the pragmas. See Issue 1460.
+{-# LANGUAGE CPP,
+ DeriveDataTypeable,
+ DeriveFoldable,
+ DeriveFunctor,
+ DeriveTraversable #-}
-- | Case trees.
--