morganstanley / hobbes

A language and an embedded JIT compiler

Home Page:http://hobbes.readthedocs.io/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

add boundary checks to element :: (Array xs x) => (xs,long,long) -> [x]

smunix opened this issue · comments

Isn't that just a bug? There's nothing about the type that excludes a safe result, unlike element. Why build ceremony/scaffolding around a bug?

Originally posted by @kthielen in #372 (comment)

Also remove elementsM from class Array