liquid-fixpoint-0.9.2.5: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
Safe HaskellSafe-Inferred
LanguageHaskell98

Language.Fixpoint.Solver.Simplify

Description

This module contains common functions used in the implementations of Simplifiable Expr in both Interpreter.hs and PLE.hs.

Synopsis

Documentation

applyConstantFolding :: Bop -> Expr -> Expr -> Expr Source #

Replace constant integer and floating point expressions by constant values where possible.