Welcome to The PL-Detective

User id

Input (Click here for syntax and here for description of options)

Action:

Scoping:

Type Of:

Array Type Equality:

Procedure Type Equality:

Subrange Type Equality:

Type Decl Equality:

Type Assignability:

Type Passability:

Type Operands:

Type subscript:

Subtyping:

Parameter Passing:

Arg Evaluation Order:

Logical Short Circuit: