Can't define types as resources

[brson]

The following doesn't work:

type rtype = resource(int i);

Then I would expect to be able to:

resource r1(int i) {};
resource r2(int i) {};

let rtype i1 <- r1(0);
let rtype i2 <- r2(0);

Currently I don't see any way to make polymorphic resources.

[marijnh]

Resources are nominal types. The use case you show just isn't how they work.

[brson]

Ah, ok. Patrick straightened me out on the resource use case.