Logs: liberachat/#haskell
| 2021-07-22 09:08:52 | → | mcfrdy joins (~mcfrdy@user/mcfrdy) |
| 2021-07-22 09:10:37 | × | agua quits (~agua@2804:14c:8793:8e2f:6091:e445:c3bf:d39e) (Ping timeout: 250 seconds) |
| 2021-07-22 09:10:44 | × | Kaipi quits (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 2021-07-22 09:12:05 | <raehik> | Why is ScopedTypeVariables not default when using TypeApplications? I never recognise the error message when you try to use a type variable not in scope |
| 2021-07-22 09:12:29 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-07-22 09:12:39 | <raehik> | few hours wasted due to a lang pragma that I somehow thought was default. gah |
| 2021-07-22 09:13:22 | <Taneb> | I think TypeApplication is often very useful even without ScopedTypeVariables |
| 2021-07-22 09:14:55 | <raehik> | I think I'm mostly just mad, the syntax ("types in the function!") made me think I could use type vars. even used explicit forall thinking that would help |
| 2021-07-22 09:15:08 | × | Null_A quits (~null_a@2601:645:8700:2290:c911:1c05:b98d:d069) (Remote host closed the connection) |
| 2021-07-22 09:16:39 | × | degraafk_ quits (sid71464@id-71464.tooting.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-07-22 09:17:12 | × | hendi quits (sid489601@id-489601.tooting.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-07-22 09:18:03 | → | hendi joins (sid489601@id-489601.tooting.irccloud.com) |
| 2021-07-22 09:18:07 | → | degraafk_ joins (sid71464@id-71464.tooting.irccloud.com) |
| 2021-07-22 09:19:21 | → | Arahael joins (~arahael@203-206-93-248.tpgi.com.au) |
| 2021-07-22 09:28:05 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 252 seconds) |
| 2021-07-22 09:28:29 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 09:33:00 | × | azeem quits (~azeem@dynamic-adsl-84-220-213-65.clienti.tiscali.it) (Ping timeout: 255 seconds) |
| 2021-07-22 09:34:13 | → | azeem joins (~azeem@176.201.2.247) |
| 2021-07-22 09:34:45 | → | viluon joins (uid453725@id-453725.brockwell.irccloud.com) |
| 2021-07-22 09:36:00 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-22 09:36:11 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 250 seconds) |
| 2021-07-22 09:36:14 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-22 09:38:10 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-07-22 09:39:18 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-07-22 09:39:48 | <jchia[m]> | Any reason to not always ScopedTypeVariables, though? It's one of my standard extensions to use. |
| 2021-07-22 09:40:27 | <jchia[m]> | I just have it in a list of extensions I always enable whether or not the code actually uses it. |
| 2021-07-22 09:40:39 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 255 seconds) |
| 2021-07-22 09:47:26 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-07-22 09:49:39 | × | azeem quits (~azeem@176.201.2.247) (Ping timeout: 255 seconds) |
| 2021-07-22 09:51:35 | → | ukari joins (~ukari@user/ukari) |
| 2021-07-22 09:53:59 | → | azeem joins (~azeem@176.201.2.247) |
| 2021-07-22 09:54:56 | ← | qrpnxz parts (~qrpnxz@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2021-07-22 09:55:10 | → | qrpnxz joins (~qrpnxz@user/qrpnxz) |
| 2021-07-22 09:55:30 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-22 09:56:36 | ← | qrpnxz parts (~qrpnxz@user/qrpnxz) () |
| 2021-07-22 09:59:15 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 2021-07-22 10:00:07 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 10:01:06 | × | jmct_ quits (sid160793@id-160793.tinside.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-07-22 10:01:33 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2021-07-22 10:02:15 | → | jmct_ joins (sid160793@id-160793.tinside.irccloud.com) |
| 2021-07-22 10:03:29 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 2021-07-22 10:04:59 | × | HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection) |
| 2021-07-22 10:05:24 | → | HotblackDesiato joins (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 2021-07-22 10:05:51 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 255 seconds) |
| 2021-07-22 10:06:19 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-22 10:07:06 | <kuribas> | Why does GHC.Records have getField, but no setField? |
| 2021-07-22 10:07:33 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
| 2021-07-22 10:08:43 | <maerwald> | https://github.com/ghc-proposals/ghc-proposals/pull/158 |
| 2021-07-22 10:09:16 | <maerwald> | https://gitlab.haskell.org/ghc/ghc/-/issues/16232 |
| 2021-07-22 10:11:46 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-22 10:13:08 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-ffb4-d6eb-4999-9833.fixed6.kpn.net) (Quit: Leaving) |
| 2021-07-22 10:16:34 | <arkanoid> | I'm probably solving the problem wrong, but is there a way to swap the arguments of a 2 arguments function (actually elem)? |
| 2021-07-22 10:18:05 | → | Atum_ joins (~IRC@user/atum/x-2392232) |
| 2021-07-22 10:18:09 | <raehik> | jchia[m]: yeah it's going in my standard list from now. I played with it before and hesitated, but I keep having to re-state constraints for helper functions etc, and now this heh |
| 2021-07-22 10:18:11 | → | Hanicef joins (~hanicef@78-71-43-30-no260.tbcn.telia.com) |
| 2021-07-22 10:18:27 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-22 10:19:25 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-22 10:20:54 | <arkanoid> | oh, just found that "`elem` x" makes a partial on the second argument |
| 2021-07-22 10:21:01 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-22 10:21:20 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-22 10:21:49 | → | Vajb joins (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) |
| 2021-07-22 10:23:12 | → | qrpnxz joins (~qrpnxz@user/qrpnxz) |
| 2021-07-22 10:23:39 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 10:24:13 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-07-22 10:26:00 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Ping timeout: 265 seconds) |
| 2021-07-22 10:29:20 | → | yo_ joins (~0xfe0@2405:201:5502:d69:ad6c:9daa:d1e4:a3ce) |
| 2021-07-22 10:29:29 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 250 seconds) |
| 2021-07-22 10:31:21 | → | MQ-17J joins (~MQ-17J@8.21.10.15) |
| 2021-07-22 10:32:12 | × | yo quits (~0xfe0@2405:201:5502:d69:c32:8cab:cb7:332d) (Ping timeout: 245 seconds) |
| 2021-07-22 10:36:05 | × | Hanicef quits (~hanicef@78-71-43-30-no260.tbcn.telia.com) (Quit: leaving) |
| 2021-07-22 10:36:57 | × | Vajb quits (~Vajb@2001:999:62:1d53:26b1:6c9b:c1ed:9c01) (Read error: Connection reset by peer) |
| 2021-07-22 10:37:06 | → | Hanicef joins (~hanicef@78-71-43-30-no260.tbcn.telia.com) |
| 2021-07-22 10:38:01 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-22 10:39:44 | <ph88^> | how can i fix these linker errors ? https://bpa.st/FNPQ |
| 2021-07-22 10:40:58 | <ph88^> | btw on first line at the end "4 files" etc, that can be ignored |
| 2021-07-22 10:42:07 | → | smichel17 joins (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net) |
| 2021-07-22 10:43:34 | <ph88^> | "it was easy, and I was surprised" https://github.com/commercialhaskell/stack/issues/3420#issuecomment-481980763 |
| 2021-07-22 10:44:18 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-22 10:44:42 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 10:46:15 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-07-22 10:46:54 | × | bitmapper quits (uid464869@id-464869.tooting.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-07-22 10:50:24 | × | Hanicef quits (~hanicef@78-71-43-30-no260.tbcn.telia.com) (Quit: leaving) |
| 2021-07-22 10:56:49 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 258 seconds) |
| 2021-07-22 10:58:21 | × | azeem quits (~azeem@176.201.2.247) (Ping timeout: 258 seconds) |
| 2021-07-22 10:58:36 | → | azeem joins (~azeem@176.201.2.247) |
| 2021-07-22 10:59:04 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 2021-07-22 10:59:15 | × | PinealGlandOptic quits (~PinealGla@37.115.210.35) (Quit: leaving) |
| 2021-07-22 11:00:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-22 11:02:49 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-07-22 11:03:19 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-07-22 11:04:53 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-07-22 11:07:33 | → | AlexNoo_ joins (~AlexNoo@178.34.162.117) |
| 2021-07-22 11:07:45 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 2021-07-22 11:07:56 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 272 seconds) |
| 2021-07-22 11:08:15 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-22 11:08:40 | → | ukari joins (~ukari@user/ukari) |
| 2021-07-22 11:09:30 | × | Alex_test quits (~al_test@178.34.161.231) (Ping timeout: 265 seconds) |
| 2021-07-22 11:10:14 | × | AlexZenon quits (~alzenon@178.34.161.231) (Ping timeout: 258 seconds) |
| 2021-07-22 11:11:00 | × | AlexNoo quits (~AlexNoo@178.34.161.231) (Ping timeout: 258 seconds) |
| 2021-07-22 11:11:18 | → | mr-red joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
All times are in UTC.