Skip to content
Snippets Groups Projects
Select Git revision
20 results
Blame Permalink
  • Simon Peyton Jones's avatar
    02ed7d78
    Refactor mkRuntimeError · 02ed7d78
    Simon Peyton Jones authored and Marge Bot's avatar Marge Bot committed 
    This patch fixes #22634.  Because we don't have TYPE/CONSTRAINT
polymorphism, we need two error functions rather than one.

I took the opportunity to rname runtimeError to impossibleError,
to line up with mkImpossibleExpr, and avoid confusion with the
genuine runtime-error-constructing functions.
    02ed7d78
    History
    Refactor mkRuntimeError
    Simon Peyton Jones authored and Marge Bot's avatar Marge Bot committed 
    This patch fixes #22634.  Because we don't have TYPE/CONSTRAINT
polymorphism, we need two error functions rather than one.

I took the opportunity to rname runtimeError to impossibleError,
to line up with mkImpossibleExpr, and avoid confusion with the
genuine runtime-error-constructing functions.
3
Solver.hs 93.33 KiB