[Agda] Error in stdlib Relation/Binary/Core.agda

Nils Anders Danielsson nad at Cs.Nott.AC.UK
Thu Sep 10 01:16:15 CEST 2009


On 2009-09-09 10:18, Chantal KELLER wrote:
> =================
> /home/keller/agda-stdlib/Relation/Binary/Core.agda:52,15-15
> /home/keller/agda-stdlib/Relation/Binary/Core.agda:52,15:
> in the name _Preserves_?_, the part ? is not valid :<ERROR> forall
> {av(1) av(2)} -> (av(1) -> av(2)) ...
> =================

It seems as if you are using an old version of the standard library. In
recent versions of Agda the symbol → is reserved, so _Preserves_→_ has
been renamed to _Preserves_⟶_.

The standard library documentation specifies, for every release, which
version of Agda it has been tested with.

-- 
/NAD


This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.



More information about the Agda mailing list