[Forgot to add Syntax.Name
martin.hofmann@uni-bamberg.de**20091210075255] addfile ./src/Syntax/Name.hs
hunk ./src/Syntax/Name.hs 1
+{-# OPTIONS_GHC -fglasgow-exts -XTemplateHaskell  #-}
+module Syntax.Name (
+
+    isTuple, isCons, isNil,
+    
+    module Language.Haskell.TH,
+    
+) where
+
+import Language.Haskell.TH (Name, mkName)
+
+isTuple :: Name -> Int -> Bool
+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 == '(,,,,,,,,,,,,,,)
+    
+isNil :: Name -> Bool
+isNil = (==) '[]
+
+isCons :: Name -> Bool
+isCons = (==) '(:)
+   