[Prev][Next][Index]
Re: Parameterized sorts for LSL!?
-
To: leavens@bambam.cs.iastate.edu (Gary Leavens)
-
Subject: Re: Parameterized sorts for LSL!?
-
From: horning
-
Date: Wed, 17 Nov 93 13:59:12 -0800
-
Cc: horning
-
Delivery-Date: Wed, 17 Nov 93 13:59:38 -0800
-
In-Reply-To: Message of Wed, 17 Nov 93 15:35:52 CST
Gary,
Thanks for the explanation. I think I see now. A very similar problem
shows up if you want to rename "fields" in any of the LSL shorthands. The
shorthands were put in the language to reduce the amount of duplicate
boilerplate; unfortunately, they do so only at the base level, not when
traits are referenced.
Jim H.
PS I didn't reply to the entire list, but if you decide to post a summary
of the private feedback you get, feel free to quote any still-relevant
portions of my messages.
Follow-Up(s):