james woodyatt <jhw@wetware.com> writes:

> On Thursday, April 18, 2002, at 03:44 PM, Pixel wrote:
> >
> > well, i don't really understand the """type 'diet energy = int""" stuff.

[...]

> It looks like the 'a energy type is not actually abstract in your trial above.
> It has to be abstract or the technique doesn't work.

/me is bad (bis)

and worse, it seems I'm still missing something since subsumption is still not
there.

What I now understand is that it allows to have 
  [ `E_rabbit | `E_human] T.energy
a subtype of 
  [ `E_rabbit ] T.energy
which is needed to have the food tied to its eaters instead instead of
having the animal tied to its accepted_food.


thanks!
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners