feldspar-compiler-0.3.2: Compiler for the Feldspar language

Feldspar.Compiler.Imperative.Semantics

Documentation

class (Show (ProcedureInfo t), Eq (ProcedureInfo t), Show (BlockInfo t), Eq (BlockInfo t), Show (ProgramInfo t), Eq (ProgramInfo t), Show (EmptyInfo t), Eq (EmptyInfo t), Show (PrimitiveInfo t), Eq (PrimitiveInfo t), Show (SequenceInfo t), Eq (SequenceInfo t), Show (BranchInfo t), Eq (BranchInfo t), Show (SequentialLoopInfo t), Eq (SequentialLoopInfo t), Show (ParallelLoopInfo t), Eq (ParallelLoopInfo t), Show (FormalParameterInfo t), Eq (FormalParameterInfo t), Show (LocalDeclarationInfo t), Eq (LocalDeclarationInfo t), Show (ExpressionInfo t), Eq (ExpressionInfo t), Show (ConstantInfo t), Eq (ConstantInfo t), Show (FunctionCallInfo t), Eq (FunctionCallInfo t), Show (LeftValueInfo t), Eq (LeftValueInfo t), Show (ArrayElemReferenceInfo t), Eq (ArrayElemReferenceInfo t), Show (InstructionInfo t), Eq (InstructionInfo t), Show (AssignmentInfo t), Eq (AssignmentInfo t), Show (ProcedureCallInfo t), Eq (ProcedureCallInfo t), Show (ActualParameterInfo t), Eq (ActualParameterInfo t), Show (IntConstantInfo t), Eq (IntConstantInfo t), Show (FloatConstantInfo t), Eq (FloatConstantInfo t), Show (BoolConstantInfo t), Eq (BoolConstantInfo t), Show (ArrayConstantInfo t), Eq (ArrayConstantInfo t), Show (VariableInfo t), Eq (VariableInfo t)) => SemanticInfo t Source