projects
/
matthijs
/
master-project
/
support
/
tfvec.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
92cb4e3
)
Revert vectorTH to it's old implementation, so that it works with the new tfp
author
Christiaan Baaij
<christiaan.baaij@gmail.com>
Thu, 6 Aug 2009 12:07:46 +0000
(14:07 +0200)
committer
Christiaan Baaij
<christiaan.baaij@gmail.com>
Thu, 6 Aug 2009 12:07:46 +0000
(14:07 +0200)
Data/Param/TFVec.hs
patch
|
blob
|
history
diff --git
a/Data/Param/TFVec.hs
b/Data/Param/TFVec.hs
index 529c52c12a163dfb3b31397ddfbd987189e78ca4..1b2051e6e9ba176335d69a01033e06b4dd1e1912 100644
(file)
--- a/
Data/Param/TFVec.hs
+++ b/
Data/Param/TFVec.hs
@@
-100,9
+100,9
@@
vectorCPS xs = unsafeVectorCPS (toInteger (P.length xs)) xs
-- FIXME: Not the most elegant solution... but it works for now in clash
vectorTH :: (Lift a, Typeable a) => [a] -> ExpQ
-- FIXME: Not the most elegant solution... but it works for now in clash
vectorTH :: (Lift a, Typeable a) => [a] -> ExpQ
-vectorTH xs = sigE [| (TFVec xs) |] (decTFVecT (toInteger (P.length xs)) xs)
-
--
vectorTH [] = [| empty |]
-
--
vectorTH (x:xs) = [| x +> $(vectorTH xs) |]
+
--
vectorTH xs = sigE [| (TFVec xs) |] (decTFVecT (toInteger (P.length xs)) xs)
+vectorTH [] = [| empty |]
+vectorTH (x:xs) = [| x +> $(vectorTH xs) |]
unsafeVector :: NaturalT s => s -> [a] -> TFVec s a
unsafeVector l xs
unsafeVector :: NaturalT s => s -> [a] -> TFVec s a
unsafeVector l xs