Theatre-Royal, in Smock-Alley, Dublin, in the year 1772. Since revived, with an