They are my half-baked attempt to report completely-overlapped patterns
and non-exhaustive equation sets. I say "half-baked" because they don't
guarantee to spot complete equation sets.
I plan to have a separate function to spot these errors, rather than try
to add error-spotting as an add-on to the existing code for
compiling patterns.
If you are fiddling, perhaps you could do it instead?! There's a recent
tech report from Luc Maranget that describes what to do, I think.
http://pauillac.inria.fr/~maranget/
Simon
| From: Stephan Tobies <[EMAIL PROTECTED]>
| Date: Mon, 2 Jun 1997 15:43:41 +0200 (MET DST)
| Could anybody please explain to me, what the shadowed equations in the
| desugarer are there for? I fiddleling with the desugarer at the moment
| and I think I ought to know...
|
| Stephan Tobies
