# HG changeset patch
# User wenzelm
# Date 1631545604 -7200
# Node ID d7a62db70a0780db1b075d517789a92502c6856e
# Parent  42523fbf643b7450cc03267dba71071fdc941e7b
clarified signature;

diff -r 42523fbf643b -r d7a62db70a07 src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Mon Sep 13 14:18:24 2021 +0000
+++ b/src/Tools/Haskell/Haskell.thy	Mon Sep 13 17:06:44 2021 +0200
@@ -3518,7 +3518,7 @@
 {-# LANGUAGE OverloadedStrings #-}
 
 module Isabelle.Process_Result (
-  interrupt_rc, timeout_rc,
+  ok_rc, error_rc, failure_rc, interrupt_rc , timeout_rc,
 
   T, make, rc, out_lines, err_lines, timing, timing_elapsed, out, err, ok, check
 )
@@ -3531,10 +3531,11 @@
 import Isabelle.Library
 
 
-interrupt_rc :: Int
+ok_rc, error_rc, failure_rc, interrupt_rc , timeout_rc :: Int
+ok_rc = 0
+error_rc = 1
+failure_rc = 2
 interrupt_rc = 130
-
-timeout_rc :: Int
 timeout_rc = 142
 
 data T =
@@ -3570,7 +3571,7 @@
 err = trim_line . cat_lines . err_lines
 
 ok :: T -> Bool
-ok result = rc result == 0
+ok result = rc result == ok_rc
 
 check :: T -> T
 check result = if ok result then result else error (make_string $ err result)