The one-point compactification of the rationals is a Fréchet-Urysohn space, each of whose compact subsets is closed. In particular, it is compactly generated. It is compact, so paracompact by your definition. But is it not Hausdorff.
Tyrone
- 5.6k
- 1
- 29
- 50