177b96b · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Remove -Werror from all files

This prevents dumb build failures.

commit177b96b3c1c31f98857bbc303617707a0cdb1f2b authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateSat 3 Jan 2015, 22:46 (12 years ago) parent25c117a

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