coq icon indicating copy to clipboard operation
coq copied to clipboard
verified publisher icon HoTT

Anomaly: not an arity. Please report. (polyproj)

Open JasonGross opened this issue 11 years ago • 0 comments 

Inductive T : let U := Type in U := t. (* Anomaly: not an arity. Please report. *)

This works in trunk, but not in trunk-polyproj.

JasonGross avatar Apr 20 '14 02:04 JasonGross