A simplifier for type-annotated FlatCurry programs. In particular, it replaces calls to Eq.== implementations by Prelude.==
Author: Michael Hanus
Version: September 2024
simpProg
:: AProg TypeExpr -> AProg TypeExpr
|
simpFuncDecl
:: AFuncDecl TypeExpr -> AFuncDecl TypeExpr
|
simpExpr
:: AExpr TypeExpr -> AExpr TypeExpr
Implements the following transformations:
|
Implements the following transformations:
|