From c18141050ec136068aa9057d0fcc1da5000bb067 Mon Sep 17 00:00:00 2001 From: Ranjeet Kumar Ranjan Date: Fri, 30 Jun 2023 10:36:18 +0530 Subject: [PATCH] Fix werrors --- src/Streamly/Internal/Data/Unbox/TH.hs | 11 +++++------ 1 file changed, 5 insertions(+), 6 deletions(-) diff --git a/src/Streamly/Internal/Data/Unbox/TH.hs b/src/Streamly/Internal/Data/Unbox/TH.hs index 3b17618b29..c5605c52b5 100644 --- a/src/Streamly/Internal/Data/Unbox/TH.hs +++ b/src/Streamly/Internal/Data/Unbox/TH.hs @@ -1,4 +1,5 @@ {-# LANGUAGE TemplateHaskell #-} +{-# OPTIONS_GHC -Wno-implicit-lift #-} module Streamly.Internal.Data.Unbox.TH ( makeUnbox @@ -10,8 +11,6 @@ module Streamly.Internal.Data.Unbox.TH -- Imports -------------------------------------------------------------------------------- -import Data.Maybe (fromMaybe) -import Data.List (find) import Data.Word (Word16, Word32, Word64, Word8) import Data.Proxy (Proxy(..)) import TH.Utilities (appsT, plainInstanceD) @@ -204,10 +203,10 @@ mkPokeExprFields tagSize fields = do $(varE (mkFieldName i))|] mkPokeMatch :: Name -> Int -> Q Exp -> Q Match -mkPokeMatch cname numFields exp = +mkPokeMatch cname numFields exp0 = match (conP cname (map varP (map mkFieldName [0 .. (numFields - 1)]))) - (normalB exp) + (normalB exp0) [] mkPokeExpr :: Type -> [DataCon] -> Q Exp @@ -217,14 +216,14 @@ mkPokeExpr headTy cons = [|error ("Attempting to poke type with no constructors (" ++ $(lift (pprint headTy)) ++ ")")|] - [con@(DataCon cname _ _ fields)] -> + [(DataCon cname _ _ fields)] -> caseE (varE _val) [mkPokeMatch cname (length fields) (mkPokeExprFields 0 fields)] _ -> caseE (varE _val) - (map (\(tagVal, con@(DataCon cname _ _ fields)) -> + (map (\(tagVal, (DataCon cname _ _ fields)) -> mkPokeMatch cname (length fields)