Date: Mon, 17 Jun 1996 16:11:47 +0200 From: Claus Reinke To: designCPN@daimi.aau.dk Subject: Arbitrary ML datatypes as colour sets? Since this may be the first user message in this forum, let me start by expressing my thanks to the CPN group at Aarhus. Thank you for taking over (distribution, development and support of) Design/CPN. This means a lot of (non-research) work for you, but it should also provide an environment in which information and experiences are shared more freely. I hope it will help the formalism and tool to spread and flourish. Now, here is my problem. CPN ML is usually described as an extension of Standard ML. To quote from : Design/CPN use CPN ML which is obtained by extending Standard ML in three different ways. The first extension adds syntactic sugar for colour set declarations. This makes it very easy to declare the most common kinds of colour sets. It also means that the user can include a number of predefined functions, just by mentioning their name in a colour set declaration. But what if I need to use other Standard ML datatypes as colour sets, e.g., recursive datatypes or function types? Is it possible to bypass the syntactic sugar for colour set declarations and how can I do it? Thanks in advance, Claus Reinke. -- Claus Reinke University of Kiel email: cr@informatik.uni-kiel.de Department of Computer Science http://www.informatik.uni-kiel.de/~cr/ Preusserstr. 1-9, 24105 Kiel --- [[ Post messages and summary of replies: designCPN@daimi.aau.dk ]] [[ To (un)subscribe, send "help" to: Majordomo@daimi.aau.dk ]] [[ The moderator's address: designCPN-owner@daimi.aau.dk ]] [[ World Wide Web URL: http://www.daimi.aau.dk/designCPN/email/ ]]