Larch Shared Language -> LP

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by John W. Baugh Jr. Thu, 23 May 1991 21:24

#424

Author: John W. Baugh Jr.
Date: Thu, 23 May 1991 21:24

12 lines
900 bytes

I'm looking for some automatic (i.e., not by hand) way to convert LSL
(v2.3) traits into LP (r2.0).  Does something like that exist?

Failing that ... maybe I'm missing something, but the lack of
parameterized sort names in LP seems to be a major headache.  I'm
currently using a shell script to convert names like Pair_<T1>_<T2>
into Pair_Nat_Nat.  Is this the best solution?

Any help would be greatly appreciated.

John Baugh
jwb@cepmax.ncsu.edu

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads