Re: [abc] oopsla outline

From: Julian Tibble <julian.tibble@worcester.oxford.ac.uk>
Date: Tue Mar 07 2006 - 19:43:59 GMT

> If our index-choosing algorithm results in always-empty index
> lists for
> your favourite example, you can give 'hints': After the TM
> symbol
> declarations, you can state "frequent <symbol>;" to make the
> variables
> bound by <symbol> receive preferential treatment.

Just to clarify the syntax...

You can only make one frequent-declaration in a tracematch, but it
can
list more than one symbol. It must appear between the symbol
declarations
and the pattern and be of the form:

"frequent" <comma separated list of symbol names> ";"

Julian
Received on Tue Mar 07 19:44:06 2006

This archive was generated by hypermail 2.1.8 : Tue Mar 06 2007 - 16:13:27 GMT