[add more context annotations to typechecking
John Meacham <john@repetae.net>**20060411014725] hunk ./E/TypeCheck.hs 136
-        eq et (getType b)
+        withContext "Checking typelike default binding" $ eq et (getType b)
hunk ./E/TypeCheck.hs 141
-        eqAll (et:ps)
+        withContext "Checking typelike pattern equality" $  eqAll (et:ps)
hunk ./E/TypeCheck.hs 145
-        eq et (getType b)
+        withContext "Checking typelike default binding" $ eq et (getType b)
hunk ./E/TypeCheck.hs 148
-        mapM_ (calt e) as
+        withContext "Checking typelike alternatives" $ mapM_ (calt e) as
hunk ./E/TypeCheck.hs 152
-        eqAll (et:ps)
+        withContext "checking typelike pattern equality" $ eqAll (et:ps)
hunk ./E/TypeCheck.hs 156
-        eq et (getType b)
-        bs <- mapM rfc (caseBodies ec)
-        eqAll bs
+        withContext "Checking default binding" $ eq et (getType b)
+        bs <- withContext "Checking case bodies" $ mapM rfc (caseBodies ec)
+        withContext "Checking case bodies have equal types" $ eqAll bs
hunk ./E/TypeCheck.hs 161
-        eqAll (et:ps)
+        withContext "checking pattern equality" $ eqAll (et:ps)