From efba4a9897da52b84a971a75bf16feaee19c8d07 Mon Sep 17 00:00:00 2001
From: Cedric Brancourt <cedric.brancourt@gmail.com>
Date: Sun, 6 Jul 2014 10:43:54 +0200
Subject: [PATCH] fix missing singletons haskell template (builds on 7.8.2)

---
 src/Data/Vector/Heterogenous.hs | 4 +++-
 vector-heterogenous.cabal       | 5 +++--
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/Data/Vector/Heterogenous.hs b/src/Data/Vector/Heterogenous.hs
index fe8ffa5..5d76d87 100644
--- a/src/Data/Vector/Heterogenous.hs
+++ b/src/Data/Vector/Heterogenous.hs
@@ -42,6 +42,8 @@ import GHC.TypeLits
 import Data.Vector.Heterogenous.HList
 import Data.Vector.Heterogenous.Unsafe
 
+import Data.Singletons.TH
+
 
 -------------------------------------------------------------------------------
 -- Vector
@@ -134,4 +136,4 @@ instance
     ) => View (HVector box xs) (Sing n) ret where
     view hv _ = Indexer hv (V.length (getvec hv) -n-1) `view` (undefined::Empty (ToNat1 n))
         where
-            n = fromIntegral $ fromSing (sing :: Sing n)
\ No newline at end of file
+            n = fromIntegral $ fromSing (sing :: Sing n)
diff --git a/vector-heterogenous.cabal b/vector-heterogenous.cabal
index 85df3fb..349d19f 100644
--- a/vector-heterogenous.cabal
+++ b/vector-heterogenous.cabal
@@ -15,7 +15,8 @@ bug-reports:         http://github.com/mikeizbicki/vector-heterogenous/issues
 Library
     Build-Depends:      
         base                        >= 3 && < 5,
-        vector                      >= 0.9
+        vector                      >= 0.9,
+        singletons
         
     hs-source-dirs:     src
     ghc-options:        
@@ -26,4 +27,4 @@ Library
         Data.Vector.Heterogenous
         Data.Vector.Heterogenous.HList
         Data.Vector.Heterogenous.Unsafe
-        
\ No newline at end of file
+