Use Data.Data to specify ring buffer attributes.

1 files changed, 10 insertions, 2 deletions

diff --git a/AttributeData.hs b/AttributeData.hs
index 8e149af..59b9e6d 100644
--- a/AttributeData.hs
+++ b/AttributeData.hs
@@ -104,8 +104,12 @@ reflectPrim r = case () of
 
 
 reflectVectorType :: Typeable a => proxy a -> Maybe (Some TypeTag)
-reflectVectorType proxy = case R.someTypeRep proxy of
+reflectVectorType proxy = go (R.someTypeRep proxy)
+ where
+   go :: R.SomeTypeRep -> Maybe (Some TypeTag)
+   go rep = case rep of
     R.SomeTypeRep r -> case R.splitApps r of
+
         (v,[c,a])   -> do
             cols <- reflectDim c
             This p <- reflectPrim a
@@ -125,6 +129,7 @@ reflectVectorType proxy = case R.someTypeRep proxy of
                     2 -> This TypeV2F
                     3 -> This TypeV3F
                     4 -> This TypeV4F
+
         (m,[r,c,a]) -> do
             rows <- reflectDim r
             cols <- reflectDim c
@@ -147,6 +152,9 @@ reflectVectorType proxy = case R.someTypeRep proxy of
                         4 -> Just $ This TypeM44F
                         _ -> Nothing
                 _ -> Nothing
+
+        (p,[x])     -> go x
+
         _           -> Nothing
 
 fieldParameters :: forall attrkeys proxy. Data attrkeys => proxy attrkeys -> (String -> String) -> [Parameter]
@@ -156,7 +164,7 @@ fieldParameters proxy toAttrName = do
         AlgRep (c:_) -> do
             let fields = constrFields c
                 mkb :: (MonadPlus m, Data k) => p k -> String -> m InputType
-                mkb pxy n = case reflectVectorType proxy of
+                mkb pxy n = case reflectVectorType pxy of
                     Just (This tt) -> return $ unwitnessType tt
                     _              -> mzero
                 go :: Data c => StateT ([String],[Parameter]) Maybe c