Diffusion Isabelle 280a228dc2f1

prefer Exn.result: avoid accidental capture of interrupts, similar to ML;
280a228dc2f1
Actions

Tags

None

Subscribers

None

Description

prefer Exn.result: avoid accidental capture of interrupts, similar to ML;

Details

Provenance

Authored on

Parents

rISABELLEaa67309a7960: clarified user errors vs. failures, e.g. java.lang.StackOverflowError;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE280a228dc2f1: prefer Exn.result: avoid accidental capture of interrupts, similar to ML;.Oct 12 2023, 9:11 PM

makarius mentioned this in Blog Post: ML: distinguish proper interrupts from Poly/ML RTS breakdown.Oct 12 2023, 9:57 PM

Changes (4)

Path

Size

src/

Pure/

Admin/

build_log.scala

isabelle_cronjob.scala

General/

mercurial.scala

rISABELLE280a228dc2f1

src/Pure/Admin/build_log.scala

Loading...

src/Pure/Admin/isabelle_cronjob.scala

Loading...

src/Pure/General/http.scala

Loading...

src/Pure/General/mercurial.scala

Loading...