projects
/
matthijs
/
master-project
/
cλash.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Keys for typemap can now deal with vector lengths based on type operators
[matthijs/master-project/cλash.git]
/
CoreTools.hs
diff --git
a/CoreTools.hs
b/CoreTools.hs
index 33a4a62a3ab0368e895ba5b0d39cb2776bf4a5b3..0297f90435c02000cb7b75d0ae0b4ff9833a7484 100644
(file)
--- a/
CoreTools.hs
+++ b/
CoreTools.hs
@@
-98,7
+98,7
@@
tfvec_len ty =
where
args = case Type.splitTyConApp_maybe ty of
Just (tycon, args) -> args
where
args = case Type.splitTyConApp_maybe ty of
Just (tycon, args) -> args
- Nothing -> error $ "
CoreTools.tfvec_len
Not a vector type: " ++ (pprString ty)
+ Nothing -> error $ "
\nCoreTools.tfvec_len:
Not a vector type: " ++ (pprString ty)
[len, el_ty] = args
-- | Get the element type of a TFVec type
[len, el_ty] = args
-- | Get the element type of a TFVec type
@@
-107,7
+107,7
@@
tfvec_elem ty = el_ty
where
args = case Type.splitTyConApp_maybe ty of
Just (tycon, args) -> args
where
args = case Type.splitTyConApp_maybe ty of
Just (tycon, args) -> args
- Nothing -> error $ "
CoreTools.tfvec_len
Not a vector type: " ++ (pprString ty)
+ Nothing -> error $ "
\nCoreTools.tfvec_len:
Not a vector type: " ++ (pprString ty)
[len, el_ty] = args
-- Is this a wild binder?
[len, el_ty] = args
-- Is this a wild binder?
@@
-165,7
+165,7
@@
has_free_vars = not . VarSet.isEmptyVarSet . CoreFVs.exprFreeVars
-- simple Var CoreExprs, not complexer ones.
exprToVar :: CoreSyn.CoreExpr -> Var.Id
exprToVar (CoreSyn.Var id) = id
-- simple Var CoreExprs, not complexer ones.
exprToVar :: CoreSyn.CoreExpr -> Var.Id
exprToVar (CoreSyn.Var id) = id
-exprToVar expr = error $ "
CoreTools.exprToVar
Not a var: " ++ show expr
+exprToVar expr = error $ "
\nCoreTools.exprToVar:
Not a var: " ++ show expr
-- Removes all the type and dictionary arguments from the given argument list,
-- leaving only the normal value arguments. The type given is the type of the
-- Removes all the type and dictionary arguments from the given argument list,
-- leaving only the normal value arguments. The type given is the type of the