Logs: liberachat/#haskell
| 2021-07-14 21:15:21 | × | smichel17 quits (~smichel17@c-73-68-217-18.hsd1.ma.comcast.net) (Ping timeout: 265 seconds) |
| 2021-07-14 21:15:23 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-07-14 21:15:27 | × | zebrag quits (~chris@user/zebrag) (Ping timeout: 255 seconds) |
| 2021-07-14 21:15:52 | → | burnsidesLlama joins (~burnsides@dhcp168-025.wadham.ox.ac.uk) |
| 2021-07-14 21:16:38 | × | Atum__ quits (IRC@user/atum/x-2392232) (Ping timeout: 272 seconds) |
| 2021-07-14 21:16:47 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 245 seconds) |
| 2021-07-14 21:17:34 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-14 21:17:38 | × | zebrag quits (~chris@user/zebrag) (Client Quit) |
| 2021-07-14 21:18:01 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-14 21:19:09 | → | koolazer joins (~koo@user/koolazer) |
| 2021-07-14 21:20:16 | → | silverwhitefish joins (~hidden@47.202.102.10) |
| 2021-07-14 21:20:30 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-14 21:20:41 | × | burnsidesLlama quits (~burnsides@dhcp168-025.wadham.ox.ac.uk) (Ping timeout: 268 seconds) |
| 2021-07-14 21:20:58 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-14 21:21:49 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 2021-07-14 21:22:41 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-14 21:29:51 | × | Obo quits (~roberto@70.pool90-171-81.dynamic.orange.es) (Ping timeout: 265 seconds) |
| 2021-07-14 21:32:17 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 255 seconds) |
| 2021-07-14 21:33:11 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 255 seconds) |
| 2021-07-14 21:36:57 | → | agua joins (~agua@2804:14c:8793:8e2f:d158:60e:567f:c699) |
| 2021-07-14 21:40:39 | × | pesada quits (~agua@2804:18:4f:750a:1:0:192e:7017) (Ping timeout: 255 seconds) |
| 2021-07-14 21:41:24 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b9516b9158842f1cb7e92.dip0.t-ipconnect.de) |
| 2021-07-14 21:42:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-14 21:45:36 | × | cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2021-07-14 21:45:45 | → | cheater joins (~Username@user/cheater) |
| 2021-07-14 21:46:21 | → | cfricke joins (~cfricke@user/cfricke) |
| 2021-07-14 21:47:15 | × | dunj3 quits (~dunj3@2001:16b8:30fc:7f00:fd96:42cd:9d60:7ae7) (Remote host closed the connection) |
| 2021-07-14 21:47:39 | → | Franciman joins (~francesco@openglass.it) |
| 2021-07-14 21:47:53 | <Franciman> | Hi all, if I want to learn about ghc internals |
| 2021-07-14 21:48:00 | <Franciman> | do you know a good source? |
| 2021-07-14 21:48:08 | <maerwald> | Franciman: ghc devs |
| 2021-07-14 21:48:20 | <Franciman> | hi maerwald |
| 2021-07-14 21:48:21 | <Franciman> | thanks |
| 2021-07-14 21:49:04 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2) |
| 2021-07-14 21:50:02 | <geekosaur> | there's some decent docs on the ghc wiki https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/#the-ghc-commentary |
| 2021-07-14 21:53:42 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-07-14 21:54:25 | <Franciman> | ty |
| 2021-07-14 21:58:02 | × | mei quits (~mei@user/mei) (Read error: Connection reset by peer) |
| 2021-07-14 22:02:12 | <lbseale> | I'm trying to write generics for the first time, and I'm stuck on trying to get the name of a record field, here is my code and error message: https://paste.tomsmeding.com/u3dLcpZN ... I don't understand how to use selName |
| 2021-07-14 22:02:37 | × | ubert quits (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-07-14 22:03:08 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-07-14 22:03:57 | → | benin0369 joins (~benin@183.82.176.17) |
| 2021-07-14 22:05:42 | × | Topsi quits (~Tobias@dyndsl-095-033-020-123.ewe-ip-backbone.de) (Ping timeout: 268 seconds) |
| 2021-07-14 22:06:55 | → | pavonia joins (~user@user/siracusa) |
| 2021-07-14 22:14:24 | × | cheater quits (~Username@user/cheater) (Ping timeout: 255 seconds) |
| 2021-07-14 22:14:38 | → | cheater joins (~Username@user/cheater) |
| 2021-07-14 22:14:57 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-14 22:15:11 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-14 22:17:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 255 seconds) |
| 2021-07-14 22:18:25 | <EvanR> | lbseale: it may be s vs s0 in the error message indicates it doesn't know you're talking about the same s |
| 2021-07-14 22:19:09 | <lbseale> | EvanR yeah that's my theory as well, so how do I get it to know about s ? |
| 2021-07-14 22:19:21 | <EvanR> | when you use s below, that's a "new" s. You can get the original s in scope using ScopedTypeVars and forall in the type signature |
| 2021-07-14 22:19:32 | <lbseale> | aHA |
| 2021-07-14 22:19:37 | → | finsternis joins (~X@23.226.237.192) |
| 2021-07-14 22:20:18 | <lbseale> | that fixed it! thanks so much |
| 2021-07-14 22:20:22 | <EvanR> | nice |
| 2021-07-14 22:23:06 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-14 22:24:13 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2021-07-14 22:29:47 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.2) |
| 2021-07-14 22:30:41 | → | ph88^ joins (~ph88@2a02:8109:9e00:7e5c:9925:18b1:79f7:f242) |
| 2021-07-14 22:30:43 | × | cheater quits (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 2021-07-14 22:31:14 | → | cheater joins (~Username@user/cheater) |
| 2021-07-14 22:33:38 | × | lbseale quits (~lbseale@user/ep1ctetus) (Quit: Client closed) |
| 2021-07-14 22:34:54 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-07-14 22:43:38 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-14 22:44:06 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 255 seconds) |
| 2021-07-14 22:44:11 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-07-14 22:44:30 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-14 22:45:57 | × | Guest239 quits (~Guest23@50.47.115.102) (Quit: Client closed) |
| 2021-07-14 22:46:28 | × | Atum_ quits (IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-07-14 22:46:32 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 255 seconds) |
| 2021-07-14 22:46:48 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 255 seconds) |
| 2021-07-14 22:48:09 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-07-14 22:48:26 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-07-14 22:48:57 | × | fendor quits (~fendor@77.119.210.250.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-14 22:49:21 | → | pesada joins (~agua@2804:18:4f:750a:1:0:192e:7017) |
| 2021-07-14 22:49:47 | × | justache quits (~justache@user/justache) (Excess Flood) |
| 2021-07-14 22:50:32 | → | justache joins (~justache@user/justache) |
| 2021-07-14 22:51:47 | × | agua quits (~agua@2804:14c:8793:8e2f:d158:60e:567f:c699) (Ping timeout: 245 seconds) |
| 2021-07-14 22:52:01 | → | cheater1__ joins (~Username@user/cheater) |
| 2021-07-14 22:52:16 | × | cheater quits (~Username@user/cheater) (Ping timeout: 272 seconds) |
| 2021-07-14 22:52:16 | → | Atum_ joins (IRC@user/atum/x-2392232) |
| 2021-07-14 22:52:24 | cheater1__ | is now known as cheater |
| 2021-07-14 22:53:54 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-14 22:53:57 | × | chomwitt quits (~Pitsikoko@ppp-94-67-202-202.home.otenet.gr) (Remote host closed the connection) |
| 2021-07-14 22:54:05 | × | o1lo01ol1o quits (~o1lo01ol1@bl11-109-140.dsl.telepac.pt) (Remote host closed the connection) |
| 2021-07-14 22:55:19 | → | PungentCheese joins (~PungentCh@x527179fa.dyn.telefonica.de) |
| 2021-07-14 22:56:19 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-07-14 22:59:54 | × | Atum_ quits (IRC@user/atum/x-2392232) (Quit: Atum_) |
| 2021-07-14 23:13:01 | → | agua joins (~agua@2804:14c:8793:8e2f:d158:60e:567f:c699) |
| 2021-07-14 23:16:46 | × | pesada quits (~agua@2804:18:4f:750a:1:0:192e:7017) (Ping timeout: 246 seconds) |
| 2021-07-14 23:19:06 | × | favonia quits (~favonia@user/favonia) (Remote host closed the connection) |
| 2021-07-14 23:19:56 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-14 23:20:41 | → | ubikium joins (~ubikium@113x43x248x70.ap113.ftth.arteria-hikari.net) |
| 2021-07-14 23:22:29 | → | dajoer joins (~david@user/gvx) |
| 2021-07-14 23:27:13 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-07-14 23:27:31 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-07-14 23:28:19 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b9516b9158842f1cb7e92.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2021-07-14 23:30:02 | × | chexum quits (~chexum@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2021-07-14 23:30:26 | → | chexum joins (~chexum@gateway/tor-sasl/chexum) |
All times are in UTC.