search

tweag / inline-java

Haskell/Java interop via inline Java code in Haskell modules.
BSD 3-Clause "New" or "Revised" License
229 stars 15 forks source link

Fix Reify and reflect for lists of references. Fixes #102 #103

Closed facundominguez closed 6 years ago

mboes commented 6 years ago

I propose the following invariant instead:

Invariant: the argument and the result are distinct. That is, the result and the argument share no direct JVM object references.