summaryrefslogtreecommitdiff
path: root/compiler/vectorise/Vectorise/Convert.hs
diff options
context:
space:
mode:
authorDimitrios Vytiniotis <dimitris@microsoft.com>2012-03-28 10:56:29 +0200
committerDimitrios Vytiniotis <dimitris@microsoft.com>2012-03-28 10:56:29 +0200
commitb4b7647fedf0feab41d417c4e980bd08445ce559 (patch)
tree004f4e966e1a1e3a5457b11c57cb7f9abf43a108 /compiler/vectorise/Vectorise/Convert.hs
parentcc2d2e1d44405630fb34311dc3f5e42eadc5c6b1 (diff)
parent9606231dd203163c8ca839b3f58c6e40a3805fa8 (diff)
downloadhaskell-b4b7647fedf0feab41d417c4e980bd08445ce559.tar.gz
Merge branch 'master' of http://darcs.haskell.org/ghc into ghc-new-flavor
Diffstat (limited to 'compiler/vectorise/Vectorise/Convert.hs')
-rw-r--r--compiler/vectorise/Vectorise/Convert.hs9
1 files changed, 5 insertions, 4 deletions
diff --git a/compiler/vectorise/Vectorise/Convert.hs b/compiler/vectorise/Vectorise/Convert.hs
index cebee633ee..048362d59c 100644
--- a/compiler/vectorise/Vectorise/Convert.hs
+++ b/compiler/vectorise/Vectorise/Convert.hs
@@ -78,10 +78,11 @@ identityConv (TyConApp tycon tys)
= do { mapM_ identityConv tys
; identityConvTyCon tycon
}
-identityConv (TyVarTy _) = noV $ text "identityConv: type variable changes under vectorisation"
-identityConv (AppTy _ _) = noV $ text "identityConv: type appl. changes under vectorisation"
-identityConv (FunTy _ _) = noV $ text "identityConv: function type changes under vectorisation"
-identityConv (ForAllTy _ _) = noV $ text "identityConv: quantified type changes under vectorisation"
+identityConv (LitTy {}) = noV $ text "identityConv: not sure about literal types under vectorisation"
+identityConv (TyVarTy {}) = noV $ text "identityConv: type variable changes under vectorisation"
+identityConv (AppTy {}) = noV $ text "identityConv: type appl. changes under vectorisation"
+identityConv (FunTy {}) = noV $ text "identityConv: function type changes under vectorisation"
+identityConv (ForAllTy {}) = noV $ text "identityConv: quantified type changes under vectorisation"
-- |Check that this type constructor is neutral under type vectorisation — i.e., it is not altered
-- by vectorisation as they contain no parallel arrays.