diff options
| author | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2012-06-27 20:39:09 +1000 |
|---|---|---|
| committer | Manuel M T Chakravarty <chak@cse.unsw.edu.au> | 2012-06-27 20:39:09 +1000 |
| commit | f75f240bb266ad15935eb360548cf6b987b4953a (patch) | |
| tree | c57d9f3784c6a03693f3e0bc65f69d2ef25381b7 /compiler/vectorise/Vectorise | |
| parent | acfeb2b45b0d3812f085763fe4b02a0508638696 (diff) | |
| download | haskell-f75f240bb266ad15935eb360548cf6b987b4953a.tar.gz | |
Fix PA dfun construction with silent superclass args
Diffstat (limited to 'compiler/vectorise/Vectorise')
| -rw-r--r-- | compiler/vectorise/Vectorise/Generic/PADict.hs | 2 | ||||
| -rw-r--r-- | compiler/vectorise/Vectorise/Generic/PAMethods.hs | 11 |
2 files changed, 2 insertions, 11 deletions
diff --git a/compiler/vectorise/Vectorise/Generic/PADict.hs b/compiler/vectorise/Vectorise/Generic/PADict.hs index 6b7145d3b7..20aab59182 100644 --- a/compiler/vectorise/Vectorise/Generic/PADict.hs +++ b/compiler/vectorise/Vectorise/Generic/PADict.hs @@ -27,7 +27,7 @@ import FastString -- The PA dictionary holds fns that convert values to and from their vectorised representations. -- -- @Recall the definition: --- class class PR (PRepr a) => PA a where +-- class PR (PRepr a) => PA a where -- toPRepr :: a -> PRepr a -- fromPRepr :: PRepr a -> a -- toArrPRepr :: PData a -> PData (PRepr a) diff --git a/compiler/vectorise/Vectorise/Generic/PAMethods.hs b/compiler/vectorise/Vectorise/Generic/PAMethods.hs index 77793295dd..61c07cd299 100644 --- a/compiler/vectorise/Vectorise/Generic/PAMethods.hs +++ b/compiler/vectorise/Vectorise/Generic/PAMethods.hs @@ -68,8 +68,7 @@ type PAInstanceBuilder buildPAScAndMethods :: VM [(String, PAInstanceBuilder)] buildPAScAndMethods - = return [ ("PR", buildPRDict) - , ("toPRepr", buildToPRepr) + = return [ ("toPRepr", buildToPRepr) , ("fromPRepr", buildFromPRepr) , ("toArrPRepr", buildToArrPRepr) , ("fromArrPRepr", buildFromArrPRepr) @@ -77,14 +76,6 @@ buildPAScAndMethods , ("fromArrPReprs", buildFromArrPReprs)] -buildPRDict :: PAInstanceBuilder -buildPRDict vect_tc prepr_ax _ _ _ - = prDictOfPReprInstTyCon inst_ty prepr_ax arg_tys - where - arg_tys = mkTyVarTys (tyConTyVars vect_tc) - inst_ty = mkTyConApp vect_tc arg_tys - - -- buildToPRepr --------------------------------------------------------------- -- | Build the 'toRepr' method of the PA class. buildToPRepr :: PAInstanceBuilder |