coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Breaking typeclass instance cycles

From: Paolo Herms <paolo.herms AT inria.fr>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Breaking typeclass instance cycles
Date: Mon, 9 May 2011 15:50:28 +0200

On Friday 06 May 2011 22:18:28 Matthieu Sozeau wrote:
> However I'm working on adding a feature that would allow the user to specify
> cuts in the proof search using regular expressions on paths to forbid.

Sounds great.
Do you think it will be possible to add some sort of cycle detection, too?
--
Paolo Herms
PhD Student - CEA-LIST Software Safety Lab. / INRIA ProVal Project
Paris, France

[Coq-Club] Rewrite involving typeclasses failing, Daniel Schepler
- Re: [Coq-Club] Rewrite involving typeclasses failing, Robbert Krebbers
  - [Coq-Club] Breaking typeclass instance cycles, Daniel Schepler
    - Re: [Coq-Club] Breaking typeclass instance cycles, Tom Prince
      - Re: [Coq-Club] Breaking typeclass instance cycles, Matthieu Sozeau
        
        Re: [Coq-Club] Breaking typeclass instance cycles, Tom Prince
      - Message not available
        
        Re: [Coq-Club] Breaking typeclass instance cycles, Paolo Herms