Closed dherman closed 11 years ago
Many operations, like the binary operators, provide a context for their arguments that already performs a coercion. So we should eliminate the need for annotations in those cases.
Many operations, like the binary operators, provide a context for their arguments that already performs a coercion. So we should eliminate the need for annotations in those cases.