File tree Expand file tree Collapse file tree 6 files changed +7
-9
lines changed
src/linear-types/Foreign/JNI Expand file tree Collapse file tree 6 files changed +7
-9
lines changed Original file line number Diff line number Diff line change @@ -48,7 +48,7 @@ library
4848 jni >= 0.8 && < 0.9 ,
4949 jvm >= 0.6 && < 0.7 ,
5050 language-java >= 0.2 ,
51- linear-base == 0.1.1 ,
51+ linear-base == 0.1.0 ,
5252 mtl >= 2.2.1 ,
5353 process >= 1.2 ,
5454 text >= 1.2 ,
Original file line number Diff line number Diff line change @@ -44,7 +44,7 @@ library
4444 constraints >= 0.8 ,
4545 deepseq >= 1.4.2 ,
4646 inline-c >= 0.6 ,
47- linear-base == 0.1.1 ,
47+ linear-base == 0.1.0 ,
4848 singletons-base == 3.0 ,
4949 stm >= 2.3 ,
5050 text >= 1.2.3
Original file line number Diff line number Diff line change @@ -305,11 +305,12 @@ deleteGlobalRefNonFinalized o = liftPreludeIO (JNI.deleteGlobalRef o)
305305-- run in a thread where the reference is not valid.
306306newLocalRef :: (MonadIO m , Coercible o (J ty )) => o % 1 -> m (o , o )
307307newLocalRef = Unsafe. toLinear $ \ o ->
308- liftPreludeIO ((,) o . coerce . J <$> JNI. newLocalRef (unJ . coerce $ o))
308+ liftPreludeIO
309+ ((,) o . coerce . J <$> JNI. newLocalRef (unJ . coerce Prelude. $ o))
309310
310311deleteLocalRef :: (MonadIO m , Coercible o (J ty )) => o % 1 -> m ()
311312deleteLocalRef = Unsafe. toLinear $ \ o ->
312- liftPreludeIO (JNI. deleteLocalRef (unJ . coerce $ o))
313+ liftPreludeIO (JNI. deleteLocalRef (unJ . coerce Prelude. $ o))
313314
314315-- | Runs the given computation in a local frame, which ensures that
315316-- if it throws an exception, all live local references created during
Original file line number Diff line number Diff line change @@ -33,7 +33,7 @@ library
3333 distributed-closure >= 0.3 ,
3434 exceptions >= 0.8 ,
3535 jni >= 0.8.0 && < 0.9 ,
36- linear-base == 0.1.1 ,
36+ linear-base == 0.1.0 ,
3737 singletons >= 2.6 ,
3838 text >= 1.2 ,
3939 template-haskell,
Original file line number Diff line number Diff line change @@ -5,5 +5,3 @@ packages:
55 commit : b92e75ec81e646703c7bde4f578a7352ee34f1ad
66- github : ekmett/exceptions
77 commit : d7b742dc129790778f7b6d3347af80c8d69f8fcd
8- - github : tweag/linear-base
9- commit : ec0b5aa6dc89f1d7c7e368b7387e363a5062e52d
Original file line number Diff line number Diff line change @@ -8,8 +8,7 @@ packages:
88extra-deps :
99- github : tweag/distributed-closure
1010 commit : b92e75ec81e646703c7bde4f578a7352ee34f1ad
11- - github : tweag/linear-base
12- commit : ec0b5aa6dc89f1d7c7e368b7387e363a5062e52d
11+ - linear-base-0.1.0
1312
1413nix :
1514 shell-file : ./shell-stack.nix
You can’t perform that action at this time.
0 commit comments