[add more context to failing type checks
John Meacham <john@repetae.net>**20110131093402
 Ignore-this: a96fedb951b5fab89ef43975f452f53e
] hunk ./src/E/TypeCheck.hs 264
-    fc (ELit LitCons { litName = n, litArgs = es, litType =  t}) = do
-        withContext ("Checking Constructor: " ++ show n) $ do
+    fc e@(ELit LitCons { litName = n, litArgs = es, litType =  t}) = do
+        withContext ("Checking Constructor: " ++ show e) $ do
hunk ./src/E/TypeCheck.hs 272
+        withContext ("Checking Args: " ++ show (sts,es')) $ do