Transformation of Applicative Specifications into Imperative ...

C.1. FORMAL SPECIFICATION OF THE TRANSFORMER
→ Unknown
end,
→ Unknown
end,
/∗Returns the expected type of the components
of a list expression.∗/
/∗
Arguments:
=======
et: the expected type of the list expression
Results:
=====
ExpType: the expected type of the componenets
of the list expression
∗/
getListType : ExpType → ExpType
getListType(et) ≡
case et of
Known(te) →
case te of
TypeExprList(tes) →
case tes of
FiniteListTypeExpr(fse) → Known(fse),
InfiniteListTypeExpr(ise) → Known(ise)
end,
→ Unknown
end,
→ Unknown
end,
/∗Returns the expected types of the components
of a map expression.∗/
/∗
Arguments:
=======
et: the expected type of the map expression
Results:
=====
MapType: the expected type of the components
of the map expression
∗/
getMapType : ExpType → MapType
getMapType(et) ≡
233