Trade exposed industries (read mining) get compensation to help them move to lower carbon emissions. And the mining tax apparently doesn't raise any money.So where is the problem exactly?
