Test failed (line 24 of "~~/AFP/thys/Buchi_Complementation/Complementation_Build.thy"): /tmp/isabelle-isatest/bash_script360209697364667763: line 1: 26835 Bus error: 10 ./Autool help At command "compile_generated_files" (line 11 of "~~/AFP/thys/Buchi_Complementation/Complementation_Build.thy")
Failed to load theory "ConcurrentHOL.Galois" (unresolved "ConcurrentHOL.Closures")
Failed to load theory "ConcurrentHOL.Stability" (unresolved "ConcurrentHOL.Galois")
Failed to load theory "ConcurrentHOL.Heyting" (unresolved "ConcurrentHOL.Closures")
Failed to load theory "ConcurrentHOL.Safety_Logic" (unresolved "ConcurrentHOL.Galois", "ConcurrentHOL.Heyting")
Failed to load theory "ConcurrentHOL.Constructions" (unresolved "ConcurrentHOL.Safety_Logic")
Failed to load theory "ConcurrentHOL.Next_Imp" (unresolved "ConcurrentHOL.Safety_Logic")
Failed to load theory "ConcurrentHOL.Refinement" (unresolved "ConcurrentHOL.Constructions", "ConcurrentHOL.Next_Imp", "ConcurrentHOL.Stability")
Failed to load theory "ConcurrentHOL.Programs" (unresolved "ConcurrentHOL.Refinement")
Failed to load theory "ConcurrentHOL.Combinators" (unresolved "ConcurrentHOL.Programs")
Failed to load theory "ConcurrentHOL.Local_State" (unresolved "ConcurrentHOL.Programs")
Failed to load theory "ConcurrentHOL.TLS" (unresolved "ConcurrentHOL.Safety_Logic")
Failed to load theory "ConcurrentHOL.ConcurrentHOL" (unresolved "ConcurrentHOL.Combinators", "ConcurrentHOL.Local_State", "ConcurrentHOL.TLS")
Failed to load theory "ConcurrentHOL.Assume_Guarantee" (unresolved "ConcurrentHOL.ConcurrentHOL")
Failed to load theory "ConcurrentHOL.BFS" (unresolved "ConcurrentHOL.Assume_Guarantee")
Failed to load theory "ConcurrentHOL.WickersonDoddsParkinson" (unresolved "ConcurrentHOL.Assume_Guarantee")
Failed to load theory "ConcurrentHOL.Atomic" (unresolved "ConcurrentHOL.ConcurrentHOL")
Failed to load theory "ConcurrentHOL.Exceptions" (unresolved "ConcurrentHOL.ConcurrentHOL")
Failed to load theory "ConcurrentHOL.Heap" (unresolved "ConcurrentHOL.ConcurrentHOL")
Failed to load theory "ConcurrentHOL.CImperativeHOL" (unresolved "ConcurrentHOL.Heap")
Failed to load theory "ConcurrentHOL.Floyd_Warshall" (unresolved "ConcurrentHOL.CImperativeHOL")
Failed to load theory "ConcurrentHOL.TSO" (unresolved "ConcurrentHOL.Heap")
Failed to load theory "ConcurrentHOL.TSO_Code_Gen" (unresolved "ConcurrentHOL.TSO")
Failed to load theory "ConcurrentHOL.TSO_litmus" (unresolved "ConcurrentHOL.TSO_Code_Gen")
Failed to load theory "ConcurrentHOL.Inhabitation" (unresolved "ConcurrentHOL.ConcurrentHOL")
Failed to load theory "ConcurrentHOL.Safety_Closure" (unresolved "ConcurrentHOL.TLS")
Failed to load theory "ConcurrentHOL.FindP" (unresolved "ConcurrentHOL.Assume_Guarantee")
Undefined Isabelle environment variable: "AFP" (line 601 of "~~/AFP/thys/ConcurrentHOL/Closures.thy") At command "text" (line 595 of "~~/AFP/thys/ConcurrentHOL/Closures.thy")
Timeout
Timeout
Evaluation for MLton terminated with error code 138 Compiler output: At command "test_code" (line 11 of "~~/AFP/thys/Native_Word/Native_Word_Test_MLton.thy")
Evaluation for MLton terminated with error code 138 Compiler output: At command "test_code" (line 11 of "~~/AFP/thys/Native_Word/Native_Word_Test_MLton2.thy")
Timeout
Timeout
Code check failed for SML: isabelle process -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' -l Pure At command "export_code" (line 382 of "~~/src/HOL/Examples/Records.thy")
Failed to load theory "HOL-Imperative_HOL.Imperative_HOL_ex" (unresolved "HOL-Imperative_HOL.Imperative_Quicksort", "HOL-Imperative_HOL.Imperative_Reverse", "HOL-Imperative_HOL.Linked_Lists", "HOL-Imperative_HOL.SatChecker")
Code check failed for SML: isabelle process -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' -l Pure At command "export_code" (line 705 of "~~/src/HOL/Imperative_HOL/ex/SatChecker.thy")
Code check failed for SML: isabelle process -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' -l Pure At command "export_code" (line 965 of "~~/src/HOL/Imperative_HOL/ex/Linked_Lists.thy")
Code check failed for SML: isabelle process -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' -l Pure At command "export_code" (line 667 of "~~/src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy")
Code check failed for SML: isabelle process -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' -l Pure At command "export_code" (line 115 of "~~/src/HOL/Imperative_HOL/ex/Imperative_Reverse.thy")
Failed to load theory "HOL-Library.Disjoint_FSets" (unresolved "HOL-Library.Finite_Map")
Failed to load theory "HOL-Library.Library" (unresolved "HOL-Library.Disjoint_FSets", "HOL-Library.Finite_Map")
Code check failed for SML: isabelle process -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' -l Pure At command "export_code" (line 1440 of "~~/src/HOL/Library/Finite_Map.thy")
Failed to load theory "HOL-Probability.Fin_Map" (unresolved "HOL-Library.Finite_Map")
Failed to load theory "HOL-Probability.Projective_Limit" (unresolved "HOL-Probability.Fin_Map")
Failed to load theory "HOL-Probability.Probability" (unresolved "HOL-Probability.Projective_Limit")
Code check failed for SML: isabelle process -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' -l Pure At command "export_code" (line 1440 of "~~/src/HOL/Library/Finite_Map.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 190 of "~~/src/HOL/Quickcheck_Examples/Hotel_Example.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 266 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 261 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 256 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 252 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 247 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 240 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 228 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 235 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 129 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 110 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 106 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 102 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 97 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 93 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 83 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 87 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 79 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 72 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 68 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 62 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 45 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 56 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 50 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 40 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 18 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 30 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 23 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Build failed (line 24 of "~~/src/Tools/Haskell/Test.thy"):
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "compile_generated_files" (line 11 of "~~/src/Tools/Haskell/Test.thy")
Code check failed for SML: isabelle process -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' -l Pure At command "export_code" (line 382 of "~~/src/HOL/Examples/Records.thy")
Failed to load theory "HOL-Imperative_HOL.Imperative_HOL_ex" (unresolved "HOL-Imperative_HOL.Imperative_Quicksort", "HOL-Imperative_HOL.Imperative_Reverse", "HOL-Imperative_HOL.Linked_Lists", "HOL-Imperative_HOL.SatChecker")
Code check failed for SML: isabelle process -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' -l Pure At command "export_code" (line 705 of "~~/src/HOL/Imperative_HOL/ex/SatChecker.thy")
Code check failed for SML: isabelle process -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' -l Pure At command "export_code" (line 965 of "~~/src/HOL/Imperative_HOL/ex/Linked_Lists.thy")
Code check failed for SML: isabelle process -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' -l Pure At command "export_code" (line 667 of "~~/src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy")
Code check failed for SML: isabelle process -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' -l Pure At command "export_code" (line 115 of "~~/src/HOL/Imperative_HOL/ex/Imperative_Reverse.thy")
Failed to load theory "HOL-Library.Disjoint_FSets" (unresolved "HOL-Library.Finite_Map")
Failed to load theory "HOL-Library.Library" (unresolved "HOL-Library.Disjoint_FSets", "HOL-Library.Finite_Map")
Code check failed for SML: isabelle process -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' -l Pure At command "export_code" (line 1440 of "~~/src/HOL/Library/Finite_Map.thy")
Failed to load theory "HOL-Probability.Fin_Map" (unresolved "HOL-Library.Finite_Map")
Failed to load theory "HOL-Probability.Projective_Limit" (unresolved "HOL-Probability.Fin_Map")
Failed to load theory "HOL-Probability.Probability" (unresolved "HOL-Probability.Projective_Limit")
Code check failed for SML: isabelle process -e 'datatype ref = datatype Unsynchronized.ref' -f 'ROOT.ML' -l Pure At command "export_code" (line 1440 of "~~/src/HOL/Library/Finite_Map.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 190 of "~~/src/HOL/Quickcheck_Examples/Hotel_Example.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 266 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 261 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 256 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 252 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 247 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 228 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 240 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 235 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 110 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 106 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 129 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 102 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 97 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 93 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 83 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 87 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 68 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 79 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 72 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 62 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 56 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 45 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 50 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 40 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 23 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 30 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "quickcheck" (line 18 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Build failed (line 24 of "~~/src/Tools/Haskell/Test.thy"):
Preparing to install GHC to an isolated location. This will not interfere with any system-level
installation.
Preparing to download ghc-9.6.4 ...
Download expectation failure: HttpExceptionRequest Request {
host = "downloads.haskell.org"
port = 443
secure = True
requestHeaders = [("User-Agent","The Haskell Stack")]
path = "/~ghc/9.6.4/ghc-9.6.4-x86_64-unknown-mingw32.tar.xz"
queryString = ""
method = "GET"
proxy = Nothing
rawBody = False
redirectCount = 10
responseTimeout = ResponseTimeoutDefault
requestVersion = HTTP/1.1
proxySecureMode = ProxySecureWithConnect
}
(InternalException (HandshakeFailed (Error_Protocol ("certificate has unknown CA",True,UnknownCa))))
At command "compile_generated_files" (line 11 of "~~/src/Tools/Haskell/Test.thy")
Failed to load theory "HOL-Imperative_HOL.Imperative_HOL_ex" (unresolved "HOL-Imperative_HOL.Imperative_Quicksort", "HOL-Imperative_HOL.Imperative_Reverse", "HOL-Imperative_HOL.Linked_Lists")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w pu -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 115 of "~~/src/HOL/Imperative_HOL/ex/Imperative_Reverse.thy")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w pu -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 667 of "~~/src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w pu -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 965 of "~~/src/HOL/Imperative_HOL/ex/Linked_Lists.thy")
Failed to load theory "HOL-Library.Disjoint_FSets" (unresolved "HOL-Library.Finite_Map")
Failed to load theory "HOL-Library.Library" (unresolved "HOL-Library.Disjoint_FSets", "HOL-Library.Finite_Map")
Code check failed for Haskell: "$ISABELLE_GHC" -XEmptyDataDecls -XRankNTypes -XScopedTypeVariables -odir build -hidir build -stubdir build -e "" Generated_Code.hs At command "export_code" (line 1440 of "~~/src/HOL/Library/Finite_Map.thy")
Failed to load theory "HOL-Probability.Fin_Map" (unresolved "HOL-Library.Finite_Map")
Failed to load theory "HOL-Probability.Projective_Limit" (unresolved "HOL-Probability.Fin_Map")
Failed to load theory "HOL-Probability.Probability" (unresolved "HOL-Probability.Projective_Limit")
Code check failed for Haskell: "$ISABELLE_GHC" -XEmptyDataDecls -XRankNTypes -XScopedTypeVariables -odir build -hidir build -stubdir build -e "" Generated_Code.hs At command "export_code" (line 1440 of "~~/src/HOL/Library/Finite_Map.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 18 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 190 of "~~/src/HOL/Quickcheck_Examples/Hotel_Example.thy")
Build failed (line 24 of "~~/src/Tools/Haskell/Test.thy"):
isabelle> configure (exe)
Configuring isabelle-0.1.0.0...
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
`gcc' failed in phase `C Compiler'. (Exit code: 71)
Error: [S-7282]
Stack failed to execute the build plan.
While executing the build plan, Stack encountered the error:
[S-7011]
While building package isabelle-0.1.0.0 (scroll up to its section to see the error) using:
/Users/isatest/.stack/setup-exe-cache/x86_64-osx/Cabal-simple_6HauvNHV_3.10.1.0_ghc-9.6.4 --verbose=1 --builddir=.stack-work/dist/x86_64-osx/ghc-9.6.4 configure --with-ghc=/Users/isatest/.stack/programs/x86_64-osx/ghc-9.6.4/bin/ghc-9.6.4 --with-ghc-pkg=/Users/isatest/.stack/programs/x86_64-osx/ghc-9.6.4/bin/ghc-pkg-9.6.4 --user --package-db=clear --package-db=global --package-db=/Users/isatest/.stack/snapshots/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/pkgdb --package-db=/private/tmp/isabelle-isatest/process3241176659614470167/compile5095170/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/pkgdb --libdir=/private/tmp/isabelle-isatest/process3241176659614470167/compile5095170/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/lib --bindir=/private/tmp/isabelle-isatest/process3241176659614470167/compile5095170/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/bin --datadir=/private/tmp/isabelle-isatest/process3241176659614470167/compile5095170/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/share --libexecdir=/private/tmp/isabelle-isatest/process3241176659614470167/compile5095170/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/libexec --sysconfdir=/private/tmp/isabelle-isatest/process3241176659614470167/compile5095170/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/etc --docdir=/private/tmp/isabelle-isatest/process3241176659614470167/compile5095170/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/doc/isabelle-0.1.0.0 --htmldir=/private/tmp/isabelle-isatest/process3241176659614470167/compile5095170/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/doc/isabelle-0.1.0.0 --haddockdir=/private/tmp/isabelle-isatest/process3241176659614470167/compile5095170/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/doc/isabelle-0.1.0.0 --dependency=array=array-0.5.6.0 --dependency=base=base-4.18.2.0 --dependency=bytestring=bytestring-0.11.5.3 --dependency=containers=containers-0.6.7 --dependency=network=network-3.1.4.0-59yrFnZEAI9g763rMXga1 --dependency=split=split-0.2.5-1ZSy0xYACSg5uwyBvCYVUs --dependency=text=text-2.0.2 --dependency=threads=threads-0.5.1.8-4ZlSgzMvFHB68hutz4z6Xc --dependency=time=time-1.12.2 --dependency=uuid=uuid-1.3.15-wjyvYeMvoU1S0y1C56IZO --exact-configuration --ghc-option=-fhide-source-paths
Process exited with code: ExitFailure 1
At command "compile_generated_files" (line 11 of "~~/src/Tools/Haskell/Test.thy")
Failed to load theory "HOL-Imperative_HOL.Imperative_HOL_ex" (unresolved "HOL-Imperative_HOL.Imperative_Quicksort", "HOL-Imperative_HOL.Imperative_Reverse", "HOL-Imperative_HOL.Linked_Lists")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w pu -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 115 of "~~/src/HOL/Imperative_HOL/ex/Imperative_Reverse.thy")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w pu -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 667 of "~~/src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w pu -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 965 of "~~/src/HOL/Imperative_HOL/ex/Linked_Lists.thy")
Failed to load theory "HOL-Library.Disjoint_FSets" (unresolved "HOL-Library.Finite_Map")
Failed to load theory "HOL-Library.Library" (unresolved "HOL-Library.Disjoint_FSets", "HOL-Library.Finite_Map")
Code check failed for Haskell: "$ISABELLE_GHC" -XEmptyDataDecls -XRankNTypes -XScopedTypeVariables -odir build -hidir build -stubdir build -e "" Generated_Code.hs At command "export_code" (line 1440 of "~~/src/HOL/Library/Finite_Map.thy")
Failed to load theory "HOL-Probability.Fin_Map" (unresolved "HOL-Library.Finite_Map")
Failed to load theory "HOL-Probability.Projective_Limit" (unresolved "HOL-Probability.Fin_Map")
Failed to load theory "HOL-Probability.Probability" (unresolved "HOL-Probability.Projective_Limit")
Code check failed for Haskell: "$ISABELLE_GHC" -XEmptyDataDecls -XRankNTypes -XScopedTypeVariables -odir build -hidir build -stubdir build -e "" Generated_Code.hs At command "export_code" (line 1440 of "~~/src/HOL/Library/Finite_Map.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 190 of "~~/src/HOL/Quickcheck_Examples/Hotel_Example.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 266 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 261 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 256 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 252 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 247 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 240 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 228 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 235 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 129 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 110 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 106 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 102 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 97 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 93 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 87 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 83 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 79 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 72 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 68 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 62 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 56 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 50 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 45 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 40 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 30 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 23 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 18 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Build failed (line 24 of "~~/src/Tools/Haskell/Test.thy"):
isabelle> configure (exe)
Configuring isabelle-0.1.0.0...
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
`gcc' failed in phase `C Compiler'. (Exit code: 71)
Error: [S-7282]
Stack failed to execute the build plan.
While executing the build plan, Stack encountered the error:
[S-7011]
While building package isabelle-0.1.0.0 (scroll up to its section to see the error) using:
/Users/isatest/.stack/setup-exe-cache/x86_64-osx/Cabal-simple_6HauvNHV_3.10.1.0_ghc-9.6.4 --verbose=1 --builddir=.stack-work/dist/x86_64-osx/ghc-9.6.4 configure --with-ghc=/Users/isatest/.stack/programs/x86_64-osx/ghc-9.6.4/bin/ghc-9.6.4 --with-ghc-pkg=/Users/isatest/.stack/programs/x86_64-osx/ghc-9.6.4/bin/ghc-pkg-9.6.4 --user --package-db=clear --package-db=global --package-db=/Users/isatest/.stack/snapshots/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/pkgdb --package-db=/private/tmp/isabelle-isatest/process14744348799745624731/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/pkgdb --libdir=/private/tmp/isabelle-isatest/process14744348799745624731/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/lib --bindir=/private/tmp/isabelle-isatest/process14744348799745624731/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/bin --datadir=/private/tmp/isabelle-isatest/process14744348799745624731/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/share --libexecdir=/private/tmp/isabelle-isatest/process14744348799745624731/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/libexec --sysconfdir=/private/tmp/isabelle-isatest/process14744348799745624731/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/etc --docdir=/private/tmp/isabelle-isatest/process14744348799745624731/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/doc/isabelle-0.1.0.0 --htmldir=/private/tmp/isabelle-isatest/process14744348799745624731/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/doc/isabelle-0.1.0.0 --haddockdir=/private/tmp/isabelle-isatest/process14744348799745624731/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/doc/isabelle-0.1.0.0 --dependency=array=array-0.5.6.0 --dependency=base=base-4.18.2.0 --dependency=bytestring=bytestring-0.11.5.3 --dependency=containers=containers-0.6.7 --dependency=network=network-3.1.4.0-59yrFnZEAI9g763rMXga1 --dependency=split=split-0.2.5-1ZSy0xYACSg5uwyBvCYVUs --dependency=text=text-2.0.2 --dependency=threads=threads-0.5.1.8-4ZlSgzMvFHB68hutz4z6Xc --dependency=time=time-1.12.2 --dependency=uuid=uuid-1.3.15-wjyvYeMvoU1S0y1C56IZO --exact-configuration --ghc-option=-fhide-source-paths
Process exited with code: ExitFailure 1
At command "compile_generated_files" (line 11 of "~~/src/Tools/Haskell/Test.thy")
Failed to load theory "HOL-Imperative_HOL.Imperative_HOL_ex" (unresolved "HOL-Imperative_HOL.Imperative_Quicksort", "HOL-Imperative_HOL.Imperative_Reverse", "HOL-Imperative_HOL.Linked_Lists")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w pu -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 965 of "~~/src/HOL/Imperative_HOL/ex/Linked_Lists.thy")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w pu -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 667 of "~~/src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy")
Code check failed for OCaml: "$ISABELLE_OCAMLFIND" ocamlopt -w pu -package zarith -linkpkg ROOT.ml </dev/null At command "export_code" (line 115 of "~~/src/HOL/Imperative_HOL/ex/Imperative_Reverse.thy")
Failed to load theory "HOL-Library.Disjoint_FSets" (unresolved "HOL-Library.Finite_Map")
Failed to load theory "HOL-Library.Library" (unresolved "HOL-Library.Disjoint_FSets", "HOL-Library.Finite_Map")
Code check failed for Haskell: "$ISABELLE_GHC" -XEmptyDataDecls -XRankNTypes -XScopedTypeVariables -odir build -hidir build -stubdir build -e "" Generated_Code.hs At command "export_code" (line 1440 of "~~/src/HOL/Library/Finite_Map.thy")
Failed to load theory "HOL-Probability.Fin_Map" (unresolved "HOL-Library.Finite_Map")
Failed to load theory "HOL-Probability.Projective_Limit" (unresolved "HOL-Probability.Fin_Map")
Failed to load theory "HOL-Probability.Probability" (unresolved "HOL-Probability.Projective_Limit")
Code check failed for Haskell: "$ISABELLE_GHC" -XEmptyDataDecls -XRankNTypes -XScopedTypeVariables -odir build -hidir build -stubdir build -e "" Generated_Code.hs At command "export_code" (line 1440 of "~~/src/HOL/Library/Finite_Map.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 190 of "~~/src/HOL/Quickcheck_Examples/Hotel_Example.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 266 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 261 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 256 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 252 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 247 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 228 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 240 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 235 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 129 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 110 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 106 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 102 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 97 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 93 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 83 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 87 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 79 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 68 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 72 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 62 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 56 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 50 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 45 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 40 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 30 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 23 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Compilation with GHC failed
<no location info>: error:
Warning: Couldn't figure out C compiler information!
Make sure you're using GNU gcc, or clang
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
<no location info>: error:
`gcc' failed in phase `Assembler'. (Exit code: 71)
At command "quickcheck" (line 18 of "~~/src/HOL/Quickcheck_Examples/Quickcheck_Narrowing_Examples.thy")
Build failed (line 24 of "~~/src/Tools/Haskell/Test.thy"):
isabelle> configure (exe)
Configuring isabelle-0.1.0.0...
gcc: error: unable to locate xcodebuild, please make sure the path to the Xcode folder is set correctly!
gcc: error: You can set the path to the Xcode folder using /usr/bin/xcode-select -switch
`gcc' failed in phase `C Compiler'. (Exit code: 71)
Error: [S-7282]
Stack failed to execute the build plan.
While executing the build plan, Stack encountered the error:
[S-7011]
While building package isabelle-0.1.0.0 (scroll up to its section to see the error) using:
/Users/isatest/.stack/setup-exe-cache/x86_64-osx/Cabal-simple_6HauvNHV_3.10.1.0_ghc-9.6.4 --verbose=1 --builddir=.stack-work/dist/x86_64-osx/ghc-9.6.4 configure --with-ghc=/Users/isatest/.stack/programs/x86_64-osx/ghc-9.6.4/bin/ghc-9.6.4 --with-ghc-pkg=/Users/isatest/.stack/programs/x86_64-osx/ghc-9.6.4/bin/ghc-pkg-9.6.4 --user --package-db=clear --package-db=global --package-db=/Users/isatest/.stack/snapshots/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/pkgdb --package-db=/private/tmp/isabelle-isatest/process3979053854576372365/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/pkgdb --libdir=/private/tmp/isabelle-isatest/process3979053854576372365/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/lib --bindir=/private/tmp/isabelle-isatest/process3979053854576372365/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/bin --datadir=/private/tmp/isabelle-isatest/process3979053854576372365/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/share --libexecdir=/private/tmp/isabelle-isatest/process3979053854576372365/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/libexec --sysconfdir=/private/tmp/isabelle-isatest/process3979053854576372365/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/etc --docdir=/private/tmp/isabelle-isatest/process3979053854576372365/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/doc/isabelle-0.1.0.0 --htmldir=/private/tmp/isabelle-isatest/process3979053854576372365/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/doc/isabelle-0.1.0.0 --haddockdir=/private/tmp/isabelle-isatest/process3979053854576372365/compile5204084/.stack-work/install/x86_64-osx/8e82ff10b17b451b131e14369d05892e20a5055da188e4e36fdbf68961d7f7af/9.6.4/doc/isabelle-0.1.0.0 --dependency=array=array-0.5.6.0 --dependency=base=base-4.18.2.0 --dependency=bytestring=bytestring-0.11.5.3 --dependency=containers=containers-0.6.7 --dependency=network=network-3.1.4.0-59yrFnZEAI9g763rMXga1 --dependency=split=split-0.2.5-1ZSy0xYACSg5uwyBvCYVUs --dependency=text=text-2.0.2 --dependency=threads=threads-0.5.1.8-4ZlSgzMvFHB68hutz4z6Xc --dependency=time=time-1.12.2 --dependency=uuid=uuid-1.3.15-wjyvYeMvoU1S0y1C56IZO --exact-configuration --ghc-option=-fhide-source-paths
Process exited with code: ExitFailure 1
At command "compile_generated_files" (line 11 of "~~/src/Tools/Haskell/Test.thy")