[sv-ac] cyclicity and ill-founded forms

Subject: [sv-ac] cyclicity and ill-founded forms
From: John Havlicek (john.havlicek@motorola.com)
Date: Sun Feb 09 2003 - 14:36:18 PST

All:

I have not yet found any place in the LRM that mentions
acyclicity requirements for defined forms. Without
acyclicity, simple ill-founded forms are possible, e.g.

  seq s = (t;x);
  seq t = (s;y);

Is it intended that all cyclic syntactic dependencies be
disallowed?

Best regards,

John Havlicek

This archive was generated by hypermail 2b28 : Sun Feb 09 2003 - 14:36:58 PST