[remove unneeded method from CanTypeCheck
John Meacham <john@repetae.net>**20051013083228] hunk ./CanType.hs 4
+-- This is a simple routine meant to do the minimum amount of work to get the type of something
hunk ./CanType.hs 8
-
--- typechecking
+-- This should perform a full typecheck and may take any extra information needed as an extra parameter
hunk ./CanType.hs 11
-    tc :: Monad m => env -> a -> m ty
-    tc = typecheck
hunk ./Grin/Grin.hs 34
-    CanTypeCheck(..),
hunk ./Grin/Grin.hs 375
-    tc _ [] = fail "empty list"
-    tc te (x:_) = tc te x
hunk ./Grin/Grin.hs 426
-    tc te (_ :>>= (_ :-> e)) = tc te e
-    tc te e = typecheck te e
hunk ./Grin/PointsToAnalysis.hs 15
+import CanType
hunk ./Grin/PointsToAnalysis.hs 323
-        docase _ ((_ :-> x):_) (Just []) = Error "No Valid alternatives. This Should Not be reachable." (runIdentity $ tc typeEnv x)
+        docase _ ((_ :-> x):_) (Just []) = Error "No Valid alternatives. This Should Not be reachable." (getType x)
hunk ./Grin/PointsToAnalysis.hs 338
-        docase _ ((_ :-> x):_) _ = Error "No Valid alternatives. This Should Not be reachable." (runIdentity $ tc typeEnv x)
+        docase _ ((_ :-> x):_) _ = Error "No Valid alternatives. This Should Not be reachable." (getType x)
hunk ./Grin/Simplify.hs 12
+import CanType
hunk ./Grin/Whiz.hs 11
+import CanType
hunk ./Grin/Whiz.hs 127
-        lift $ tf (Error msg (runIdentity $ tc tyEnv b))
+        lift $ tf (Error msg (getType b))
hunk ./Main.hs 42
-import Grin.Grin hiding (typecheck)
+import Grin.Grin