@@ -1227,7 +1227,7 @@ resolveTC = resTC' []
1227resTC' tcs def 0 topg fn ist = fail $ "Can't resolve type class"
1227resTC' tcs def 0 topg fn ist = fail $ "Can't resolve type class"
1228resTC' tcs def 1 topg fn ist = try' (trivial' ist) (resolveTC def 0 topg fn ist) True
1228resTC' tcs def 1 topg fn ist = try' (trivial' ist) (resolveTC def 0 topg fn ist) True
1229resTC' tcs defaultOn depth topg fn ist
1229resTC' tcs defaultOn depth topg fn ist
1230− = do hnf_compute
1230+ = do compute
1231 g <- goal
1231 g <- goal
1232 ptm <- get_term
1232 ptm <- get_term
1233 ulog <- getUnifyLog
1233 ulog <- getUnifyLog