coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] set_timeout in 8.8.0

From: Emilio Jesús Gallego Arias <e AT x80.org>
To: Burak Ekici <ekcburak AT hotmail.com>
Cc: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] set_timeout in 8.8.0
Date: Wed, 02 May 2018 20:41:44 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=e AT x80.org; spf=Pass smtp.mailfrom=e AT x80.org; spf=Pass smtp.helo=postmaster AT x80.org
Ironport-phdr: 9a23:jJrFbRNIdSEY8GP00d8l6mtUPXoX/o7sNwtQ0KIMzox0Lfj9rarrMEGX3/hxlliBBdydt6ofzbKO+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxlGiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0vRz+s87lkRwPpiCcfNj427mfXitBrjKlGpB6tvgFzz5LIbI2QMvd1Y6HTcs4ARWdZXshfSTFPAoSyb4UBDeUPPuhXoIbhqFYVsRuyGROhCP/zxjJShHL727Ax3eQ7EQHB2QwtB90AsHHVrNXxNacSVvi6wq3WwjXYdetWwi/y5onSfRAlpfGDQ71wcc3JxkQzDQPFj0+fqZf4ND6SyOsAqGea4ul8We61jG4nsQ5xryGpy8wxiYfJnpoYxk3H+Ch62oo5O8O0RU9hbdK5EpZcqjuWO5Z4T888W21luiQ3xqcbtZO1fSUG0okryh7FZ/CZbYSF4BTuX/uLLzhinnJqYre/ig6y8Ue+zu38UdG50VlJoyZZiNXMsWoN1xPL5siGTPty4Fuh1C6S2w3Q6exIO144mbTaJpI737I9lIcfvV7eEiL4hkn6lKqWeV8l+uis5eTneLLmppqEOoBqkQz/PacjltClDeQ/KAgOUHCX+f6g27374U35XLJKg+UqnaneqZDWPNgUpqqkAwBOyYsj8Ba+DzK+0NsCh3UHLVRFeAiGj4fzIV3OLur4Xr+DhAGGjS1ixLjrPbzqA92ZI3vImqr7dLVV60lAzQMyyZZU4JcCWZ8bJ/emd0rwsN3fOT00KJ6v9MnuDNFw2YQpcHiOC7TRZK76oQ/QoOU1LL/fN8cupD/hJq19tLbVhngjlApYJPHxhMpFWDWDBv1jZn6hTz/pi9YFH30Nu1tsXLyyzlqYXmwKPirgb+cH/jg+TbmeI8LbXIn80qzRhGG8BJIEPjkbWGDJKm/hcsC/Y9lJaC+WJZ4zgmxcE7+7RN142A==
Organization: X80 Heavy Industries

Burak Ekici
<ekcburak AT hotmail.com>
writes:

> The latest release of Coq (8.8.0) seems to drop the "set_timeout"
> function from "control.ml". How can I simply mimic it? We want to use a
> particular timeout function...

Umm, that function was pretty internal so I wonder what your use case
is. Please open a ticket on GitHub and we will add the interface back
for 8.8.1

E.

[Coq-Club] set_timeout in 8.8.0, Burak Ekici, 05/02/2018
- Re: [Coq-Club] set_timeout in 8.8.0, Emilio Jesús Gallego Arias, 05/02/2018
  - Re: [Coq-Club] set_timeout in 8.8.0, Łukasz Czajka, 05/03/2018
    - Re: [Coq-Club] set_timeout in 8.8.0, Gabriel Scherer, 05/07/2018
      - Re: [Coq-Club] set_timeout in 8.8.0, Łukasz Czajka, 05/07/2018
        
        Re: [Coq-Club] set_timeout in 8.8.0, Łukasz Czajka, 05/07/2018
        
        Re: [Coq-Club] set_timeout in 8.8.0, Gabriel Scherer, 05/09/2018
        
        Re: [Coq-Club] set_timeout in 8.8.0, Xavier Leroy, 05/10/2018
        
        Re: [Coq-Club] set_timeout in 8.8.0, Tej Chajed, 05/07/2018
        
        Re: [Coq-Club] set_timeout in 8.8.0, Łukasz Czajka, 05/07/2018
      - Re: [Coq-Club] set_timeout in 8.8.0, Jacques-Henri Jourdan, 05/07/2018