Revert vectorTH to it's old implementation, so that it works with the new tfp
authorChristiaan Baaij <christiaan.baaij@gmail.com>
Thu, 6 Aug 2009 12:07:46 +0000 (14:07 +0200)
committerChristiaan Baaij <christiaan.baaij@gmail.com>
Thu, 6 Aug 2009 12:07:46 +0000 (14:07 +0200)
Data/Param/TFVec.hs

index 529c52c12a163dfb3b31397ddfbd987189e78ca4..1b2051e6e9ba176335d69a01033e06b4dd1e1912 100644 (file)
@@ -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
-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