Newest at the top
| 2024-11-18 17:44:46 +0100 | <Leonard26> | yes, right, sorry I forgot '=D |
| 2024-11-18 17:44:05 +0100 | <ncf> | well obviously you need to call newFunc from main |
| 2024-11-18 17:43:23 +0100 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-11-18 17:41:51 +0100 | jespada_ | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-11-18 17:40:33 +0100 | <Leonard26> | You mean like so? https://paste.tomsmeding.com/5unyMRGn |
| 2024-11-18 17:39:47 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2024-11-18 17:37:36 +0100 | <ncf> | pass var as an argument |
| 2024-11-18 17:37:35 +0100 | alp | (~alp@2001:861:e3d6:8f80:568b:9761:243e:95b5) |
| 2024-11-18 17:35:29 +0100 | <Leonard26> | Like so https://paste.tomsmeding.com/IyjbMmtV |
| 2024-11-18 17:35:29 +0100 | <Leonard26> | I was asking myself if given the following line `var <- newTVarIO (1 :: Int)` one could then use it in a different function outside of main? |
| 2024-11-18 17:35:28 +0100 | <Leonard26> | I am trying to follow the tutorial/blog on ReaderT https://tech.fpcomplete.com/blog/2017/06/readert-design-pattern/ |
| 2024-11-18 17:35:28 +0100 | <Leonard26> | Hello! =D How are you? |
| 2024-11-18 17:35:20 +0100 | berberman | (~berberman@user/berberman) berberman |
| 2024-11-18 17:34:21 +0100 | killerstorm | (~killersto@224.225.60.94.rev.vodafone.pt) |
| 2024-11-18 17:33:15 +0100 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-11-18 17:32:13 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-18 17:29:17 +0100 | mari-estel | (~mari-este@user/mari-estel) (Remote host closed the connection) |
| 2024-11-18 17:29:16 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Ping timeout: 244 seconds) |
| 2024-11-18 17:27:33 +0100 | euleritian | (~euleritia@77.22.252.159) |
| 2024-11-18 17:27:16 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-11-18 17:26:54 +0100 | Leonard26 | (~Leonard26@49.236.26.53) |
| 2024-11-18 17:25:30 +0100 | Alleria | (~Alleria@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-18 17:22:52 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-18 17:21:43 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Client Quit) |
| 2024-11-18 17:21:31 +0100 | son0p | (~ff@2800:e6:4001:6cc3:2748:5c2a:65d9:57ac) son0p |
| 2024-11-18 17:20:07 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.4.2) |
| 2024-11-18 17:18:42 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) housemate |
| 2024-11-18 17:18:38 +0100 | <dolio> | You should probably check if UnliftedType omits other optimizations. E.G. does GHC still do constructed product returns for them? |
| 2024-11-18 17:17:32 +0100 | housemate | (~housemate@2a04:9dc0:0:162::5d91:d7ed) (Quit: Nothing to see here. I wasn't there.) |
| 2024-11-18 17:16:53 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-18 17:16:19 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2024-11-18 17:06:33 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-18 17:06:03 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-18 17:05:59 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-18 17:04:46 +0100 | Alleria | (~Alleria@user/alleria) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-11-18 16:57:35 +0100 | Alleria | (~Alleria@user/alleria) Alleria |
| 2024-11-18 16:56:23 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-11-18 16:55:52 +0100 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-11-18 16:55:04 +0100 | <Wygulmage> | I guess it operates at a less general level. |
| 2024-11-18 16:54:52 +0100 | <Wygulmage> | I assumed that GHC would unpack anything of `BoxedRep r`, regardless of whether `r` was lifted or unlifted. |
| 2024-11-18 16:54:08 +0100 | <dolio> | Certainly there's no reason you couldn't. |
| 2024-11-18 16:53:47 +0100 | <dolio> | I don't know. I guess they figured you wouldn't be unpacking unlifted data types into other types. |
| 2024-11-18 16:53:12 +0100 | <Wygulmage> | Huh. I wonder whether that's a bug or a feature. |
| 2024-11-18 16:52:07 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-11-18 16:51:33 +0100 | Alleria | (~Alleria@user/alleria) (Ping timeout: 276 seconds) |
| 2024-11-18 16:51:29 +0100 | <dolio> | But the UnliftedType version is: `floobnar = Up.G (Up.F 5# 6#)` |
| 2024-11-18 16:50:51 +0100 | <dolio> | When F is not UnliftedType, a G value ends up looking like: `floobnar = Up.G 5# 6#` |
| 2024-11-18 16:50:30 +0100 | euleritian | (~euleritia@ip4d16fc9f.dynamic.kabel-deutschland.de) |
| 2024-11-18 16:50:13 +0100 | <Wygulmage> | That is very good to know. |
| 2024-11-18 16:50:12 +0100 | euleritian | (~euleritia@176.2.4.196) (Read error: Connection reset by peer) |