Currently if there are unhandled effects that percolate up to top-level the compiler will fail an assert and panic. To fix this, a proper error message should be issued to inform the user of the unhandled effects (ideally with the original locations of these effects).
Currently if there are unhandled effects that percolate up to top-level the compiler will fail an assert and panic. To fix this, a proper error message should be issued to inform the user of the unhandled effects (ideally with the original locations of these effects).
See https://github.com/jfecher/ante/blob/master/src/types/typechecker.rs#L1448
E.g.