coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Adam Megacz <megacz AT cs.berkeley.edu>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Anomaly: uncaught exception Not_found. Please report
- Date: Wed, 22 Sep 2010 05:36:39 +0000
- Cancel-lock: sha1:jTwiBhrscvhr8OJvHOX2frQi4gc=
- Organization: Myself
megacz@skolem:~/coq83$
curl -LO http://www.cs.berkeley.edu/~megacz/garrows/GArrow_coq83.v
megacz@skolem:~/coq83$
bin/coqc GArrow_coq83.v
Defining '_swap' as keyword
Defining '_assoc' as keyword
File "./GArrow_coq83.v", line 579, characters 0-249:
Anomaly: uncaught exception Not_found. Please report.
- a
- [Coq-Club] Anomaly: uncaught exception Not_found. Please report, Adam Megacz
Archive powered by MhonArc 2.6.16.