RosettaCodeData/Task/Exceptions/V/exceptions-1.v

5 lines
69 B
Coq

[myproc
['new error' 1 2 3] throw
'should not come here' puts
].