Redirect customer to login if not logged in when proceeding to checkout

I think woocommerce_proceed_to_checkout is an action, not a filter.

See http://hookr.io/actions/woocommerce_proceed_to_checkout/.

For the difference between actions and filters check out this question: Difference Between Filter and Action Hooks?