elara

Safe Haskell	None
Language	GHC2024

Elara.AST.Phases.Renamed

Synopsis

data Renamed
data RenamedExpressionExtension loc
- = RenamedBinaryOperator (BinaryOperatorExtension loc Renamed)
- | RenamedInParens (InParensExtension loc Renamed)
data TypedLambdaParam v loc (p :: k) = TypedLambdaParam v (PatternMeta p loc)
type RenamedExpr = Expr SourceRegion Renamed
type RenamedExpr' = Expr' SourceRegion Renamed
type RenamedPattern = Pattern SourceRegion Renamed
type RenamedPattern' = Pattern' SourceRegion Renamed
type RenamedType = Type SourceRegion Renamed
type RenamedType' = Type' SourceRegion Renamed
type RenamedDeclaration = Declaration SourceRegion Renamed
type RenamedDeclaration' = Declaration' SourceRegion Renamed
type RenamedDeclarationBody = DeclarationBody SourceRegion Renamed
type RenamedDeclarationBody' = DeclarationBody' SourceRegion Renamed
type RenamedTypeDeclaration = TypeDeclaration SourceRegion Renamed
type RenamedBinaryOperator = BinaryOperator SourceRegion Renamed

Documentation

data Renamed Source #

Renamed AST stage. Key changes from Desugared: * All names are fully qualified or uniquified * List/Tuple expressions desugared to constructor applications * ListTupleCons patterns desugared to constructor patterns * Binary operators and InParens still present (removed at Shunt)

Instances

Instances details

ElaraPhase Renamed Source #

Instance details

Defined in Elara.AST.Phases.Renamed

Associated Types

type ValueOccurrence Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type ValueOccurrence Renamed loc = Locate loc (VarRef VarName)
type ConstructorOccurrence Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type ConstructorOccurrence Renamed loc = Locate loc (Qualified TypeName)
type TypeOccurrence Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type TypeOccurrence Renamed loc = Locate loc (Qualified TypeName)
type OperatorOccurrence Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type OperatorOccurrence Renamed loc = Locate loc (VarRef OpName)
type InfixedOccurrence Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type InfixedOccurrence Renamed loc = VarRef VarOrConName
type ValueBinder Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type ValueBinder Renamed loc = Locate loc (Unique VarName)
type TopValueBinder Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type TopValueBinder Renamed loc = Locate loc (Qualified VarName)
type TopTypeBinder Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type TopTypeBinder Renamed loc = Locate loc (Qualified TypeName)
type TypeVariable Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type TypeVariable Renamed loc = Locate loc (Unique LowerAlphaName)
type ConstructorBinder Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type ConstructorBinder Renamed loc = Locate loc (Qualified TypeName)
type LambdaBinder Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type LambdaBinder Renamed loc = TypedLambdaParam (Unique VarName) loc Renamed
type ExpressionMeta Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type ExpressionMeta Renamed loc = Maybe (Type loc Renamed)
type PatternMeta Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type PatternMeta Renamed loc = Maybe (Type loc Renamed)
type TypeMeta Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type TypeMeta Renamed loc = ()
type VariableExtension Renamed
Instance details Defined in Elara.AST.Phases.Renamed type VariableExtension Renamed = NoExtension
type LambdaExtension Renamed
Instance details Defined in Elara.AST.Phases.Renamed type LambdaExtension Renamed = NoExtension
type LetExtension Renamed
Instance details Defined in Elara.AST.Phases.Renamed type LetExtension Renamed = NoExtension
type ApplicationExtension Renamed
Instance details Defined in Elara.AST.Phases.Renamed type ApplicationExtension Renamed = NoExtension
type ConstructorNodeExtension Renamed
Instance details Defined in Elara.AST.Phases.Renamed type ConstructorNodeExtension Renamed = NoExtension
type ExpressionExtension Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type ExpressionExtension Renamed loc = RenamedExpressionExtension loc
type PatternExtension Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type PatternExtension Renamed loc = Void
type TypeSyntaxExtension Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type TypeSyntaxExtension Renamed loc = Void
type DeclBodyExtension Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type DeclBodyExtension Renamed loc = Void
type ValueDeclPatterns Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type ValueDeclPatterns Renamed loc = ()
type ValueDeclTypeAnnotation Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type ValueDeclTypeAnnotation Renamed loc = ()
type ValueDeclMetadata Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type ValueDeclMetadata Renamed loc = Maybe (Type loc Renamed)
type TypeDeclMetadata Renamed loc
Instance details Defined in Elara.AST.Phases.Renamed type TypeDeclMetadata Renamed loc = NoExtension

PrettyExtensions Renamed Source #

Instance details

Defined in Elara.AST.Phases.Renamed

Methods

prettyExpressionExtension :: (PrettyPhase Renamed, PrettyPhaseLoc Renamed loc) => ExpressionExtension Renamed loc -> Doc AnsiStyle Source #

prettyPatternExtension :: (PrettyPhase Renamed, PrettyPhaseLoc Renamed loc) => PatternExtension Renamed loc -> Doc AnsiStyle Source #

prettyTypeSyntaxExtension :: (PrettyPhase Renamed, PrettyPhaseLoc Renamed loc) => TypeSyntaxExtension Renamed loc -> Doc AnsiStyle Source #

prettyDeclBodyExtension :: (PrettyPhase Renamed, PrettyPhaseLoc Renamed loc) => DeclBodyExtension Renamed loc -> Doc AnsiStyle Source #

PrettyPhase Renamed Source #

Instance details

Defined in Elara.AST.Phases.Renamed

Methods

prettyValueOccurrence :: PrettyPhaseLoc Renamed loc => ValueOccurrence Renamed loc -> Doc AnsiStyle Source #

prettyConstructorOccurrence :: PrettyPhaseLoc Renamed loc => ConstructorOccurrence Renamed loc -> Doc AnsiStyle Source #

prettyTypeOccurrence :: PrettyPhaseLoc Renamed loc => TypeOccurrence Renamed loc -> Doc AnsiStyle Source #

prettyOperatorOccurrence :: PrettyPhaseLoc Renamed loc => OperatorOccurrence Renamed loc -> Doc AnsiStyle Source #

prettyInfixedOccurrence :: PrettyPhaseLoc Renamed loc => InfixedOccurrence Renamed loc -> Doc AnsiStyle Source #

prettyValueBinder :: PrettyPhaseLoc Renamed loc => ValueBinder Renamed loc -> Doc AnsiStyle Source #

prettyTopValueBinder :: PrettyPhaseLoc Renamed loc => TopValueBinder Renamed loc -> Doc AnsiStyle Source #

prettyTopTypeBinder :: PrettyPhaseLoc Renamed loc => TopTypeBinder Renamed loc -> Doc AnsiStyle Source #

prettyTypeVariable :: PrettyPhaseLoc Renamed loc => TypeVariable Renamed loc -> Doc AnsiStyle Source #

prettyConstructorBinder :: PrettyPhaseLoc Renamed loc => ConstructorBinder Renamed loc -> Doc AnsiStyle Source #

prettyLambdaBinder :: (PrettyPhaseLoc Renamed loc, PrettyExtensions Renamed) => LambdaBinder Renamed loc -> Doc AnsiStyle Source #

prettyExpressionMeta :: (PrettyPhaseLoc Renamed loc, PrettyExtensions Renamed) => ExpressionMeta Renamed loc -> Maybe (Doc AnsiStyle) Source #

prettyPatternMeta :: (PrettyPhaseLoc Renamed loc, PrettyExtensions Renamed) => PatternMeta Renamed loc -> Maybe (Doc AnsiStyle) Source #

prettyTypeMeta :: TypeMeta Renamed loc -> Maybe (Doc AnsiStyle) Source #

prettyValueDeclPatterns :: (PrettyPhaseLoc Renamed loc, PrettyExtensions Renamed) => ValueDeclPatterns Renamed loc -> Doc AnsiStyle Source #

InterpretConstExpr Renamed Source #

Instance details

Defined in Elara.ConstExpr

Methods

interpretExprExtension :: ExpressionExtension Renamed loc -> Maybe ConstVal Source #

SupportsQuery 'QueryModuleByName Renamed Source #

Instance details

Defined in Elara.Rename

Associated Types

type QuerySpecificEffectsOf 'QueryModuleByName Renamed
Instance details Defined in Elara.Rename type QuerySpecificEffectsOf 'QueryModuleByName Renamed = '[Error RenameError]

Methods

query :: QueryArgsOf 'QueryModuleByName Renamed -> Eff (QueryEffectsOf 'QueryModuleByName Renamed) (QueryReturnTypeOf 'QueryModuleByName Renamed) Source #

PhaseCoerce (Exposing SourceRegion Renamed) (Exposing SourceRegion Shunted) Source #

Instance details

Defined in Elara.Shunt

Methods

phaseCoerce :: Exposing SourceRegion Renamed -> Exposing SourceRegion Shunted Source #

PhaseCoerce (Exposition SourceRegion Renamed) (Exposition SourceRegion Shunted) Source #

Instance details

Defined in Elara.Shunt

Methods

phaseCoerce :: Exposition SourceRegion Renamed -> Exposition SourceRegion Shunted Source #

PhaseCoerce (Import SourceRegion Renamed) (Import SourceRegion Shunted) Source #

Instance details

Defined in Elara.Shunt

Methods

phaseCoerce :: Import SourceRegion Renamed -> Import SourceRegion Shunted Source #

PhaseCoerce (Import' SourceRegion Renamed) (Import' SourceRegion Shunted) Source #

Instance details

Defined in Elara.Shunt

Methods

phaseCoerce :: Import' SourceRegion Renamed -> Import' SourceRegion Shunted Source #

PhaseCoerce (Type SourceRegion Renamed) (Type SourceRegion Shunted) Source #

Instance details

Defined in Elara.Shunt

Methods

phaseCoerce :: Type SourceRegion Renamed -> Type SourceRegion Shunted Source #

PhaseCoerce (Type' SourceRegion Renamed) (Type' SourceRegion Shunted) Source #

Instance details

Defined in Elara.Shunt

Methods

phaseCoerce :: Type' SourceRegion Renamed -> Type' SourceRegion Shunted Source #

PhaseCoerce (TypeDeclaration SourceRegion Renamed) (TypeDeclaration SourceRegion Shunted) Source #

Instance details

Defined in Elara.Shunt

Methods

phaseCoerce :: TypeDeclaration SourceRegion Renamed -> TypeDeclaration SourceRegion Shunted Source #

type ApplicationExtension Renamed Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type ApplicationExtension Renamed = NoExtension

type ConstructorNodeExtension Renamed Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type ConstructorNodeExtension Renamed = NoExtension

type LambdaExtension Renamed Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type LambdaExtension Renamed = NoExtension

type LetExtension Renamed Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type LetExtension Renamed = NoExtension

type VariableExtension Renamed Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type VariableExtension Renamed = NoExtension

type QuerySpecificEffectsOf 'QueryModuleByName Renamed Source #

Instance details

Defined in Elara.Rename

type QuerySpecificEffectsOf 'QueryModuleByName Renamed = '[Error RenameError]

type ConstructorBinder Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type ConstructorBinder Renamed loc = Locate loc (Qualified TypeName)

type ConstructorOccurrence Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type ConstructorOccurrence Renamed loc = Locate loc (Qualified TypeName)

type DeclBodyExtension Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type DeclBodyExtension Renamed loc = Void

type ExpressionExtension Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type ExpressionExtension Renamed loc = RenamedExpressionExtension loc

type ExpressionMeta Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type ExpressionMeta Renamed loc = Maybe (Type loc Renamed)

type InfixedOccurrence Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type InfixedOccurrence Renamed loc = VarRef VarOrConName

type LambdaBinder Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type LambdaBinder Renamed loc = TypedLambdaParam (Unique VarName) loc Renamed

type OperatorOccurrence Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type OperatorOccurrence Renamed loc = Locate loc (VarRef OpName)

type PatternExtension Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type PatternExtension Renamed loc = Void

type PatternMeta Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type PatternMeta Renamed loc = Maybe (Type loc Renamed)

type TopTypeBinder Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type TopTypeBinder Renamed loc = Locate loc (Qualified TypeName)

type TopValueBinder Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type TopValueBinder Renamed loc = Locate loc (Qualified VarName)

type TypeDeclMetadata Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type TypeDeclMetadata Renamed loc = NoExtension

type TypeMeta Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type TypeMeta Renamed loc = ()

type TypeOccurrence Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type TypeOccurrence Renamed loc = Locate loc (Qualified TypeName)

type TypeSyntaxExtension Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type TypeSyntaxExtension Renamed loc = Void

type TypeVariable Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type TypeVariable Renamed loc = Locate loc (Unique LowerAlphaName)

type ValueBinder Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type ValueBinder Renamed loc = Locate loc (Unique VarName)

type ValueDeclMetadata Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type ValueDeclMetadata Renamed loc = Maybe (Type loc Renamed)

type ValueDeclPatterns Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type ValueDeclPatterns Renamed loc = ()

type ValueDeclTypeAnnotation Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type ValueDeclTypeAnnotation Renamed loc = ()

type ValueOccurrence Renamed loc Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type ValueOccurrence Renamed loc = Locate loc (VarRef VarName)

data RenamedExpressionExtension loc Source #

Renamed-specific expression syntax (only BinOp + InParens survive)

Constructors

RenamedBinaryOperator (BinaryOperatorExtension loc Renamed)
RenamedInParens (InParensExtension loc Renamed)

Instances

Instances details

Generic (RenamedExpressionExtension loc) Source #

Instance details

Defined in Elara.AST.Phases.Renamed

Associated Types

type Rep (RenamedExpressionExtension loc)

Instance details

Defined in Elara.AST.Phases.Renamed

type Rep (RenamedExpressionExtension loc) = D1 ('MetaData "RenamedExpressionExtension" "Elara.AST.Phases.Renamed" "elara-0.1.0-inplace" 'False) (C1 ('MetaCons "RenamedBinaryOperator" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BinaryOperatorExtension loc Renamed))) :+: C1 ('MetaCons "RenamedInParens" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InParensExtension loc Renamed))))

Methods

from :: RenamedExpressionExtension loc -> Rep (RenamedExpressionExtension loc) x #

to :: Rep (RenamedExpressionExtension loc) x -> RenamedExpressionExtension loc #

CoreConstraint Show loc Renamed => Show (RenamedExpressionExtension loc) Source #

Instance details

Defined in Elara.AST.Instances

Methods

showsPrec :: Int -> RenamedExpressionExtension loc -> ShowS #

show :: RenamedExpressionExtension loc -> String #

showList :: [RenamedExpressionExtension loc] -> ShowS #

CoreConstraint Eq loc Renamed => Eq (RenamedExpressionExtension loc) Source #

Instance details

Defined in Elara.AST.Instances

Methods

(==) :: RenamedExpressionExtension loc -> RenamedExpressionExtension loc -> Bool #

(/=) :: RenamedExpressionExtension loc -> RenamedExpressionExtension loc -> Bool #

CoreConstraint Ord loc Renamed => Ord (RenamedExpressionExtension loc) Source #

Instance details

Defined in Elara.AST.Instances

Methods

compare :: RenamedExpressionExtension loc -> RenamedExpressionExtension loc -> Ordering #

(<) :: RenamedExpressionExtension loc -> RenamedExpressionExtension loc -> Bool #

(<=) :: RenamedExpressionExtension loc -> RenamedExpressionExtension loc -> Bool #

(>) :: RenamedExpressionExtension loc -> RenamedExpressionExtension loc -> Bool #

(>=) :: RenamedExpressionExtension loc -> RenamedExpressionExtension loc -> Bool #

max :: RenamedExpressionExtension loc -> RenamedExpressionExtension loc -> RenamedExpressionExtension loc #

min :: RenamedExpressionExtension loc -> RenamedExpressionExtension loc -> RenamedExpressionExtension loc #

type Rep (RenamedExpressionExtension loc) Source #

Instance details

Defined in Elara.AST.Phases.Renamed

type Rep (RenamedExpressionExtension loc) = D1 ('MetaData "RenamedExpressionExtension" "Elara.AST.Phases.Renamed" "elara-0.1.0-inplace" 'False) (C1 ('MetaCons "RenamedBinaryOperator" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (BinaryOperatorExtension loc Renamed))) :+: C1 ('MetaCons "RenamedInParens" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (InParensExtension loc Renamed))))

data TypedLambdaParam v loc (p :: k) Source #

Lambda binder with optional type annotation, used from Renamed onward

Constructors

TypedLambdaParam v (PatternMeta p loc)

Instances

Instances details

Generic (TypedLambdaParam v loc p) Source #

Instance details

Defined in Elara.AST.Types

Associated Types

type Rep (TypedLambdaParam v loc p)

Instance details

Defined in Elara.AST.Types

type Rep (TypedLambdaParam v loc p) = D1 ('MetaData "TypedLambdaParam" "Elara.AST.Types" "elara-0.1.0-inplace" 'False) (C1 ('MetaCons "TypedLambdaParam" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 v) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PatternMeta p loc))))

Methods

from :: TypedLambdaParam v loc p -> Rep (TypedLambdaParam v loc p) x #

to :: Rep (TypedLambdaParam v loc p) x -> TypedLambdaParam v loc p #

(Show v, Show (PatternMeta p loc)) => Show (TypedLambdaParam v loc p) Source #

Instance details

Defined in Elara.AST.Instances

Methods

showsPrec :: Int -> TypedLambdaParam v loc p -> ShowS #

show :: TypedLambdaParam v loc p -> String #

showList :: [TypedLambdaParam v loc p] -> ShowS #

(Eq v, Eq (PatternMeta p loc)) => Eq (TypedLambdaParam v loc p) Source #

Instance details

Defined in Elara.AST.Instances

Methods

(==) :: TypedLambdaParam v loc p -> TypedLambdaParam v loc p -> Bool #

(/=) :: TypedLambdaParam v loc p -> TypedLambdaParam v loc p -> Bool #

(Ord v, Ord (PatternMeta p loc)) => Ord (TypedLambdaParam v loc p) Source #

Instance details

Defined in Elara.AST.Instances

Methods

compare :: TypedLambdaParam v loc p -> TypedLambdaParam v loc p -> Ordering #

(<) :: TypedLambdaParam v loc p -> TypedLambdaParam v loc p -> Bool #

(<=) :: TypedLambdaParam v loc p -> TypedLambdaParam v loc p -> Bool #

(>) :: TypedLambdaParam v loc p -> TypedLambdaParam v loc p -> Bool #

(>=) :: TypedLambdaParam v loc p -> TypedLambdaParam v loc p -> Bool #

max :: TypedLambdaParam v loc p -> TypedLambdaParam v loc p -> TypedLambdaParam v loc p #

min :: TypedLambdaParam v loc p -> TypedLambdaParam v loc p -> TypedLambdaParam v loc p #

type Rep (TypedLambdaParam v loc p) Source #

Instance details

Defined in Elara.AST.Types

type Rep (TypedLambdaParam v loc p) = D1 ('MetaData "TypedLambdaParam" "Elara.AST.Types" "elara-0.1.0-inplace" 'False) (C1 ('MetaCons "TypedLambdaParam" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 v) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PatternMeta p loc))))

type RenamedExpr = Expr SourceRegion Renamed Source #

type RenamedExpr' = Expr' SourceRegion Renamed Source #

type RenamedPattern = Pattern SourceRegion Renamed Source #

type RenamedPattern' = Pattern' SourceRegion Renamed Source #

type RenamedType = Type SourceRegion Renamed Source #

type RenamedType' = Type' SourceRegion Renamed Source #

type RenamedDeclaration = Declaration SourceRegion Renamed Source #

type RenamedDeclaration' = Declaration' SourceRegion Renamed Source #

type RenamedDeclarationBody = DeclarationBody SourceRegion Renamed Source #

type RenamedDeclarationBody' = DeclarationBody' SourceRegion Renamed Source #

type RenamedTypeDeclaration = TypeDeclaration SourceRegion Renamed Source #

type RenamedBinaryOperator = BinaryOperator SourceRegion Renamed Source #