On Sat, Dec 19, 2009 at 03:29:21PM -0800, Jon Lang wrote:
> What if I need to make a new type that, like junctions,
> should not derive from Any, but isn't a junction? Is it that
> explicitly deriving from a type that's already outside of Any (such as
> Mu or junction) automatically disables the i
On Sat, Dec 19, 2009 at 1:07 PM, wrote:
> for the most generic non-failure undefined value. The C type,
> derived from C, is also undefined, but excludes C so
> that autothreading may be dispatched using normal multiple dispatch
> -rules. The C type is derived from C but nothing else
> +rule