<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">I needed telling it seems, don’t hold back…<div class=""><br class=""></div><div class="">:D</div><div class=""><br class=""></div><div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 21 Dec 2021, at 19:31, Volker Wysk <<a href="mailto:post@volker-wysk.de" class="">post@volker-wysk.de</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div style="caret-color: rgb(0, 0, 0); font-family: Optima-Regular; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: left; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class="">Am Dienstag, dem 21.12.2021 um 20:27 +0100 schrieb Volker Wysk:</div><blockquote type="cite" style="font-family: Optima-Regular; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: left; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; text-decoration: none; margin: 0px 0px 0px 0.8ex; border-left-width: 2px; border-left-style: solid; border-left-color: rgb(114, 159, 207); padding-left: 1ex;" class=""><div class="">Am Dienstag, dem 21.12.2021 um 20:16 +0100 schrieb Volker Wysk:</div><blockquote type="cite" style="margin: 0px 0px 0px 0.8ex; border-left-width: 2px; border-left-style: solid; border-left-color: rgb(114, 159, 207); padding-left: 1ex;" class=""><div class="">Am Dienstag, dem 21.12.2021 um 16:42 +0000 schrieb Sean Charles (emacstheviking):</div><blockquote type="cite" style="margin: 0px 0px 0px 0.8ex; border-left-width: 2px; border-left-style: solid; border-left-color: rgb(114, 159, 207); padding-left: 1ex;" class="">Hi Zoltan,<div class=""><br class=""></div><div class="">I already had:</div><div class=""><br class=""></div><div class=""><font face="Courier New" class="" style="font-size: 14px;">:- type rop<br class=""> ---> t(string)<br class=""> ; tnl(string)<br class=""> ; nl<br class=""> ; tab(list(rop))<br class=""> ; rops(list(rop)).</font></div><div class=""><br class=""></div><div class="">By adding a new type constructor, which I have done,</div><div class=""><br class=""></div><div class=""><font face="Courier New" class="" style="font-size: 14px;"> ; seq(string, list())</font></div></blockquote><div class=""><br class=""></div><div class="">Those are called "data constructors", at least in Haskell. Since data is what's being constructed, not a type.</div></blockquote><div class=""><br class=""></div><div class="">.... And something like "list" is a type constructor (again, speaking of Haskell, but it should be the same in Mercury). It takes a type (such as int) as an argument and constructs a type (such as list(int)).</div></blockquote><div style="caret-color: rgb(0, 0, 0); font-family: Optima-Regular; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: left; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><br class=""></div><div style="caret-color: rgb(0, 0, 0); font-family: Optima-Regular; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: left; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><br class=""></div><div style="caret-color: rgb(0, 0, 0); font-family: Optima-Regular; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: left; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class="">.... And if I had read Zoltans response before answering you, I wouldn't have told the same again. :)</div><div style="caret-color: rgb(0, 0, 0); font-family: Optima-Regular; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: left; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class=""><br class=""></div><div style="caret-color: rgb(0, 0, 0); font-family: Optima-Regular; font-size: 18px; font-style: normal; font-variant-caps: normal; font-weight: normal; letter-spacing: normal; text-align: left; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none;" class="">Bye, Volker</div></div></blockquote></div><br class=""></div></body></html>