This paper by Fishel-Grojnowski-Teleman shows that the "loop Grassmannian" G((z))/G[[z]] is formally smooth, but does not satisfy Hodge decomposition, hence is not smooth:
http://arxiv.org/abs/math.AG/0411355