[simplify isTuple and isAnyTuple without TemplateHaskell
Helmut Grohne <grohne@cs.uni-bonn.de>**20140717084230
 Ignore-this: 3bb9e59d15a53053c78df69001431229
] hunk ./src/Syntax/Name.hs 10
-import Language.Haskell.TH (Name, mkName)
+import Language.Haskell.TH (Name, mkName, tupleDataName)
hunk ./src/Syntax/Name.hs 13
-isTuple n i
-    | i == 2  = n == '(,)
-    | i == 3  = n == '(,,)
-    | i == 4  = n == '(,,,)
-    | i == 5  = n == '(,,,,)
-    | i == 6  = n == '(,,,,,)
-    | i == 7  = n == '(,,,,,,)
-    | i == 8  = n == '(,,,,,,,)
-    | i == 9  = n == '(,,,,,,,,)
-    | i == 10  = n == '(,,,,,,,,,)
-    | i == 11  = n == '(,,,,,,,,,,)
-    | i == 12  = n == '(,,,,,,,,,,,)
-    | i == 13  = n == '(,,,,,,,,,,,,)
-    | i == 14  = n == '(,,,,,,,,,,,,,)
-    | i == 15  = n == '(,,,,,,,,,,,,,,)
-                
+isTuple n i = n == tupleDataName i
+
+isAnyTuple :: Name -> Bool
+isAnyTuple n = any (isTuple n) [2..15]
hunk ./src/Syntax/Name.hs 18
-isAnyTuple n  = n == '(,) || n == '(,,) || n == '(,,,) || n == '(,,,,) || n == '(,,,,,) || n == '(,,,,,,) || n == '(,,,,,,,) || n == '(,,,,,,,,) || n == '(,,,,,,,,,) || n == '(,,,,,,,,,,) || n == '(,,,,,,,,,,,) || n == '(,,,,,,,,,,,,) || n == '(,,,,,,,,,,,,,) || n == '(,,,,,,,,,,,,,,)                
-    