Logs: freenode/#haskell
| 2021-03-31 09:43:54 | × | NinjaTrappeur quits (~ninja@unaffiliated/ninjatrappeur) (Ping timeout: 246 seconds) |
| 2021-03-31 09:45:29 | → | grumble joins (~Thunderbi@freenode/staff/grumble) |
| 2021-03-31 09:45:33 | → | CaptainIRS joins (9d3386ab@157.51.134.171) |
| 2021-03-31 09:45:38 | → | NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur) |
| 2021-03-31 09:48:40 | → | DavidEichmann joins (~david@47.27.93.209.dyn.plus.net) |
| 2021-03-31 09:50:36 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 2021-03-31 09:50:36 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-03-31 09:50:36 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 2021-03-31 09:51:32 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-03-31 09:55:28 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-03-31 09:57:07 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-31 09:57:26 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-31 09:59:05 | <CrabMan> | I am working on a project which uses stack. Thus, it has a stack.yaml file. I use ghc from nix-shell, thus I need to pass `--nix` to stack. I can either pass it as an argument or include it in stack.yaml. But stack.yaml is used by everyone on the team and thus it's bad to add `nix: enable: true` there. Is there some kind of local version of stack.yaml that's used only on my computer? |
| 2021-03-31 10:01:48 | → | egorbelibov joins (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) |
| 2021-03-31 10:02:06 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 2021-03-31 10:03:53 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) (Remote host closed the connection) |
| 2021-03-31 10:04:36 | → | egorbelibov joins (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) |
| 2021-03-31 10:04:58 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) (Remote host closed the connection) |
| 2021-03-31 10:06:06 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-31 10:07:38 | × | maroloccio quits (~marolocci@pousada3ja.mma.com.br) (Ping timeout: 240 seconds) |
| 2021-03-31 10:08:04 | → | rond_ joins (594020a1@89-64-32-161.dynamic.chello.pl) |
| 2021-03-31 10:09:09 | Xnuk- | is now known as Xnuk |
| 2021-03-31 10:11:18 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-03-31 10:13:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-31 10:14:12 | → | egorbelibov joins (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) |
| 2021-03-31 10:14:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-31 10:17:05 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 258 seconds) |
| 2021-03-31 10:19:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-03-31 10:20:00 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-31 10:20:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-31 10:22:04 | → | Guest41032 joins (~laudiacay@67.176.215.84) |
| 2021-03-31 10:24:27 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-31 10:24:42 | × | xourt quits (d4c620ea@212-198-32-234.rev.numericable.fr) (Ping timeout: 240 seconds) |
| 2021-03-31 10:24:50 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-03-31 10:26:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-03-31 10:26:43 | × | Guest41032 quits (~laudiacay@67.176.215.84) (Ping timeout: 268 seconds) |
| 2021-03-31 10:26:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-31 10:26:52 | → | sQVe joins (~sQVe@unaffiliated/sqve) |
| 2021-03-31 10:27:07 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-03-31 10:27:59 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-31 10:29:26 | × | Erutuon_ quits (~Erutuon@97-116-27-119.mpls.qwest.net) (Ping timeout: 260 seconds) |
| 2021-03-31 10:30:13 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-31 10:30:48 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) (Remote host closed the connection) |
| 2021-03-31 10:31:13 | → | egorbelibov joins (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) |
| 2021-03-31 10:31:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-31 10:32:15 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-31 10:33:41 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) (Remote host closed the connection) |
| 2021-03-31 10:36:22 | → | egorbelibov joins (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) |
| 2021-03-31 10:36:39 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) (Remote host closed the connection) |
| 2021-03-31 10:37:25 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-31 10:37:34 | → | egorbelibov joins (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) |
| 2021-03-31 10:37:38 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-03-31 10:37:39 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) (Remote host closed the connection) |
| 2021-03-31 10:38:03 | → | egorbelibov joins (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) |
| 2021-03-31 10:38:11 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) (Remote host closed the connection) |
| 2021-03-31 10:38:23 | × | yunusaydin quits (4eb8266d@78.184.38.109) (Quit: Connection closed) |
| 2021-03-31 10:38:43 | → | malumore joins (~malumore@151.62.117.70) |
| 2021-03-31 10:39:11 | → | egorbelibov joins (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) |
| 2021-03-31 10:40:43 | → | ph88 joins (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) |
| 2021-03-31 10:40:49 | <ph88> | hi all |
| 2021-03-31 10:41:02 | <ph88> | i have trouble to understand this compiler error https://bpa.st/X5DA could someone take a look ? |
| 2021-03-31 10:41:02 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:211f:91f5:87eb:894) (Remote host closed the connection) |
| 2021-03-31 10:41:58 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-03-31 10:42:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-03-31 10:42:50 | <tomsmeding> | ph88: what's the type of 'tryIOError'? |
| 2021-03-31 10:43:46 | <tomsmeding> | ph88: oh right, perhaps you need to 'lift' the result of 'throwError' |
| 2021-03-31 10:43:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-31 10:44:32 | <tomsmeding> | nah, that depends on the type of tryIOError |
| 2021-03-31 10:45:38 | × | ph88 quits (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-03-31 10:47:55 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:80c0:e61:5729:782) |
| 2021-03-31 10:48:04 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-31 10:49:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-31 10:49:18 | <ph88> | tomsmeding, hi, i got disconneted. saw you replied from the logs of this channel |
| 2021-03-31 10:49:36 | <ph88> | tryIOError :: IO a -> IO (Either IOError a) |
| 2021-03-31 10:49:47 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-31 10:49:53 | <tomsmeding> | how is tryIOError going to work in a non-IO monad then? it's only MonadIO, not real IO |
| 2021-03-31 10:50:04 | <tomsmeding> | I admit the error is inscrutable though :p |
| 2021-03-31 10:52:02 | <ph88> | https://bpa.st/26ZQ |
| 2021-03-31 10:52:32 | <tomsmeding> | ph88: in general tryIOError can't work on arbitrary MonadIO monads, I believe; e.g. the unliftio version, https://hackage.haskell.org/package/unliftio-0.2.14/docs/UnliftIO-Exception.html#v:tryIO , requires MonadUnliftIO which doesn't allow state in the transformer stack: https://hackage.haskell.org/package/unliftio-core-0.2.0.1/docs/Control-Monad-IO-Unlift.html#t:MonadUnliftIO |
| 2021-03-31 10:52:34 | <merijn> | tomsmeding: "liftIO . tryIOError"? :p |
| 2021-03-31 10:53:10 | <merijn> | eh |
| 2021-03-31 10:53:31 | <merijn> | ph88: That code example won't use MonadError |
| 2021-03-31 10:53:36 | <tomsmeding> | merijn: 'action' is in MonadIO, not in IO :p |
| 2021-03-31 10:53:45 | <merijn> | Or rather, it will |
| 2021-03-31 10:54:18 | <tomsmeding> | ph88: I think you can only make it work if 'action' is not of type 'm a' but of 'IO a', or more generically MonadUnliftIO m => m a but that won't help you much |
| 2021-03-31 10:54:21 | <merijn> | tomsmeding: I misunderstood what you mean |
| 2021-03-31 10:54:24 | <merijn> | *meant |
| 2021-03-31 10:54:41 | <merijn> | MonadUnliftIO is profoundly dangerous, tbh |
| 2021-03-31 10:55:13 | <tomsmeding> | the documentation for MonadUnliftIO states you can only really use it with ReaderT and IdentityT, in which case I guess it's safe? |
| 2021-03-31 10:55:16 | <tomsmeding> | haven't used it myself |
| 2021-03-31 10:55:36 | <merijn> | tomsmeding: The problem isn't "what is MonadUnliftIO" *that* is fine |
| 2021-03-31 10:55:48 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 258 seconds) |
| 2021-03-31 10:56:07 | <merijn> | tomsmeding: THe problem is that it is tempting for people to use the unlift stuff to run stuff in other threads/async |
| 2021-03-31 10:56:18 | <merijn> | But unliftIO doesn't handle that nicely at all |
| 2021-03-31 10:56:45 | <merijn> | For example, ResourceT is MonadUnliftIO, but when you introduce threads that ruins everything |
| 2021-03-31 10:57:17 | <tomsmeding> | so basically the problem is that people write instances of MonadUnliftIO that are thread-unsafe? |
| 2021-03-31 10:58:22 | <merijn> | Basically, the problem is that everyone who is not me or approved by me should be banned from writing concurrent code and threads >.< |
| 2021-03-31 10:58:42 | <tomsmeding> | 🤔 |
| 2021-03-31 10:59:25 | → | ephemient joins (uid407513@gateway/web/irccloud.com/x-kreuktrxowjvrjcm) |
| 2021-03-31 10:59:51 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
All times are in UTC.