Portability | GHC-only |
---|---|
Stability | experimental |
Maintainer | Fontaine@cs.uni-duesseldorf.de |
Language.CSPM.Rename
Description
Compute the mapping between the using occurences and the defining occurences of all Identifier in a Module Also decide whether to use ground or non-ground- representaions for the translation to Prolog.
- renameModule :: ModuleFromParser -> Either RenameError (ModuleFromRenaming, RenameInfo)
- data RenameError = RenameError {}
- data RenameInfo = RenameInfo {}
- type ModuleFromRenaming = Module FromRenaming
- data FromRenaming
Documentation
renameModule :: ModuleFromParser -> Either RenameError (ModuleFromRenaming, RenameInfo)Source
renameModule
renames a Module
.
| (also calls mergeFunBinds)
data RenameError Source
Constructors
RenameError | |
Fields |
data RenameInfo Source
Gather all information about an renaming.
Constructors
RenameInfo | |
Fields |
Instances
type ModuleFromRenaming = Module FromRenamingSource
A module that has gone through renaming