Re: [GHC] #8254: confusing comment on allocate()