Portability | GHC only |
---|---|
Maintainer | Simon Meier <iridcode@gmail.com> |
Safe Haskell | None |
This module implements all rules that do not result in case distinctions and equation solving. Some additional cases may although result from splitting over multiple AC-unifiers. Note that a few of these rules are implemented directly in the methods for inserting constraints to the constraint system. These methods are provided by Theory.Constraint.Solver.Reduction.
- simplifySystem :: Reduction ()
Documentation
simplifySystem :: Reduction ()Source
Apply CR-rules that don't result in case splitting until the constraint system does not change anymore.