git.iko.soy/Idris-dev
on master help sign in
Merge pull request #1829 from david-christiansen/no-werror
ec2a48aDavid Christiansen
src/Idris/Core/DeepSeq.hs+1−1
compare with master
unifiedsplit
@@ -1,4 +1,4 @@
1−{-# OPTIONS_GHC -fwarn-incomplete-patterns -Werror #-}
1+{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
2
2
3module Idris.Core.DeepSeq where
3module Idris.Core.DeepSeq where
4
4
src/Idris/DeepSeq.hs+1−1
@@ -1,4 +1,4 @@
1−{-# OPTIONS_GHC -fwarn-incomplete-patterns -Werror #-}
1+{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
2
2
3module Idris.DeepSeq(module Idris.DeepSeq, module Idris.Core.DeepSeq) where
3module Idris.DeepSeq(module Idris.DeepSeq, module Idris.Core.DeepSeq) where
4
4
src/Idris/Docstrings.hs+1−1
@@ -1,5 +1,5 @@
1{-# LANGUAGE DeriveFunctor, ScopedTypeVariables #-}
1{-# LANGUAGE DeriveFunctor, ScopedTypeVariables #-}
2−{-# OPTIONS_GHC -fwarn-incomplete-patterns -Werror #-}
2+{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
3
3
4-- | Wrapper around Markdown library
4-- | Wrapper around Markdown library
5module Idris.Docstrings (
5module Idris.Docstrings (
src/Idris/Elab/Value.hs+1−1
@@ -1,5 +1,5 @@
1{-# LANGUAGE PatternGuards #-}
1{-# LANGUAGE PatternGuards #-}
2−{-# OPTIONS_GHC -fwarn-incomplete-patterns -Werror #-}
2+{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
3module Idris.Elab.Value(elabVal, elabValBind, elabDocTerms) where
3module Idris.Elab.Value(elabVal, elabValBind, elabDocTerms) where
4
4
5import Idris.AbsSyntax
5import Idris.AbsSyntax
src/Idris/IdeSlave.hs+1−1
@@ -1,4 +1,4 @@
1−{-# OPTIONS_GHC -fwarn-incomplete-patterns -Werror #-}
1+{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
2
2
3{-# LANGUAGE FlexibleInstances, IncoherentInstances, PatternGuards #-}
3{-# LANGUAGE FlexibleInstances, IncoherentInstances, PatternGuards #-}
4
4
src/Idris/Output.hs+1−1
@@ -1,4 +1,4 @@
1−{-# OPTIONS_GHC -fwarn-incomplete-patterns -Werror #-}
1+{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}
2
2
3module Idris.Output where
3module Idris.Output where
4
4