[mercury-users] Constructor question.

[Ian MacLarty]

On Sat, Apr 14, 2012 at 9:03 PM, Michael Richter <ttmrichter at gmail.com> wrote:
> On 14 April 2012 17:26, Mark Brown <mark at csse.unimelb.edu.au> wrote:
>>
>> > > Foo = foo(  10       % bar
>> > >             "eleven" % baz
>> > >          ).
>>
>> You can write
>>
>>    (_ ^ bar := 10)
>>       ^ baz := "eleven"
>>
>> to construct the above term.
>
>
> Thanks for the pointer.
>
> How would that look if I want to explicitly initialize the quux field?
>  This…
>
>> ((_ ^ bar := 10)
>>     ^ baz := "eleven")
>>     ^ quux := yes
>
>
> …could start to get a bit quirky-looking if I want to initialize a dozen
> members.
>
> --
> "Perhaps people don't believe this, but throughout all of the discussions of
> entering China our focus has really been what's best for the Chinese people.
> It's not been about our revenue or profit or whatnot."
> --Sergey Brin, demonstrating the emptiness of the "don't be evil" mantra.

You can also do something like this:

Foo.bar = 10,
Foo.baz = "eleven",
Foo.quux = yes,

(you must fill in all fields for Foo to become ground).

Ian.

--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------