diff options
| author | Dimitrios Vytiniotis <dimitris@microsoft.com> | 2012-03-28 10:56:29 +0200 |
|---|---|---|
| committer | Dimitrios Vytiniotis <dimitris@microsoft.com> | 2012-03-28 10:56:29 +0200 |
| commit | b4b7647fedf0feab41d417c4e980bd08445ce559 (patch) | |
| tree | 004f4e966e1a1e3a5457b11c57cb7f9abf43a108 /compiler/vectorise/Vectorise/Convert.hs | |
| parent | cc2d2e1d44405630fb34311dc3f5e42eadc5c6b1 (diff) | |
| parent | 9606231dd203163c8ca839b3f58c6e40a3805fa8 (diff) | |
| download | haskell-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.hs | 9 |
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. |
