Swap `curry` and `uncurry` to be consistent with Haskell and friends.

This also applies to (un)curry{3,4}, gmap_(un)curry, and h(un)curry.

This fixes issue #76 (closed).

The code includes a horrible hack that should removed once support for Coq versions prior to 8.13 is dropped, see https://github.com/coq/coq/pull/12716.

added 1 commit

• 9998fdc8 - Swap `curry` and `uncurry` to be consistent with Haskell and friends.

Compare with previous version

added 1 commit

• 4a6cbe81 - CHANGELOG.

Compare with previous version

Added a CHANGELOG entry and sed script. Does anyone know if the sed script actually swaps the names, or if it performs the renaming in sequence, thereby creating a mess?

added 1 commit

• 758f8b09 - CHANGELOG.

Compare with previous version

added 9 commits

• 758f8b09...7d502178 - 7 commits from branch master
• 6348c6aa - Swap `curry` and `uncurry` to be consistent with Haskell and friends.
• 889aca9a - CHANGELOG.

Compare with previous version

added 1 commit

• aed9bd8a - CHANGELOG.

Compare with previous version

resolved all threads

merged

mentioned in commit e2c65b35

@iris-users this is a breaking change:

• Swap names of curry/uncurry, curry3/uncurry3, curry4/uncurry4, gmap_curry/gmap_uncurry, and hcurry/huncurry to be consistent with Haskell and friends.

A sed script to help porting:

sed -i -E '
s/\b(lookup_gmap_|gmap_|h|)curry(|3|4)\b/OLD\1curry\2/g
s/\b(lookup_gmap_|gmap_|h|)uncurry(|3|4)\b/\1curry\2/g
s/\bOLD(lookup_gmap_|gmap_|h|)curry(|3|4)\b/\1uncurry\2/g
s/\bgmap_curry_uncurry\b/gmap_uncurry_curry/g
s/\bgmap_uncurry_non_empty\b/gmap_curry_non_empty/g
s/\bgmap_uncurry_curry_non_empty\b/gmap_curry_uncurry_non_empty/g
s/\bhcurry_uncurry\b/huncurry_curry/g
' $(find theories -name "*.v")