Safe Haskell | None |
---|---|
Language | Haskell98 |
Validate and Transform Constraints to Ensure various Invariants ------------------------- 1. Each binder must be associated with a UNIQUE sort
Transform FInfo to enforce invariants
Sorts for each Symbol (move elsewhere)
Remove substitutions K[x := e] where x
is not in dom(K)
dropDeadSubsts :: SInfo a -> SInfo a Source #
dropDeadSubsts
removes dead `K[x := e]` where x
NOT in the domain of K.