A new constructive version of Baire's theorem

A new constructive version of Baire's theorem is given and then applied to two problems in functional analysis. The second of these applications provides a new proof that compactly generated Banach spaces are finite dimensional.