Fixup exception handling for capabilities

This commit is contained in:
Jason Paryani
2013-10-20 17:24:59 -07:00
parent a9ad0e6b85
commit 5e00534842
4 changed files with 110 additions and 16 deletions

View File

@@ -29,17 +29,17 @@ interface TestInterface {
# baz @2 (s: TestAllTypes);
}
# interface TestExtends extends(TestInterface) {
# qux @0 ();
interface TestExtends extends(TestInterface) {
qux @0 ();
# corge @1 TestAllTypes -> ();
# grault @2 () -> TestAllTypes;
# }
}
# interface TestPipeline {
# getCap @0 (n: UInt32, inCap :TestInterface) -> (s: Text, outBox :Box);
# testPointers @1 (cap :TestInterface, obj :Object, list :List(TestInterface)) -> ();
interface TestPipeline {
getCap @0 (n: UInt32, inCap :TestInterface) -> (s: Text, outBox :Box);
testPointers @1 (cap :TestInterface, obj :Object, list :List(TestInterface)) -> ();
# struct Box {
# cap @0 :TestInterface;
# }
# }
struct Box {
cap @0 :TestInterface;
}
}