ssreflect - [ssreflect] Anomaly: Uncaught exception Environ.NotEvaluableConst(1). Please report.

Subject: Ssreflect Users Discussion List

List archive

From: Jason Gross <>
To: ssreflect <>
Subject: [ssreflect] Anomaly: Uncaught exception Environ.NotEvaluableConst(1). Please report.
Date: Wed, 11 Jun 2014 14:28:50 +0100

Definition foo : Prop. exact True. Qed.

Goal foo.

rewrite /foo.

(* Toplevel input, characters 15-27:

Anomaly: Uncaught exception Environ.NotEvaluableConst(1). Please report. *)

This is with ssr 1.4. (I expected it to be an error, rather than an anomaly.)

-Jason

[ssreflect] Anomaly: Uncaught exception Environ.NotEvaluableConst(1). Please report., Jason Gross, 06/11/2014
- Re: [ssreflect] Anomaly: Uncaught exception Environ.NotEvaluableConst(1). Please report., Maxime Dénès, 06/11/2014
  - Re: [ssreflect] Anomaly: Uncaught exception Environ.NotEvaluableConst(1). Please report., Enrico Tassi, 06/11/2014