search

icicle-lang / icicle-ambiata

A streaming query language.
BSD 3-Clause "New" or "Revised" License
57 stars 11 forks source link

Array index is unsafe #586

Closed amosr closed 6 years ago

amosr commented 7 years ago

At the moment in Source,

index :: Array a -> Int -> a

but this should be

index :: Array a -> Int -> Possibly a

and the conversion to Core should check that it's a valid index, similar to map_insert.