Stop relying on implicit capture in effects
commit44cc9957bfd8ef8b4b0044655707f10a1547da0d
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateSun 22 Mar 2015, 10:46 (12 years ago)
parentf92d573
libs/effects/Effect/File.idr+4−3
@@ -117,9 +117,10 @@ FILE_IO t = MkEff t FileIO
117117||| @ m The file mode.
118118open : (fname : String)
119119 -> (m : Mode)
120− -> { [FILE_IO ()] ==> [FILE_IO (if result
121− then OpenFile m
122− else ())] } Eff Bool
120+ -> { [FILE_IO ()] ==> {result}
121+ [FILE_IO (if result
122+ then OpenFile m
123+ else ())] } Eff Bool
123124open f m = call $ Open f m
124125
125126