gallais / idris-tparsec

TParsec - Total Parser Combinators in Idris
https://gallais.github.io/idris-tparsec/
GNU General Public License v3.0
93 stars 10 forks source link

Remove utility functions which are already defined in the new Prelude #34

Closed eayus closed 4 years ago

eayus commented 4 years ago

Duplicate definitions of new prelude functions resulted in ambiguous usage error.

Since the Prelude now contains a functor implementation for Pair, the Data.Tuple.mapSnd could also be removed in favour of using the functor map, but left it in since it may be preferred due to its more verbose name.

Note this branch does not compile even after these changes, due to some unrelated errors.

clayrat commented 4 years ago

Thanks!