Minnesota Extensible Language Tools Group

[silver:compiler:analysis:typechecking:core]

Contents of [silver:compiler:analysis:typechecking:core]:

Defined in this grammar:

inherited attribute contextLoc :: Location

Contained in grammar [silver:compiler:analysis:typechecking:core]. Defined at silver/compiler/analysis/typechecking/core/Context.sv line 7.

(Undocumented.)

inherited attribute contextSource :: String

Contained in grammar [silver:compiler:analysis:typechecking:core]. Defined at silver/compiler/analysis/typechecking/core/Context.sv line 8.

(Undocumented.)

monoid attribute contextErrors :: [Message]

Contained in grammar [silver:compiler:analysis:typechecking:core]. Defined at silver/compiler/analysis/typechecking/core/Context.sv line 9.

(Undocumented.)

threaded attribute downSubst, upSubst :: Substitution direction=left to right

Contained in grammar [silver:compiler:analysis:typechecking:core]. Defined at silver/compiler/analysis/typechecking/core/Project.sv line 10.

(Undocumented.)

inherited attribute finalSubst :: Substitution

Contained in grammar [silver:compiler:analysis:typechecking:core]. Defined at silver/compiler/analysis/typechecking/core/Project.sv line 13.

(Undocumented.)

synthesized attribute finalType :: Type

Contained in grammar [silver:compiler:analysis:typechecking:core]. Defined at silver/compiler/analysis/typechecking/core/Project.sv line 16.

(Undocumented.)

aspect default production top::Expr ::= {#aspect_default_production_silver:compiler:definition:core:Expr}

Contained in grammar [silver:compiler:analysis:typechecking:core]. Defined at silver/compiler/analysis/typechecking/core/Expr.sv line 17.

(Undocumented.)

synthesized attribute leftpp :: String

Contained in grammar [silver:compiler:analysis:typechecking:core]. Defined at silver/compiler/analysis/typechecking/core/Checking.sv line 5.

(Undocumented.)

synthesized attribute rightpp :: String

Contained in grammar [silver:compiler:analysis:typechecking:core]. Defined at silver/compiler/analysis/typechecking/core/Checking.sv line 6.

(Undocumented.)

synthesized attribute typeerror :: Boolean

Contained in grammar [silver:compiler:analysis:typechecking:core]. Defined at silver/compiler/analysis/typechecking/core/Checking.sv line 7.

(Undocumented.)

nonterminal TypeCheck

Contained in grammar [silver:compiler:analysis:typechecking:core]. Defined at silver/compiler/analysis/typechecking/core/Checking.sv line 7.

(Undocumented.)

abstract production check   (top::TypeCheck ::= l::Type r::Type )

Contained in grammar [silver:compiler:analysis:typechecking:core]. Defined at silver/compiler/analysis/typechecking/core/Checking.sv line 12.

(Undocumented.)

abstract production checkNonterminal   (top::TypeCheck ::= e::Env allowDecorableSkolems::Boolean l::Type )

Contained in grammar [silver:compiler:analysis:typechecking:core]. Defined at silver/compiler/analysis/typechecking/core/Checking.sv line 29.

(Undocumented.)

abstract production checkDecorated   (top::TypeCheck ::= l::Type )

Contained in grammar [silver:compiler:analysis:typechecking:core]. Defined at silver/compiler/analysis/typechecking/core/Checking.sv line 46.

(Undocumented.)

abstract production checkDecorable   (top::TypeCheck ::= e::Env l::Type )

Contained in grammar [silver:compiler:analysis:typechecking:core]. Defined at silver/compiler/analysis/typechecking/core/Checking.sv line 59.

(Undocumented.)