Commit f2eb50cc authored by rl@cse.unsw.edu.au's avatar rl@cse.unsw.edu.au

Number data constructors from 0 when vectorising

parent 17f77282
......@@ -68,7 +68,7 @@ isAnnTypeArg (_, AnnType t) = True
isAnnTypeArg _ = False
mkDataConTag :: DataCon -> CoreExpr
mkDataConTag = mkIntLitInt . dataConTag
mkDataConTag con = mkIntLitInt (dataConTag con - fIRST_TAG)
splitUnTy :: String -> Name -> Type -> Type
splitUnTy s name ty
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment