Logs: freenode/#haskell
| 2021-04-02 01:30:31 | → | Achylles joins (~Achylles@2804:431:d724:f5e3:cb98:83b:5dd9:fd8d) |
| 2021-04-02 01:30:38 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-02 01:34:26 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-02 01:35:00 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 265 seconds) |
| 2021-04-02 01:35:45 | → | slack1256 joins (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-04-02 01:36:13 | → | Tario joins (~Tario@200.119.184.73) |
| 2021-04-02 01:38:14 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-zumirhpzvxzwijnj) () |
| 2021-04-02 01:39:51 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:1db8:f684:c910:4985) |
| 2021-04-02 01:39:52 | × | Tario quits (~Tario@200.119.184.73) (Read error: Connection reset by peer) |
| 2021-04-02 01:42:58 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-02 01:43:28 | × | xiinotulp quits (~q@node-ul9.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 2021-04-02 01:47:25 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-04-02 01:49:41 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-04-02 01:52:53 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 2021-04-02 01:54:00 | × | xff0x_ quits (~xff0x@2001:1a81:532d:a700:ee65:9943:a3da:2f97) (Ping timeout: 246 seconds) |
| 2021-04-02 01:56:09 | → | xff0x_ joins (~xff0x@2001:1a81:534a:5f00:2279:7f9b:769c:c9e9) |
| 2021-04-02 01:57:36 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-04-02 02:00:08 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-02 02:02:33 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-04-02 02:02:33 | finn_elija | is now known as Guest60912 |
| 2021-04-02 02:02:33 | FinnElija | is now known as finn_elija |
| 2021-04-02 02:03:39 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-04-02 02:05:33 | × | Guest60912 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-04-02 02:05:39 | × | sw1nn quits (~sw1nn@host86-135-157-104.range86-135.btcentralplus.com) (Ping timeout: 248 seconds) |
| 2021-04-02 02:06:38 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 2021-04-02 02:08:21 | <dcbdan> | is there some way to get around rigid type variables? how can one provide the type signature of g in https://paste.tomsmeding.com/b17s4UG6 ? |
| 2021-04-02 02:08:40 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c8ca:5fa3:40f5:5b78) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-02 02:08:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-04-02 02:10:18 | <hololeap> | dcbdan: you might be looking for ScopedTypeVariables |
| 2021-04-02 02:10:26 | → | jophish__ joins (ca536851@202.83.104.81) |
| 2021-04-02 02:10:39 | <c_wraith> | yeah, that's the only way that makes sense |
| 2021-04-02 02:11:09 | <hololeap> | https://paste.tomsmeding.com/mjDETjku |
| 2021-04-02 02:12:40 | <hololeap> | https://downloads.haskell.org/ghc/8.10.4/docs/html/users_guide/glasgow_exts.html#extension-ScopedTypeVariables |
| 2021-04-02 02:14:08 | <dcbdan> | Ah, neat. so with the forall + extension it works |
| 2021-04-02 02:14:09 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c8ca:5fa3:40f5:5b78) |
| 2021-04-02 02:14:48 | <c_wraith> | The reason it was failing before was that ghc treated the two type variables named a as totally separate, and it couldn't unify them because they were both required to be polymorphic |
| 2021-04-02 02:18:05 | → | sw1nn joins (~sw1nn@2a00:23c7:622f:2c00:1df3:35cd:5bdc:c4d5) |
| 2021-04-02 02:18:17 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:b9ee:34c0:cea7:8b6) (Ping timeout: 258 seconds) |
| 2021-04-02 02:18:24 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-mioklqbuoxhsafmf) (Quit: Connection closed for inactivity) |
| 2021-04-02 02:22:00 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-98-245.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-02 02:22:41 | <dcbdan> | ok, that's a good explanation |
| 2021-04-02 02:23:19 | × | shalokshalom quits (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Remote host closed the connection) |
| 2021-04-02 02:23:45 | × | Sigyn quits (sigyn@freenode/utility-bot/sigyn) (Read error: Connection reset by peer) |
| 2021-04-02 02:25:19 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:b9ee:34c0:cea7:8b6) |
| 2021-04-02 02:26:33 | × | Achylles quits (~Achylles@2804:431:d724:f5e3:cb98:83b:5dd9:fd8d) (Ping timeout: 246 seconds) |
| 2021-04-02 02:27:01 | → | shalokshalom joins (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) |
| 2021-04-02 02:31:17 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:a922:8eee:4a67:e896) |
| 2021-04-02 02:33:17 | → | Achylles joins (~Achylles@2804:431:d724:f5e3:cb98:83b:5dd9:fd8d) |
| 2021-04-02 02:34:22 | → | Tario joins (~Tario@200.119.184.73) |
| 2021-04-02 02:35:46 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-02 02:35:57 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-04-02 02:36:15 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-qtinzdfibqjwmcbv) (Quit: Connection closed for inactivity) |
| 2021-04-02 02:37:53 | × | Guest40784 quits (~laudiacay@67.176.215.84) (Quit: WeeChat 3.0) |
| 2021-04-02 02:38:37 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-04-02 02:38:37 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-04-02 02:40:43 | × | martin02 quits (silas@hund.fs.lmu.de) (Ping timeout: 258 seconds) |
| 2021-04-02 02:42:12 | × | shalokshalom quits (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Remote host closed the connection) |
| 2021-04-02 02:43:05 | → | shalokshalom joins (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) |
| 2021-04-02 02:44:09 | × | conal quits (~conal@192.145.118.200) (Quit: Computer has gone to sleep.) |
| 2021-04-02 02:44:34 | → | martin02 joins (silas@hund.fs.lmu.de) |
| 2021-04-02 02:44:37 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:49e2:dd02:cb68:846) |
| 2021-04-02 02:45:03 | × | shalokshalom quits (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Client Quit) |
| 2021-04-02 02:45:32 | → | danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-04-02 02:45:53 | → | joe[m]1 joins (joemonoida@gateway/shell/matrix.org/x-xmbjijvsfazciall) |
| 2021-04-02 02:46:58 | → | shalokshalom joins (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) |
| 2021-04-02 02:50:44 | × | gitgood quits (~gitgood@80-44-12-39.dynamic.dsl.as9105.com) (Ping timeout: 246 seconds) |
| 2021-04-02 02:51:40 | × | shalokshalom quits (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Remote host closed the connection) |
| 2021-04-02 02:53:03 | → | conal joins (~conal@192.145.118.115) |
| 2021-04-02 02:53:47 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 2021-04-02 02:56:34 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-04-02 02:58:15 | × | theDon quits (~td@94.134.91.35) (Ping timeout: 268 seconds) |
| 2021-04-02 03:00:00 | → | theDon joins (~td@muedsl-82-207-238-162.citykom.de) |
| 2021-04-02 03:11:48 | × | slack1256 quits (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Ping timeout: 268 seconds) |
| 2021-04-02 03:15:04 | → | xaltsc joins (~xaltsc@unaffiliated/xaltsc) |
| 2021-04-02 03:15:11 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-02 03:16:41 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 2021-04-02 03:18:35 | × | Tario quits (~Tario@200.119.184.73) (Ping timeout: 252 seconds) |
| 2021-04-02 03:18:57 | → | Tario joins (~Tario@200.119.186.52) |
| 2021-04-02 03:19:36 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:1db8:f684:c910:4985) (Remote host closed the connection) |
| 2021-04-02 03:28:41 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-02 03:30:49 | → | elliott_ joins (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-04-02 03:31:04 | × | Matt_P quits (~Matt_P@178.239.168.171) (Remote host closed the connection) |
| 2021-04-02 03:31:05 | × | electricityZZZZ quits (~electrici@135-180-3-82.static.sonic.net) (Quit: Leaving) |
| 2021-04-02 03:32:45 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:4461:b1b3:c8a0:c4ce) |
| 2021-04-02 03:33:56 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 2021-04-02 03:34:22 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-02 03:35:06 | × | elliott_ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-02 03:35:10 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 2021-04-02 03:35:19 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-uvvubdxwbzbtugry) (Quit: Connection closed for inactivity) |
| 2021-04-02 03:37:15 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:4461:b1b3:c8a0:c4ce) (Ping timeout: 258 seconds) |
| 2021-04-02 03:37:18 | → | elusive joins (~Jeanne-Ka@static-198-54-134-72.cust.tzulo.com) |
| 2021-04-02 03:37:45 | → | solvr joins (57e3c46d@87.227.196.109) |
| 2021-04-02 03:38:47 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds) |
| 2021-04-02 03:41:27 | × | Achylles quits (~Achylles@2804:431:d724:f5e3:cb98:83b:5dd9:fd8d) (Ping timeout: 246 seconds) |
| 2021-04-02 03:45:13 | × | fosterite quits (~fosterite@2600:6c46:7800:fecf:a922:8eee:4a67:e896) (Remote host closed the connection) |
| 2021-04-02 03:46:46 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:a922:8eee:4a67:e896) |
| 2021-04-02 03:46:47 | × | fosterite quits (~fosterite@2600:6c46:7800:fecf:a922:8eee:4a67:e896) (Remote host closed the connection) |
| 2021-04-02 03:46:48 | × | Tario quits (~Tario@200.119.186.52) (Read error: Connection reset by peer) |
| 2021-04-02 03:47:24 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-02 03:48:56 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:a922:8eee:4a67:e896) |
All times are in UTC.