a diner is a small eating establishment