vectorTH function updated so that it works in Clash
authorChristiaan Baaij <christiaan.baaij@gmail.com>
Fri, 3 Jul 2009 19:37:59 +0000 (21:37 +0200)
committerChristiaan Baaij <christiaan.baaij@gmail.com>
Fri, 3 Jul 2009 19:37:59 +0000 (21:37 +0200)
Will probebly convert it to something better in the future

Data/Param/TFVec.hs

index fd620e7..2357c21 100644 (file)
@@ -95,8 +95,11 @@ singleton x = x +> empty
 vectorCPS :: [a] -> (forall s . NaturalT s => TFVec s a -> w) -> w
 vectorCPS xs = unsafeVectorCPS (toInteger (P.length xs)) xs
 
+-- FIXME: Not the most elegant solution... but it works for now in clash
 vectorTH :: Lift a => [a] -> ExpQ
-vectorTH xs = (vectorCPS xs) lift
+-- vectorTH xs = (vectorCPS xs) lift
+vectorTH [] = [| empty |]
+vectorTH (x:xs) = [| x +> $(vectorTH xs) |]
 
 unsafeVector :: NaturalT s => s -> [a] -> TFVec s a
 unsafeVector l xs