Arlen Cox comments

Repositories
Issues
Comments

Results 2 comments of


                                            Arlen Cox

ocamlfind won't build with ocamljava

I didn't. I will try that. Is there a reason why these interfaces cannot make consistent assumptions?

Ungrounded variables cannot be grounded by the magic sets transform

> we cannot assume that all programs with ungrounded variables will become programs with grounded variables after applying the magic-set transform Of course not! But this is why I think...