had fun

• enjoyed himself, had a great time with/at