Reword conditions for reflect and reify once more.

Author: facundominguez

jvm/CHANGELOG.md

@@ -22,9 +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]`.
+* `Reify`/`Reflect` were given an additional invariant.
+  The result and argument of `reflect` and `reify` shouldn't share any
+  direct JVM object references. This 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,8 +469,8 @@ 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
-  -- | Invariant: the argument and the result are distinct. That is, the result
-  -- and the argument share no direct JVM object references.
+  -- | Invariant: The result and the argument share no direct JVM object
+  -- references.
   reify :: J (Interp a) -> IO a
 
   default reify :: (Coercible a, Interp a ~ Ty a) => J (Interp a) -> IO a
@@ -480,8 +480,8 @@ class Interpretation a => Reify a where
 -- say, marshall a Haskell value to a Java object. Unlike coercing, in general
 -- reflection induces allocations and copies.
 class Interpretation a => Reflect a where
-  -- | Invariant: the argument and the result are distinct. That is, the result
-  -- and the argument share no direct JVM object references.
+  -- | Invariant: The result and the argument share no direct JVM object
+  -- references.
   reflect :: a -> IO (J (Interp a))
 
   default reflect :: (Coercible a, Interp a ~ Ty a) => a -> IO (J (Interp a))