previous up next
Go backward to Heterogeneous Arrays
Go up to Top
Go forward to Heterogeneous Arrays
RISC-Linz logo

Heterogeneous Arrays

access-value: Nat* -> Denotable-value ->
    Denotable-value
access-value = lambda nlist.lambda d.
    null nlist -> d
    [] (cases d of
        isNatlocn(l) -> inErrvalue()
        ...
        [] isArray(map, lower, upper) ->
            let n = hd nlist
            in (n lessthan lower)
                or (n greaterthan upper) ->
                inErrvalue() []
                (access-value (tl nlist) (map n))
        ...
    end)


Author: Wolfgang Schreiner
Last Modification: November 18, 1997

previous up next