From: "gabriele renzi" <[EMAIL PROTECTED]>
Inspector.register setToString
I see, thanks, but how does it work internally ?
Both 'inspect' and 'register' are so-called intensionally polymorphic
functions, which get passed a runtime description of the respective
instantiation type (as a value of type Type.t). There is some magic
declaration form to define such functions. It is not documented though,
because it is of little utility without access to some unsafe internals. You
could imagine a more mature mechanism with a real typecase, but that would
have complicated the type system, where we only wanted s.th to support the
Inspector conveniently.
- Andreas
_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users
