[Agda] There is probably no option to turn off postfix-projections

[stvienna wiener]

Hi,

The option:
{-# OPTIONS --postfix-projections #-}

turns on postifix-projections (agda head/master from github).

I guess there is no option to turn OFF postfix-projections?

Regards,

Stephan A.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160924/efd7128b/attachment.html