Stefan,
Something like your proposal for `irrefutable cases' was tried out
by Friedman and Wise a long time ago. I hope I'm remembering that
correctly -- I have an even more vague memory that the original
idea was proposed by McCarthy. You should follow this up by
contacting Friedman and Wise t
Here is a remark about irrefutability,
something that has bothered me for some time.
First, the well-known bit:
Haskell has irrefutable patterns. This is an adaptation of Miranda.
However, irrefutable patterns in Miranda are implicit, in Haskell they
are explicit. As a consequence, Miranda has
