Opened 4 years ago

#174 new defect

Cannot Check Exception Trait

Reported by: ajbeach Owned by:
Priority: major Component: cfa-cc
Version: 1.0 Keywords:
Cc:

Description

Currently the exception handing mechanism uses an ad-hoc version of virtual types to implement its exception object. The type system does not know about these. The result of this is no assertion covers what the virtual type requires and the is_exception trait is empty.

Which means every type is an exception as far as the resolver is concerned. This is a problem that can't be solved right now. It requires the virtual system or equivalent to be implemented. But once it is this should be fixed, currently it crashes with a messy stack-trace.

Change History (0)

Note: See TracTickets for help on using tickets.