Non-exhaustive patterns in case
kozross opened this issue · comments
Problem
When I try to format a file, it gives me the following error instead of formatting it:
hindent: src/HIndent/Pretty.hs:(961,5)-(964,39): Non-exhaustive patterns in case
- I checked the issue tracker for existing issues about this problem.
- I'm using the latest version of hindent.
This triggers on this file here. Sorry I cannot give a smaller reproducing case.
I managed to reduce it to this:
{-# LANGUAGE DerivingVia #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE Safe #-}
{-# LANGUAGE ViewPatterns #-}
-- |
-- Module: Text.Ascii.Internal
-- Copyright: (C) 2021 Koz Ross
-- License: Apache 2.0
-- Maintainer: Koz Ross <koz.ross@retro-freedom.nz>
-- Stability: unstable, not subject to PVP
-- Portability: GHC only
--
-- This is an internal module, and is /not/ subject to the PVP. It can change
-- in any way, at any time, and should not be depended on unless you know
-- /exactly/ what you are doing. You have been warned.
module Text.Ascii.Internal where
import Control.DeepSeq (NFData)
import Data.CaseInsensitive (FoldCase (foldCase))
import Data.Char (chr, isAscii)
import Data.Hashable (Hashable)
import Data.Word (Word8)
import Numeric (showHex)
import Type.Reflection (Typeable)
-- | Represents valid ASCII characters, which are bytes from @0x00@ to @0x7f@.
--
-- @since 1.0.0
newtype AsciiChar = AsciiChar {toByte :: Word8}
deriving
( -- | @since 1.0.0
Eq,
-- | @since 1.0.0
Ord,
-- | @since 1.0.0
Hashable,
-- | @since 1.0.0
NFData
)
via Word8
deriving stock
( -- | @since 1.0.0
Typeable
)
-- | @since 1.0.0
instance Show AsciiChar where
{-# INLINEABLE show #-}
show (AsciiChar w8) = "'0x" <> showHex w8 "'"
-- | @since 1.0.0
instance Bounded AsciiChar where
{-# INLINEABLE minBound #-}
minBound = AsciiChar 0
{-# INLINEABLE maxBound #-}
maxBound = AsciiChar 127
-- | @since 1.0.1
instance FoldCase AsciiChar where
{-# INLINEABLE foldCase #-}
foldCase ac@(AsciiChar w8)
| 65 <= w8 && w8 <= 90 = AsciiChar (w8 + 32)
| otherwise = ac
-- | View an 'AsciiChar' as its underlying byte. You can pattern match on this,
-- but since there are more bytes than valid ASCII characters, you cannot use
-- this to construct.
--
-- @since 1.0.0
pattern AsByte :: Word8 -> AsciiChar
pattern AsByte w8 <- AsciiChar w8
-- | View an 'AsciiChar' as a 'Char'. You can pattern match on this, but since
-- there are more 'Char's than valid ASCII characters, you cannot use this to
-- construct.
--
-- @since 1.0.0
pattern AsChar :: Char -> AsciiChar
pattern AsChar c <- AsciiChar (isJustAscii -> Just c)
{-# COMPLETE AsByte #-}
{-# COMPLETE AsChar #-}
-- Helpers
isJustAscii :: Word8 -> Maybe Char
isJustAscii w8 =
if isAscii asChar
then pure asChar
else Nothing
where
asChar :: Char
asChar = chr . fromIntegral $ w8
Never mind, turns out I was looking in the wrong place. Closing this - apologies for the confusion.