path: root/test-suite/output/Warnings.out

File "stdin", line 4, characters 0-22:
Warning: Projection value has no head constant: forall x : nat, x > 0 in
canonical instance a of b, ignoring it.
[projection-no-head-constant,typechecker]