diff options
Diffstat (limited to 'compiler/vectorise/Vectorise/Utils/PADict.hs')
| -rw-r--r-- | compiler/vectorise/Vectorise/Utils/PADict.hs | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/compiler/vectorise/Vectorise/Utils/PADict.hs b/compiler/vectorise/Vectorise/Utils/PADict.hs index cb3495d315..dfc08bcf58 100644 --- a/compiler/vectorise/Vectorise/Utils/PADict.hs +++ b/compiler/vectorise/Vectorise/Utils/PADict.hs @@ -114,9 +114,9 @@ paMethod method _ ty -- Note that @ty@ is only used for error messages -- prDictOfPReprInstTyCon :: Type -> CoAxiom -> [Type] -> VM CoreExpr -prDictOfPReprInstTyCon ty prepr_ax prepr_args - | Just rhs <- coreView (coAxiomRHS prepr_ax) +prDictOfPReprInstTyCon _ty prepr_ax prepr_args = do + let rhs = mkAxInstRHS prepr_ax prepr_args dict <- prDictOfReprType' rhs pr_co <- mkBuiltinCo prTyCon let co = mkAppCo pr_co @@ -124,8 +124,6 @@ prDictOfPReprInstTyCon ty prepr_ax prepr_args $ mkAxInstCo prepr_ax prepr_args return $ mkCast dict co - | otherwise = cantVectorise "Invalid PRepr type instance" (ppr ty) - -- |Get the PR dictionary for a type. The argument must be a representation -- type. -- |