-
Ben Gamari authored
Subtraction `y - 1` is redundant. The value of y is guaranteed to be positive and odd, so ``` (y - 1) `quot` 2` = `y `quot` 2 ``` Test Plan: validate Reviewers: hvr, bgamari Reviewed By: bgamari Subscribers: rwbarton, thomie GHC Trac Issues: #14439 Differential Revision: https://phabricator.haskell.org/D4173
eb5a40ce