A morphism of schemes is formally smooth and locally of finite presentation iff it is smooth. 

What happens if we drop the finitely presented hypothesis?