Type Passing Semantics

(La.l(A:a array,i:int).

Typecase a of

int => wordsub(A,3)

bool => (wordsub(A,3 div 32)

& (1<<(3 mod 32))) <> 0)

[int] (A,3)

sub[int](A,3)

Typecase int of

int => wordsub(A,3)

bool => (wordsub(A,3 div 32)

& (1<<(3 mod 32))) <> 0

Previous slide

Next slide

Back to first slide

View graphic version