Works like a charm.
Thanks,
Chris Rathman

Maximilian Wilson wrote:
On 3/4/06, Chris Rathman <[EMAIL PROTECTED]> wrote:
At the end, L should be a|c|o|r|n.   My code above, however, causes the
program to enter a wait state (which I think I understand that the
unification on the tail requires that the head be known first).  The
question is whether there's a way to work around this?

What is actually happening is that it is unknown whether L.2 has any
meaning, i.e. whether it's a record with a 2 field. You could instead
say:

local L X in
  L = _|c|o|r|n   % L ends in corn
  L = X|_         % L starts with X
  a = X
  {Show L}
end

-Max Wilson

--
Be pretty if you are,
Be witty if you can,
But be cheerful if it kills you.





_________________________________________________________________________________
mozart-users mailing list                               
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users

Reply via email to