ec2a48a · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Merge pull request #1829 from david-christiansen/no-werror

Remove -Werror from all files

commitec2a48ae74b47e81badd98d5db867eca34a619ff authorDavid Christiansen <david@davidchristiansen.dk> dateSun 4 Jan 2015, 09:40 (12 years ago) parent0a1b72c 177b96b

6 files changed+6−6

compare with master

unifiedsplit

src/Idris/Core/DeepSeq.hs+1−1 src/Idris/DeepSeq.hs+1−1 src/Idris/Docstrings.hs+1−1 src/Idris/Elab/Value.hs+1−1 src/Idris/IdeSlave.hs+1−1 src/Idris/Output.hs+1−1

src/Idris/Core/DeepSeq.hs+1−1

@@ -1,4 +1,4 @@

1−{-# OPTIONS_GHC -fwarn-incomplete-patterns -Werror #-}

1+{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}

33module Idris.Core.DeepSeq where

src/Idris/DeepSeq.hs+1−1

@@ -1,4 +1,4 @@

1−{-# OPTIONS_GHC -fwarn-incomplete-patterns -Werror #-}

1+{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}

33module Idris.DeepSeq(module Idris.DeepSeq, module Idris.Core.DeepSeq) where

src/Idris/Docstrings.hs+1−1

@@ -1,5 +1,5 @@

11{-# LANGUAGE DeriveFunctor, ScopedTypeVariables #-}

2−{-# OPTIONS_GHC -fwarn-incomplete-patterns -Werror #-}

2+{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}

44-- | Wrapper around Markdown library

55module Idris.Docstrings (

src/Idris/Elab/Value.hs+1−1

@@ -1,5 +1,5 @@

11{-# LANGUAGE PatternGuards #-}

2−{-# OPTIONS_GHC -fwarn-incomplete-patterns -Werror #-}

2+{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}

33module Idris.Elab.Value(elabVal, elabValBind, elabDocTerms) where

55import 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 #-}

33{-# LANGUAGE FlexibleInstances, IncoherentInstances, PatternGuards #-}

src/Idris/Output.hs+1−1

@@ -1,4 +1,4 @@

1−{-# OPTIONS_GHC -fwarn-incomplete-patterns -Werror #-}

1+{-# OPTIONS_GHC -fwarn-incomplete-patterns #-}

33module Idris.Output where