getFlexRigid :: Expr -> FlexRigidResult  
|
| Computes the rigid/flex status of a FlatCurry expression. |
This library provides a function to compute the rigid/flex status
of a FlatCurry expression (right-hand side of a function definition).
Author: Michael Hanus
Version: April 2005
| Exported names: |
Datatypes:
FlexRigidResult
Constructors:
ConflictFR
| KnownFlex
| KnownRigid
| UnknownFR
Functions:
getFlexRigid
| Summary of exported functions: |
|
| Imported modules: |
| Exported datatypes: |
Datatype for representing a flex/rigid status of an expression.
Constructors:
:: FlexRigidResult
:: FlexRigidResult
:: FlexRigidResult
:: FlexRigidResult
| Exported functions: |
:: Expr -> FlexRigidResult
Computes the rigid/flex status of a FlatCurry expression. This function checks all cases in this expression. If the expression has rigid as well as flex cases (which cannot be the case for source level programs but might occur after some program transformations), the result ConflictFR is returned.