ML-style pattern matching in C-like languages

Have there been any proposals or prototypes built
for introducing some form of ML-style pattern matching
in C-like languages?

I am working on a C compiler written in a malleable
dialect of C and have no qualms about adding new
syntax to the language to make writing the compiler
easier. I am toying with the idea of adding some form
of pattern-matching syntax but am not sure exactly
what it should look like. If these are previously-charted
waters, I figured I'd look around for maps.

One issue is that C has no explicit support for
discriminated unions, but I am willing to assume that there
are hints of some form to tell the compiler how to interpret
the patterns w.r.t. the structure elements.

Another issue is that my structures have much more
information in them than I care to match on. For example,
the generic abstract syntax node might look something like:

struct Node
{
int op; /* OADD, OSUB, OMUL, ONEG, etc. */
Node *left; /* left child in a.s. tree */
Node *right; /* right child in a.s. tree */
Line line; /* source line information */
Type *type; /* C type assigned to expression */
};

If I want to pattern match on this, sometimes I might care
about the type and sometimes not. I never care about the
source line number. Sometimes I don't even care about the
right child. In the real struct Node there are many more fields,
any of which I only rarely care about.

One might envision a syntax like:

if(n ~ Node(OADD, Node(OMUL, ?x, ?y), ?z))

or even

if(n ~ OADD(OMUL(?x, ?y), ?z))

to match (and bind subexpressions in) an expression of
the form x*y+z. But maybe sometimes I care about the types:

if(n ~ OADD(OMUL(?x, ?y, .type ~ TLONG), ?z))

where the the multiplication has result type "long". And so on.

How do ML programmers who write real compilers deal
with this issue (auxiliary data that never or rarely is
interesting in the match)?

Have there been pattern-matching syntaxes in other languages
that deal with this problem?

Any and all pointers appreciated.

Thanks.
Russ Cox
.

Relevant Pages

  • Re: ML-style pattern matching in C-like languages
    ... > syntax to the language to make writing the compiler ... > information in them than I care to match on. ... > If I want to pattern match on this, ... In the real struct Node there are many more fields, ...
    (comp.compilers)
  • Re: find in current directory - SUN OS
    ... First time I see that syntax. ... a pattern. ... Care to explain? ...
    (comp.unix.programmer)
  • Re: Am I being used ?
    ... if only for a contractual (compiler / runtime enforced) disposable ... (although the syntax to indicate transfer of ownership [e.g. as the ...
    (microsoft.public.dotnet.general)
  • Re: find in current directory - SUN OS
    ... First time I see that syntax. ... a pattern. ... Care to explain? ...
    (comp.unix.programmer)
  • Re: Which programming language is better to start
    ... How does Lisp handle monomorphic types? ... If you don't specify a variable to have a type then the compiler ... ML does a lot of pattern match optimisations which, ... These operation would be done by representing the data as lists ...
    (comp.programming)