Intensional Type Analysis

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

Typecase ’a of

int => wordsub(A,i)

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

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

A:int Array

B:bool Array

Subscripting depends upon the type of the elements of A

Previous slide

Next slide

Back to first slide

View graphic version