laurent.orseau
2020-9-20 12:06:25

Would it be enough to (request a) guarantee that for all provided forms, calling the form twice with the same arguments but possibly with 2 different contexts always produces the same result?


samth
2020-9-20 12:18:42

Maybe that’s the right phrasing for the guarantee if you want to add an unsafe annotation, but I’m not sure.


shu--hung
2020-9-20 18:39:58

Some uses include racket/dict, data/enumerate[/lib] and pict. Those usages of ->i are not mentioned in the docs though. https://github.com/racket/racket/blob/master/racket/collects/racket/dict.rkt#L104 https://github.com/racket/data/blob/master/data-enumerate-lib/data/enumerate.rkt#L19 https://github.com/racket/pict/blob/master/pict-lib/pict/main.rkt#L83

but yes, dependent contracts are rare.