Language.CSPM.Rename

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.

Documentation

renameModule :: ModuleFromParser -> Either RenameError (ModuleFromRenaming, RenameInfo)

renameModule renames a Module. | (also calls mergeFunBinds)

getRenaming :: ModuleFromParser -> Either RenameError (Bindings, AstAnnotation UniqueIdent, AstAnnotation UniqueIdent)

getRenaming computes two AstAnnotations. The first one contains all the defining occurences of identifier The second one contains all the using occurences of identitier. getRename returns an RenameError if the Module contains unbound identifiers or illegal redefinitions.

applyRenaming :: (Bindings, AstAnnotation UniqueIdent, AstAnnotation UniqueIdent) -> ModuleFromParser -> ModuleFromRenaming

applyRenaming uses SYB to replace turn every Ident in the Module into to the UIdent version, i.e. set the UniqueIdent. At the same time, we also replace VarPat x with ConstrPat x if x an toplevel constant It is an error if the Module contains occurences of Ident that are not covered by the AstAnnotations.

data RenameError

Constructors

RenameError

Fields

renameErrorMsg :: String

renameErrorLoc :: SrcLoc

Instances

Show RenameError

Typeable RenameError

Exception RenameError

Error RenameError

data RenameInfo

Gather all information about an renaming.

Constructors

RenameInfo

Fields

nameSupply :: Int

localBindings :: Bindings

visible :: Bindings

identDefinition :: AstAnnotation UniqueIdent

identUse :: AstAnnotation UniqueIdent

usedNames :: Set String

prologMode :: PrologMode

bindType :: BindType

Instances

Show RenameInfo

type ModuleFromRenaming = Module FromRenaming

A module that has gone through renaming

data FromRenaming

Tag that a module has gone through renameing.

Instances

Data FromRenaming

Typeable FromRenaming