Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!lll-winken!taco!cepmax.ncsu.edu!jwb
From: jwb@cepmax.ncsu.edu (John W. Baugh Jr.)
Newsgroups: comp.specification
Subject: Larch Shared Language -> LP
Message-ID: <1991May23.212433.26197@ncsu.edu>
Date: 23 May 91 21:24:33 GMT
Sender: news@ncsu.edu (USENET News System)
Reply-To: jwb@cepmax.ncsu.edu
Organization: North Carolina State University
Lines: 12

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