[sc34wg3] abstract-constraint isa topic-type?

Lars Marius Garshol larsga at garshol.priv.no
Fri Jan 29 07:12:50 EST 2010

* Lars Marius Garshol
> Yes. It's always that case that if
>  a isa b
>  c ako a
> then
>  c isa b

As Graham pointed out to me in private email, this is completely wrong. Here's what I meant to write:

  a isa b
  b ako c


  a isa c

Sorry for the confusion.

--Lars M.

More information about the sc34wg3 mailing list