[Fencommits] fenserve: ToHList instances for longer tuples

Benja Fallenstein benja.fallenstein at gmail.com
Thu Jun 7 22:45:03 EEST 2007


Thu Jun  7 22:44:48 EEST 2007  Benja Fallenstein <benja.fallenstein at gmail.com>
  * ToHList instances for longer tuples
diff -rN -u old-fenserve/fendata/HListUtils.hs new-fenserve/fendata/HListUtils.hs
--- old-fenserve/fendata/HListUtils.hs	2007-06-07 22:45:01.000000000 +0300
+++ new-fenserve/fendata/HListUtils.hs	2007-06-07 22:45:01.000000000 +0300
@@ -12,22 +12,107 @@
 instance ToHList () Nil where
     toHList () = Nil
     
-instance ToHList (a,b) (a:*:b:*:Nil) where
-    toHList (a,b) = a :*: b :*: Nil
-instance ToHList (a,b,c) (a:*:b:*:c:*:Nil) where
-    toHList (a,b,c) = a :*: b :*: c :*: Nil
-instance ToHList (a,b,c,d) (a:*:b:*:c:*:d:*:Nil) where
-    toHList (a,b,c,d) = a :*: b :*: c :*: d :*: Nil
-instance ToHList (a,b,c,d,e) (a:*:b:*:c:*:d:*:e:*:Nil) where
-    toHList (a,b,c,d,e) = a :*: b :*: c :*: d :*: e :*: Nil
-instance ToHList (a,b,c,d,e,f) (a:*:b:*:c:*:d:*:e:*:f:*:Nil) where
-    toHList (a,b,c,d,e,f) = a :*: b :*: c :*: d :*: e :*: f :*: Nil
-instance ToHList (a,b,c,d,e,f,g) (a:*:b:*:c:*:d:*:e:*:f:*:g:*:Nil) where
-    toHList (a,b,c,d,e,f,g) = a :*: b :*: c :*: d :*: e :*: f :*: g :*: Nil
-instance ToHList (a,b,c,d,e,f,g,h) (a:*:b:*:c:*:d:*:e:*:f:*:g:*:h:*:Nil) where
-    toHList (a,b,c,d,e,f,g,h) = a:*:b:*:c:*:d:*:e:*:f:*:g:*:h:*:Nil
-instance ToHList (a,b,c,d,e,f,g,h,i) (a:*:b:*:c:*:d:*:e:*:f:*:g:*:h:*:i:*:Nil) where
-    toHList (a,b,c,d,e,f,g,h,i) = a:*:b:*:c:*:d:*:e:*:f:*:g:*:h:*:i:*:Nil
-instance ToHList (a,b,c,d,e,f,g,h,i,j) (a:*:b:*:c:*:d:*:e:*:f:*:g:*:h:*:i:*:j:*:Nil) where
-    toHList (a,b,c,d,e,f,g,h,i,j) = a:*:b:*:c:*:d:*:e:*:f:*:g:*:h:*:i:*:j:*:Nil
+{-
+The following code is generated by this expression:
 
+flip concatMap [2..50] $ \n -> (let f s = concat $ intersperse s $ flip map [1..n] $ \i -> "v" ++ show i in "instance ToHList (" ++ f "," ++ ") (" ++ f ":*:" ++ ":*:Nil) where\n    toHList (" ++ f "," ++ ") = " ++ f ":*:" ++ ":*:Nil" ++ "\n")
+-}
+    
+instance ToHList (v1,v2) (v1:*:v2:*:Nil) where
+    toHList (v1,v2) = v1:*:v2:*:Nil
+instance ToHList (v1,v2,v3) (v1:*:v2:*:v3:*:Nil) where
+    toHList (v1,v2,v3) = v1:*:v2:*:v3:*:Nil
+instance ToHList (v1,v2,v3,v4) (v1:*:v2:*:v3:*:v4:*:Nil) where
+    toHList (v1,v2,v3,v4) = v1:*:v2:*:v3:*:v4:*:Nil
+instance ToHList (v1,v2,v3,v4,v5) (v1:*:v2:*:v3:*:v4:*:v5:*:Nil) where
+    toHList (v1,v2,v3,v4,v5) = v1:*:v2:*:v3:*:v4:*:v5:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:v43:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:v43:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43,v44) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:v43:*:v44:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43,v44) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:v43:*:v44:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43,v44,v45) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:v43:*:v44:*:v45:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43,v44,v45) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:v43:*:v44:*:v45:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43,v44,v45,v46) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:v43:*:v44:*:v45:*:v46:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43,v44,v45,v46) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:v43:*:v44:*:v45:*:v46:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43,v44,v45,v46,v47) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:v43:*:v44:*:v45:*:v46:*:v47:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43,v44,v45,v46,v47) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:v43:*:v44:*:v45:*:v46:*:v47:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43,v44,v45,v46,v47,v48) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:v43:*:v44:*:v45:*:v46:*:v47:*:v48:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43,v44,v45,v46,v47,v48) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:v43:*:v44:*:v45:*:v46:*:v47:*:v48:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43,v44,v45,v46,v47,v48,v49) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:v43:*:v44:*:v45:*:v46:*:v47:*:v48:*:v49:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43,v44,v45,v46,v47,v48,v49) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:v43:*:v44:*:v45:*:v46:*:v47:*:v48:*:v49:*:Nil
+instance ToHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43,v44,v45,v46,v47,v48,v49,v50) (v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:v43:*:v44:*:v45:*:v46:*:v47:*:v48:*:v49:*:v50:*:Nil) where
+    toHList (v1,v2,v3,v4,v5,v6,v7,v8,v9,v10,v11,v12,v13,v14,v15,v16,v17,v18,v19,v20,v21,v22,v23,v24,v25,v26,v27,v28,v29,v30,v31,v32,v33,v34,v35,v36,v37,v38,v39,v40,v41,v42,v43,v44,v45,v46,v47,v48,v49,v50) = v1:*:v2:*:v3:*:v4:*:v5:*:v6:*:v7:*:v8:*:v9:*:v10:*:v11:*:v12:*:v13:*:v14:*:v15:*:v16:*:v17:*:v18:*:v19:*:v20:*:v21:*:v22:*:v23:*:v24:*:v25:*:v26:*:v27:*:v28:*:v29:*:v30:*:v31:*:v32:*:v33:*:v34:*:v35:*:v36:*:v37:*:v38:*:v39:*:v40:*:v41:*:v42:*:v43:*:v44:*:v45:*:v46:*:v47:*:v48:*:v49:*:v50:*:Nil
diff -rN -u old-fenserve/fendata/fendata.cabal new-fenserve/fendata/fendata.cabal
--- old-fenserve/fendata/fendata.cabal	2007-06-07 22:45:01.000000000 +0300
+++ new-fenserve/fendata/fendata.cabal	2007-06-07 22:45:01.000000000 +0300
@@ -8,4 +8,5 @@
 
 Executable:     fendata
 Main-Is:        Main.hs
+Ghc-Options:    -fcontext-stack=50
 




More information about the Fencommits mailing list