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

Author: j
Mode: text
Date: Mon, 16 Aug 2010 03:31:53
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: