i'd like to support Ralf's opinion: n+k patterns have advantages
(when used in a certain manner) so it would be good to keep them.
personal reason: right now i'm busy giving tutorials on recursive functions
and it's really nice if you can write f(...,y+1) = ... (... y)
instead of f(...,y) = ... (... y-1)
on a more general note, can we take n+k patterns as
an istance of a "view" (http://www.haskell.org/extensions/views.html)
of the type Int(eger)?
--
Dr. Johannes Waldmann Institut fur Informatik Universitat Leipzig
[EMAIL PROTECTED] http://www.informatik.uni-leipzig.de/~joe/
Augustusplatz, D-04109 Leipzig, Germany, Tel/Fax (+49) 341 97 32 204/209
