coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?

From: David Baelde <david.baelde AT ens-lyon.org>
To: Georgi Guninski <guninski AT guninski.com>
Cc: Pierre Corbineau <Pierre.Corbineau AT imag.fr>, coq-club AT inria.fr
Subject: Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?
Date: Wed, 25 May 2011 17:51:44 +0200
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type; b=KbIq0YsJU7kTSQz6udqL5QsGDTiO5ZTb1dIJgPmSVW8bfb8c6lL3uyc1uZ5doPXQ5k mpMFE9JRWfl8btpE/7ZY7jDd19R14R6otNLsf526EIiIKp9+CRNDCd+49woxX3ySPnoG 2HkpZZGuCs/0P5fbvtNYI1sJXgq9TUFta2/sg=

By stack overflow I mean too much recursion. In bytecode this results
in the Stack_overflow exception, but in native code it may (or is it
systematic) result in segmentation faults, as you observed.

[Coq-Club] is it normal [firstorder] to hang on simple testcase?, Georgi Guninski
- Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Pierre Corbineau
  - Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Georgi Guninski
    - Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Jean-Francois Monin
      - Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Georgi Guninski
    - Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Pierre Corbineau
      - Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Georgi Guninski
        
        Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, David Baelde
        
        Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Georgi Guninski
        
        Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, David Baelde
        
        Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Alexandre Pilkiewicz
        
        Re: [Coq-Club] is it normal [firstorder] to hang on simple testcase?, Stéphane Glondu