".Properties" suffix in module names about agda-stdlib HOT 10 CLOSED

Props is ambiguous, could mean Properties or Propositions.

I tend not to abbreviate without need. I'd rather opt for .Properties.
You can always abbreviate upon import.

from agda-stdlib.

I agree.

from agda-stdlib.

Why did you close this? Isn't the suggestion to rename Data.Fin.Props (and Data.Fin.Subset.Props) to Properties?

from agda-stdlib.

My suggestion is now:
to replace the suffix "Props" with "Properties" in the module names like Data.Fin.Props, Data.Fin.Subset.Props

from agda-stdlib.

On Thu, 2014-01-23 at 00:55 -0800, Ulf Norell wrote:

Why did you close this? Isn't the suggestion to rename Data.Fin.Props
(and Data.Fin.Subset.Props) to Properties?

—
Reply to this email directly or view it on GitHub.

My last suggestion is to set there the suffix "Properties".

Sergei

from agda-stdlib.

Can we add compatibility modules with the original names for a few releases? Then external code can slowly switch over.

from agda-stdlib.

The changes have not been released.

from agda-stdlib.

I'm not sure how much sense that makes, given that there's nothing telling people they ought to switch over.

from agda-stdlib.

People will notice when the (compatibility) modules are removed, however
having them for a limited amount of time will allow a single code base
to work with a few versions of the stdlib. This would be useful to me.

from agda-stdlib.

Yeah ok, that's fair. I propose that we keep the compatibility modules in the upcoming release and then remove them immediately after. Will you make the patch?

from agda-stdlib.