Dear Vladimir,
A common way of defining a typ-checker for a newly defined "type" uses
a name as in this example,
MyName = {Name.new}
class MyType
feat !MyName: unit
<rest of def>
end
/** %% Returns a boolean whether X is an Object with the
class/superclass MyType.
%%*/
fun {IsMyType X}
{Object.is X} andthen {HasFeature X MyName}
end
Best,
Torsten
On 27.03.2007, at 15:22, Jorge Marques Pelizzoni wrote:
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
--
Torsten Anders
Sonic Arts Research Centre • Queen's University Belfast
Frankstr. 49 • D-50996 Köln
Tel: +49-221-3980750
http://strasheela.sourceforge.net
http://www.torsten-anders.de
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
