Paste: "not all paths return" error when throwing function is dispatched to

Author: j
Mode: text
Date: Mon, 16 Aug 2010 03:32:35
Plain Text |
record BadParse {}
instance Exception = BadParse;

foo(x: Int) Int { throw BadParse(); }
overload foo(x: Float) Int { return 5; }

variant Foo = Int | Float;

fooFoo(x: Foo) = foo(*x);

main() { var x = Foo(3); fooFoo(x); }

New Annotation

Summary:
Author:
Mode:
Body: