Logs: liberachat/#haskell
| 2021-06-18 07:54:45 | ← | raek parts (~raek@2001:9b1:efe:3200:d250:99ff:fec0:e153) () |
| 2021-06-18 07:56:29 | → | warnz joins (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) |
| 2021-06-18 07:57:37 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 07:59:03 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-06-18 08:00:27 | → | neceve joins (~quassel@2a02:c7f:607e:d600:a95a:ecd2:e57a:3130) |
| 2021-06-18 08:01:11 | × | warnz quits (~warnz@2600:1700:77c0:5610:7144:467c:eae6:37e7) (Ping timeout: 268 seconds) |
| 2021-06-18 08:02:05 | × | Bartosz quits (~textual@24.35.90.211) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-18 08:02:18 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-18 08:02:28 | → | boxscape joins (~boxscape@user/boxscape) |
| 2021-06-18 08:03:20 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-06-18 08:03:38 | → | fef joins (~thedawn@user/thedawn) |
| 2021-06-18 08:03:41 | <hololeap> | just curious, is there a way to validate a string literal during compile time? |
| 2021-06-18 08:04:19 | <dminuoso> | Yes |
| 2021-06-18 08:04:22 | <nitrix> | Stare at it intensely :3 |
| 2021-06-18 08:04:33 | <dminuoso> | hololeap: merjin has a package for that. |
| 2021-06-18 08:04:35 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-18 08:04:48 | <dminuoso> | https://hackage.haskell.org/package/validated-literals |
| 2021-06-18 08:04:52 | <Taneb> | I'd imagine it'd need template haskell or quasiquotes or similar |
| 2021-06-18 08:04:59 | <dminuoso> | It does |
| 2021-06-18 08:05:03 | <dibblego> | not trees, but lists, https://hackage.haskell.org/package/separated |
| 2021-06-18 08:05:24 | <hololeap> | dminuoso: neat, thanks |
| 2021-06-18 08:06:33 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-06-18 08:09:05 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 2021-06-18 08:09:21 | → | qbt joins (~edun@user/edun) |
| 2021-06-18 08:09:31 | × | hendursa1 quits (~weechat@user/hendursaga) (Ping timeout: 252 seconds) |
| 2021-06-18 08:09:51 | → | hughjfchen joins (~hughjfche@vmi556545.contaboserver.net) |
| 2021-06-18 08:10:35 | × | hughjfchen quits (~hughjfche@vmi556545.contaboserver.net) (Client Quit) |
| 2021-06-18 08:12:06 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-18 08:15:16 | → | hegstal joins (~hegstal@2a02:c7f:7604:8a00:f9a1:6a30:5a54:d88f) |
| 2021-06-18 08:16:23 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-06-18 08:17:14 | → | Pickchea joins (~private@user/pickchea) |
| 2021-06-18 08:17:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-06-18 08:17:41 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-18 08:18:02 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 252 seconds) |
| 2021-06-18 08:18:40 | → | img joins (~img@user/img) |
| 2021-06-18 08:18:49 | → | chaosite joins (~chaosite@user/chaosite) |
| 2021-06-18 08:20:24 | → | nanoc joins (~nanocoast@p200300e127264d00c53eefe97e39bc17.dip0.t-ipconnect.de) |
| 2021-06-18 08:21:05 | × | qbt quits (~edun@user/edun) (Quit: Leaving) |
| 2021-06-18 08:21:32 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c962:f999:5484:e62b) (Remote host closed the connection) |
| 2021-06-18 08:26:06 | <hololeap> | dibblego: https://hackage.haskell.org/package/separated -- i'm staring at this and I really don't know how to use it or what it's for |
| 2021-06-18 08:27:10 | <dibblego> | it's a list of elements of alternating type |
| 2021-06-18 08:29:52 | <hololeap> | ok, i see it now |
| 2021-06-18 08:30:10 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 08:34:18 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 240 seconds) |
| 2021-06-18 08:35:43 | × | azeem quits (~azeem@dynamic-adsl-78-13-238-239.clienti.tiscali.it) (Ping timeout: 268 seconds) |
| 2021-06-18 08:36:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-18 08:36:45 | → | vpan joins (~vilius@212.117.1.172) |
| 2021-06-18 08:36:57 | → | azeem joins (~azeem@176.200.249.255) |
| 2021-06-18 08:40:30 | × | chaosite quits (~chaosite@user/chaosite) (Ping timeout: 264 seconds) |
| 2021-06-18 08:41:46 | × | fabfianda quits (~fabfianda@net-93-148-121-206.cust.dsl.teletu.it) (Ping timeout: 268 seconds) |
| 2021-06-18 08:42:33 | → | fabfianda joins (~fabfianda@mob-5-90-255-176.net.vodafone.it) |
| 2021-06-18 08:43:53 | × | yourname quits (~barrucadu@carcosa.barrucadu.co.uk) (Remote host closed the connection) |
| 2021-06-18 08:43:59 | → | qbt joins (~edun@user/edun) |
| 2021-06-18 08:47:19 | → | yourname joins (~barrucadu@carcosa.barrucadu.co.uk) |
| 2021-06-18 08:49:10 | × | azeem quits (~azeem@176.200.249.255) (Ping timeout: 268 seconds) |
| 2021-06-18 08:49:13 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 2021-06-18 08:49:42 | → | azeem joins (~azeem@176.200.249.255) |
| 2021-06-18 08:51:16 | → | chaosite joins (~chaosite@user/chaosite) |
| 2021-06-18 08:51:42 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-06-18 08:52:22 | × | Scotty_Trees quits (~Scotty_Tr@162-234-179-169.lightspeed.brhmal.sbcglobal.net) (Quit: Leaving) |
| 2021-06-18 08:54:26 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-06-18 08:56:41 | × | chaosite quits (~chaosite@user/chaosite) (Ping timeout: 268 seconds) |
| 2021-06-18 08:58:17 | → | fizbin joins (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) |
| 2021-06-18 08:58:53 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-18 08:58:54 | → | Guest9 joins (~Guest9@42.106.12.98) |
| 2021-06-18 08:59:09 | × | azeem quits (~azeem@176.200.249.255) (Ping timeout: 268 seconds) |
| 2021-06-18 09:00:35 | <Guest9> | if i have m placeholders/bins/boxes & n values/symbols, how many combinations it is possible to make without repeating any value/symbol? |
| 2021-06-18 09:01:01 | <c_wraith> | is that a Haskell question? |
| 2021-06-18 09:02:13 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-06-18 09:02:32 | → | azeem joins (~azeem@176.200.249.255) |
| 2021-06-18 09:02:38 | × | juhp quits (~juhp@128.106.188.66) (Quit: juhp) |
| 2021-06-18 09:02:39 | <c_wraith> | (the key phrase to google for is "without replacement", along with whichever of combinations or permutations is your goal) |
| 2021-06-18 09:02:53 | → | juhp joins (~juhp@128.106.188.66) |
| 2021-06-18 09:02:55 | × | fizbin quits (~fizbin@c-68-83-100-68.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2021-06-18 09:03:00 | <Guest9> | ok c_wraith |
| 2021-06-18 09:03:08 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-06-18 09:03:56 | → | Profpatsch joins (~Profpatsc@static.88-198-193-255.clients.your-server.de) |
| 2021-06-18 09:04:10 | <Profpatsch> | I’m trying to generate a Wai.Request by hand, yet https://hackage.haskell.org/package/wai-3.2.2.1/docs/Network-Wai.html#v:requestBody is deprecated |
| 2021-06-18 09:04:26 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-18 09:04:36 | → | dunj3 joins (~dunj3@2001:16b8:30bb:9200:59f4:20e3:adbd:1a3e) |
| 2021-06-18 09:04:45 | <Profpatsch> | The proposed solution https://hackage.haskell.org/package/wai-3.2.2.1/docs/src/Network.Wai.Internal.html#getRequestBodyChunk is just an alias, but now you can’t use it as a data type constructor |
| 2021-06-18 09:04:59 | <Profpatsch> | So idk how to not use a deprecated field to generate a request |
| 2021-06-18 09:05:14 | <dminuoso> | Profpatsch: File a bug report. |
| 2021-06-18 09:05:17 | <Profpatsch> | I vaguely remember that there is a way to use the function instead |
| 2021-06-18 09:05:19 | <Profpatsch> | but I’m not sure |
| 2021-06-18 09:05:27 | <dminuoso> | Not to update, as far as I know |
| 2021-06-18 09:05:30 | → | ubert joins (~Thunderbi@p200300ecdf259d62e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-06-18 09:05:30 | <Profpatsch> | ok |
| 2021-06-18 09:05:47 | <Profpatsch> | well I guess in that case I’d just mark it as okay |
| 2021-06-18 09:06:46 | → | sekun joins (~sekun@180.190.218.38) |
| 2021-06-18 09:06:55 | → | MoC joins (~moc@user/moc) |
| 2021-06-18 09:06:56 | <Profpatsch> | Is there anything better than -Wno-deprecations on the module level? |
| 2021-06-18 09:07:03 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Ping timeout: 268 seconds) |
| 2021-06-18 09:07:43 | <dminuoso> | Profpatsch: No. There's been a ticket on ghc to improve finer control on code regions, but that one has been unresolved out of overly idealistic wishes. |
| 2021-06-18 09:07:54 | <dminuoso> | For a over a decade now. |
| 2021-06-18 09:08:25 | <dminuoso> | Of course you could create a stub-module per deprecated thing |
| 2021-06-18 09:08:43 | <Profpatsch> | yeah, it sounds like the workaround is not hard |
| 2021-06-18 09:08:46 | <dminuoso> | (Or rather, some Deprecated module, which re-binds and re-exports these things, but has the warning disabled) |
| 2021-06-18 09:12:46 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 252 seconds) |
| 2021-06-18 09:14:10 | × | Erutuon quits (~Erutuon@user/erutuon) (Quit: WeeChat 2.8) |
All times are in UTC.