[omit kind checking for unboxed tuples
John Meacham <john@repetae.net>**20061109020556] hunk ./E/Subst.hs 23
+import E.Show
hunk ./E/Subst.hs 171
-eAp a@ELit {} b = error $ "very strange application: " ++ show (a,b)
+eAp a@ELit {} b = error $ "very strange application: (" ++ prettyE a ++ ") (" ++ prettyE b ++ ")"
hunk ./E/TypeCheck.hs 29
+import Name.Name
+import Name.Names
hunk ./E/TypeCheck.hs 142
+    fc (ELit LitCons { litName = n, litArgs = es, litType =  t}) | nameType n == TypeConstructor, Just _ <- fromUnboxedNameTuple n = do
+        withContext ("Checking Unboxed Tuple: " ++ show n) $ do
+        -- we omit kind checking for unboxed tuples
+        valid t
+        es' <- mapM rfc es
+        strong' t