Jeff? IIRC this was a change you made early in the 0.4 cycle. On Mon, Apr 20, 2015 at 3:00 PM, Tomas Lycken <[email protected]> wrote:
> Is there a reason this was a hard rename? In other words, would adding > "typealias Void Nothing" break stuff? > > I do understand the reasoning behind > the rename, but it seems to me that whether it was a good idea depends on > the context, which implies that there is reason to have both if possible. > > //Tomas
