Lsl syntax questions.

To: larch-interest@src.dec.com
Subject: Lsl syntax questions.
From: clayton@cc.gatech.edu (R. Clayton)
Date: Thu, 28 Jul 1994 16:21:04 -0400
Delivery-Date: Thu, 28 Jul 94 14:02:49 -0700

I'm having a little trouble defining a trait:

  pu cat t.lsl
  t: trait

    includes
      String(byte, data)
      Natural(nat)
      attr tuple of d: data, n: nat

  pu lsl t
  ./t.lsl:5,12: expecting `tuple', `union' or `enumeration' in shorthand
  Abort: error in checking LSL traits

I can make it work one way

  pu cat t.lsl
  t: trait

    includes
      String(byte, data)
      attr tuple of d: data, n: nat

  pu lsl t
  Finished checking LSL traits

or the other

  pu cat t.lsl
  t: trait

    includes
      Natural(nat)
      attr tuple of d: data, n: nat

  pu lsl t
  Finished checking LSL traits

but I'd like to have both.  Any ideas about what's wrong?

More generally: is there a chart (or bnf description or ...) showing lsl
syntax?

Follow-Up(s):

Re: Lsl syntax questions.

From: Patrice Chalin <chalin@cs.concordia.ca>