type QuitError = object of Defect

raise QuitError()