• Type SampleTuple

Outstanding Issues

• ListOfOutstandingIssues

• Type SampleINT

Type Conversion

• SerialisedScalarFormat

• Type SampleCollection

Synthesis of Type Conversion between Non-scalar Types

• SynthesisOfNonScalarTypeConversion

Various Examples of Library Defined Types

These definitions are for illustration only, they are not meant to become part of the standard library.

• Type SampleUINT
• Type SampleINT
• Type SampleVector

Examples of Library Defined Integer Types

• Type SampleUINT
• Type SampleINT

• type STRING
• type UNISTRING?

String Types

• [type STRING]
• [type UNISTRING]

Non-Negative Subset Number Types

Possible alternative ways to derive non-negative subsets of numeric types:

Possible alternative ways to derive 0 .. x subsets of numeric types:

• DerivedNumericSubsetTypes

Natural Number Types

The following integer subset types may become part of the standard library:

• Type NATURAL
• Type LONGNAT

• Type LONGCOMPLEX

Additional Pervasive Types

The following pervasive types may or may not be desirable:

• Type UNSIGNED
• Type SIZEINT

Complex Types

The definition parts of modules COMPLEX and LONGCOMPLEX need to be amended to allow operator binding.

• Type COMPLEX
• Type LONGCOMPLEX

• Type COMPLEX