wyvernlang/wyvern

support an effect hierarchy

Opened this issue · 0 comments

Allow one effect to be defined as a sub-effect of another. For example, the f.write effect indicates a write on a particular file f. f.write should be a sub-effect of fileSystem.write, which represents a write to any file in the file system.

This mirrors how a FileNotFoundException is a subclass of IOException in Java.