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
Caching converted tfp integers to speedup translation
[matthijs/master-project/cλash.git]
/
CoreTools.hs
diff --git
a/CoreTools.hs
b/CoreTools.hs
index 0297f90435c02000cb7b75d0ae0b4ff9833a7484..3569d53b06e98b1c155cee605cd96e626067d69f 100644
(file)
--- a/
CoreTools.hs
+++ b/
CoreTools.hs
@@
-93,12
+93,14
@@
ranged_word_bound ty =
-- | Get the length of a FSVec type
tfvec_len :: Type.Type -> Int
-- | Get the length of a FSVec type
tfvec_len :: Type.Type -> Int
-tfvec_len ty =
- eval_tfp_int len
+tfvec_len ty = eval_tfp_int (tfvec_len_ty ty)
+
+tfvec_len_ty :: Type.Type -> Type.Type
+tfvec_len_ty ty = len
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 $ "\nCoreTools.tfvec_len: Not a vector type: " ++ (pprString ty)
+ Nothing -> error $ "\nCoreTools.tfvec_len
_ty
: 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