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

Author: facundominguez

jvm/CHANGELOG.md

@@ -22,6 +22,10 @@ The format is based on [Keep a Changelog](http://keepachangelog.com/).
 * The `Reify`/`Reflect` instances for `()` is now mapped to
   a *serializable* small JVM object. This is a more useful instance
   for sparkle users.
+* `Reify`/`Reflect` were given additional pre and post conditions.
+  The lifetimes of the marshaled values are disentangled now, which
+  fixes memory errors in the instances of `[J ty]`.
+  [#102](https://github.com/tweag/inline-java/pull/102)
 
 ## [0.3.0] - 2017-08-31
 

jvm/src/Language/Java.hs

@@ -469,19 +469,22 @@ class (SingI (Interp a), IsReferenceType (Interp a)) => Interpretation (a :: k)
 -- say, unmarshall a Java object to a Haskell value. Unlike coercing, in general
 -- reifying induces allocations and copies.
 class Interpretation a => Reify a where
+  -- | Precondition: The input reference is valid only until reify returns.
   reify :: J (Interp a) -> IO a
 
   default reify :: (Coercible a, Interp a ~ Ty a) => J (Interp a) -> IO a
-  reify x = return (unsafeUncoerce (JObject x))
+  reify x = unsafeUncoerce . JObject <$> (newLocalRef x :: IO (J (Ty a)))
 
 -- | Inject a concrete Haskell value into the space of Java objects. That is to
 -- say, marshall a Haskell value to a Java object. Unlike coercing, in general
 -- reflection induces allocations and copies.
 class Interpretation a => Reflect a where
+  -- | Postcondition: The input value remains valid if the output reference is
+  -- deleted.
   reflect :: a -> IO (J (Interp a))
 
   default reflect :: (Coercible a, Interp a ~ Ty a) => a -> IO (J (Interp a))
-  reflect x = return (jobject x)
+  reflect x = newLocalRef (jobject x)
 
 #if ! (__GLASGOW_HASKELL__ == 800 && __GLASGOW_HASKELL_PATCHLEVEL1__ == 1)
 reifyMVector