SML# Document Version 4.0.0

23 Declarations of the core language and their interfaces 23.2 Function declarations :

\,\langle

\rangle\,

\,\langle

funDecl

\rangle\,

23.4 Type declaration :

\,\langle

typDecl

\rangle\,

23.3 datatype declaration : $\,\langle$ datatypeDecl $\rangle\,$

datatype declarations define new type constructors. Its syntax is given below.

$\,\langle$ datatypeDecl $\rangle\,$	::=	datatype $\,\langle$ datbind $\rangle\,$ $($ withtype $\,\langle$ tybind $\rangle\,$ $)?$
$\,\langle$ datbind $\rangle\,$	::=	$($ $\,\langle$ tyvarSeq $\rangle\,$ $)?$ $\,\langle$ tycon $\rangle\,$ = $\,\langle$ conbind $\rangle\,$ $($ and $\,\langle$ datbind $\rangle\,$ $)?$
$\,\langle$ conbind $\rangle\,$	::=	$($ op $)?$ $\,\langle$ vid $\rangle\,$ $($ of $\,\langle$ ty $\rangle\,$ $)?$ $($ \| $\,\langle$ conbind $\rangle\,$ $)?$
$\,\langle$ tybind $\rangle\,$	::=	$\,\langle$ tyvarSeq $\rangle\,$ $\,\langle$ tycon $\rangle\,$ = $\,\langle$ ty $\rangle\,$ $($ and $\,\langle$ tybind $\rangle\,$ $)?$

The set of type constructor names $\,\langle$ tycon $\rangle\,$ must be pair-wise distinct, and the data constructor names in the same $\,\langle$ conbind $\rangle\,$ must be pair-wise distinct. This defines the set of mutually recursive new type constructors $\,\langle$ tycon $\rangle\,$ , and data constructors $\,\langle$ vid $\rangle\,$ . If $\,\langle$ tycon $\rangle\,$ has optional $($ $\,\langle$ tyvarSeq $\rangle\,$ $)?$ declaration, then it is a polymorphic type constructor with type parameters $\,\langle$ tyvarSeq $\rangle\,$ . The scope of $\,\langle$ tycon $\rangle\,$ include the entire $\,\langle$ datatypeDecl $\rangle\,$ .

23.3.1 datatype declaration interface

Interface of datatype declaration is either datatype specification or opaque type specification. Syntax of datatype specification is the same as datatype declarations. Opaque type specification has the following syntax.

$\,\langle$ opequeTypeSpec $\rangle\,$	::=	type $($ $\,\langle$ tyvarSeq $\rangle\,$ $)?$ $\,\langle$ tycon $\rangle\,$ ( = $\,\langle$ runtimeTypeSpec $\rangle\,$ )
$\,\langle$ runtimeTypeSpec $\rangle\,$	:=	unit $\|$ contag $\|$ boxed

A datatype specification defines the type constructors and data constructors of the corresponding datatype declaration, and makes them available to the compilation units that reference this interface through _require. An opaque type specification must defines the type constructor of the corresponding datatype declaration as an opaque type, and makes it available to the compilation units that reference this interface through _require. The operand of a opaque type specification specifies the runtime representation of values of the type. It is either unit, contag, or boxed. unit and contag indicates that all the datatype constructors have no argument. unit indicates that the type consists only of a single constructor. contag means that there are multiple constructors. boxed indicates that the runtime representation is a pointer. This must be specified for a datatype constructor that has a constructor with augment.

23.3.2 Examples

The following are examples of datatype declarations and their interface.

Data.sml file: datatype ’a list = nil | :: of ’a * ’a list
datatype ’a queue = QUEUE of ’a list * ’a list
Data.smi file: datatype ’a list = nil | :: of ’a * ’a list
type ’a queue (= boxed)

23.3 datatype declaration : ⟨datatypeDecl⟩

23.3.1 datatype declaration interface

23.3.2 Examples

23.3 datatype declaration : $\,\langle$ datatypeDecl $\rangle\,$