Hi, Vladimir! Indeed this is the way you can define a type having its own
Value.type result. However, you should notice that defining extensions is
meant to be something exceptional, not everyday practice. Usually people
go defining their own "types" (i.e. data structures, ADTs and even
_classes_) on top of what already exists, the only thing being that
Value.type won't recognize these new "types".
Cheers,
Jorge.
Vladimir N. Dzhivsanoff escreveu:
>
>>
>> On 3/26/07, Vladimir N. Dzhivsanoff <[EMAIL PROTECTED]> wrote:
>> > Documentation tells that new type can be defined from Value or Chunk
>> ?
>> >
>> >
>> >
>> > How to do it ?
>> >
>> >
>> >
>> > Some example:
>> >
>> >
>> >
>> > declare
>> >
>> > ....
>> >
>> > X= ...
>> >
>> > {Browse {Value.type X}}
>> >
>> >
>> >
>> >
>> >
>> >
>> >
>> > - Where saved type-id ?
>> >
>> > - How I can define X that {Vlaue.type X} != <any standard type> ?
>> >
>> >
>> >
>> >
>> >
>> > Thanks a lot.
>> > _________________________________________________________________________________
>> > mozart-users mailing list
>> [EMAIL PROTECTED]
>> > http://www.mozart-oz.org/mailman/listinfo/mozart-users
>> I think you should take a look at
>> http://www.mozart-oz.org/documentation/foreign/node22.html#chapter.extension
>>
>> There is some information on how to extend the vm with new types
>> (chunks).
>>
>> Cheers,
>>
>>
>> --
>> Gustavo Gutierrez
>> _________________________________________________________________________________
>> mozart-users mailing list
>> [EMAIL PROTECTED]
>> http://www.mozart-oz.org/mailman/listinfo/mozart-users
>>
>>
>
> Thank you.
> _________________________________________________________________________________
> mozart-users mailing list
> [email protected]
> http://www.mozart-oz.org/mailman/listinfo/mozart-users
>
Jorge M. Pelizzoni
ICMC - Universidade de São Paulo
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
