Logs: liberachat/#haskell
| 2021-07-03 08:35:06 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5061:15ea:118b:e58d) (Ping timeout: 240 seconds) |
| 2021-07-03 08:36:23 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-03 08:38:09 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-03 08:38:43 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-07-03 08:41:45 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-03 08:46:27 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 258 seconds) |
| 2021-07-03 08:48:22 | → | unyu joins (~pyon@user/pyon) |
| 2021-07-03 08:53:59 | → | dunkeln joins (~dunkeln@94.129.65.28) |
| 2021-07-03 08:54:10 | → | chris_ joins (~chris@2a02:c7f:af4a:cb00:882f:b5f9:7cab:3133) |
| 2021-07-03 08:54:25 | × | Lycurgus quits (~juan@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-07-03 08:55:32 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 2021-07-03 08:55:58 | × | fabfianda quits (~fabfianda@mob-5-90-255-101.net.vodafone.it) (Ping timeout: 252 seconds) |
| 2021-07-03 08:56:25 | × | cheater quits (~Username@user/cheater) (Ping timeout: 258 seconds) |
| 2021-07-03 08:56:34 | → | fabfianda joins (~fabfianda@mob-5-90-128-19.net.vodafone.it) |
| 2021-07-03 08:56:40 | → | cheater joins (~Username@user/cheater) |
| 2021-07-03 08:57:06 | × | shredder quits (~user@user/shredder) (Quit: quitting) |
| 2021-07-03 08:57:55 | → | stevenxl joins (~stevenlei@68.235.43.109) |
| 2021-07-03 08:58:12 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-03 08:58:26 | → | shredder joins (~user@user/shredder) |
| 2021-07-03 09:00:20 | × | ubert quits (~Thunderbi@p2e5a50e5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2021-07-03 09:00:21 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-03 09:02:33 | × | stevenxl quits (~stevenlei@68.235.43.109) (Ping timeout: 258 seconds) |
| 2021-07-03 09:02:49 | tomsmeding | always makes an ad-hoc let binding with the thing I want the type of |
| 2021-07-03 09:03:15 | <tomsmeding> | also I wouldn't know how the editor UI would look for requesting the type of an arbitrary subexpression |
| 2021-07-03 09:03:51 | <tomsmeding> | would you get the type of 'f x' by requesting the type of the space in between? |
| 2021-07-03 09:04:01 | <tomsmeding> | what about 'f$x' :p |
| 2021-07-03 09:04:16 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Ping timeout: 265 seconds) |
| 2021-07-03 09:04:25 | → | azeem joins (~azeem@176.201.38.107) |
| 2021-07-03 09:08:27 | <maerwald> | you select the expression |
| 2021-07-03 09:08:43 | <maerwald> | if your editor can't do that, then I'm sorry :) |
| 2021-07-03 09:11:22 | → | vonfry joins (~user@113.74.228.94) |
| 2021-07-03 09:12:22 | × | azeem quits (~azeem@176.201.38.107) (Read error: Connection reset by peer) |
| 2021-07-03 09:12:41 | × | chris_ quits (~chris@2a02:c7f:af4a:cb00:882f:b5f9:7cab:3133) (Remote host closed the connection) |
| 2021-07-03 09:12:56 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 256 seconds) |
| 2021-07-03 09:13:23 | → | chris_ joins (~chris@2a02:c7f:af4a:cb00:882f:b5f9:7cab:3133) |
| 2021-07-03 09:13:48 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-03 09:15:15 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-03 09:16:05 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal) |
| 2021-07-03 09:16:14 | × | mc47 quits (~mc47@xmonad/TheMC47) (Ping timeout: 272 seconds) |
| 2021-07-03 09:16:43 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-07-03 09:17:30 | × | chris_ quits (~chris@2a02:c7f:af4a:cb00:882f:b5f9:7cab:3133) (Ping timeout: 240 seconds) |
| 2021-07-03 09:20:04 | × | vonfry quits (~user@113.74.228.94) (Ping timeout: 268 seconds) |
| 2021-07-03 09:21:05 | → | crazazy joins (~user@130.89.171.203) |
| 2021-07-03 09:23:25 | maerwald | stares at tomsmeding |
| 2021-07-03 09:34:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-07-03 09:36:42 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-03 09:39:09 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-03 09:41:46 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-07-03 09:46:38 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-07-03 09:57:06 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 240 seconds) |
| 2021-07-03 09:57:31 | → | favonia joins (~favonia@user/favonia) |
| 2021-07-03 10:02:05 | <kuribas> | LSP: failed to parse the result of calling cabal... |
| 2021-07-03 10:02:10 | <kuribas> | new-build works fine... |
| 2021-07-03 10:02:10 | → | dunkeln__ joins (~dunkeln@188.70.10.165) |
| 2021-07-03 10:02:45 | <turlando> | How should I format long import lines? Suppose I'm importing specific symbols and the namespace is very long and there's no much space for the symbols afterwards |
| 2021-07-03 10:02:49 | <kuribas> | Preprocessing library for memory-0.16.0.. cabal: The program 'hsc2hs' is required but it could not be found. |
| 2021-07-03 10:02:49 | <kuribas> | |
| 2021-07-03 10:03:11 | <kuribas> | turlando: on a new line? :-) |
| 2021-07-03 10:03:14 | × | dunkeln quits (~dunkeln@94.129.65.28) (Ping timeout: 265 seconds) |
| 2021-07-03 10:03:25 | <turlando> | Yeah but how should I align that? |
| 2021-07-03 10:04:07 | <kuribas> | turlando: doesn't matter, as long as you indent it relatively. |
| 2021-07-03 10:04:15 | <maerwald> | kuribas: on windows? |
| 2021-07-03 10:04:23 | <kuribas> | maerwald: linux |
| 2021-07-03 10:05:09 | <turlando> | kuribas right but there's some convention? |
| 2021-07-03 10:07:38 | → | anandprabhu joins (~anandprab@94.202.243.198) |
| 2021-07-03 10:08:01 | × | xsperry quits (~as@user/xsperry) (Remote host closed the connection) |
| 2021-07-03 10:10:38 | × | azeem quits (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-03 10:11:05 | × | Feuermagier quits (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2021-07-03 10:20:09 | → | pera joins (~pera@user/pera) |
| 2021-07-03 10:22:11 | <kuribas> | turlando: there are different ways |
| 2021-07-03 10:22:18 | <kuribas> | there is no one agreed style. |
| 2021-07-03 10:24:09 | × | ph88_ quits (~ph88@95.90.246.253) (Quit: Leaving) |
| 2021-07-03 10:24:54 | × | chomwitt quits (~Pitsikoko@2a02:587:dc0b:0:d8f7:cdfe:4658:bec4) (Ping timeout: 256 seconds) |
| 2021-07-03 10:25:23 | <kuribas> | turlando: here's my style: https://github.com/kuribas/hasqlator-mysql/blob/main/src/Database/MySQL/Hasqlator.hs |
| 2021-07-03 10:26:29 | <turlando> | Thank you kuribas but I was asking what to do when the line goes over 80 chars |
| 2021-07-03 10:26:53 | <kuribas> | turlando: you mean with one very big import? |
| 2021-07-03 10:27:00 | <turlando> | Precisely |
| 2021-07-03 10:27:03 | <kuribas> | turlando: just let it go over 80 chars? |
| 2021-07-03 10:27:20 | <turlando> | :\ |
| 2021-07-03 10:27:36 | <kuribas> | I mean, firstly, don't let imports become this bug. |
| 2021-07-03 10:27:37 | <kuribas> | big |
| 2021-07-03 10:27:46 | <kuribas> | otherwise, who cares? |
| 2021-07-03 10:28:08 | <turlando> | That's pretty hard when you're importing a whole bunch of stuff from a very long namespace |
| 2021-07-03 10:28:29 | <turlando> | Well it might be silly but I don't like line wraps |
| 2021-07-03 10:28:32 | → | chris_ joins (~chris@81.96.113.213) |
| 2021-07-03 10:29:25 | <boxscape_> | turlando the GHC codebase has a few imports that look like this https://paste.tomsmeding.com/92WPB44q |
| 2021-07-03 10:30:30 | <kuribas> | turlando: put the import list on a new line? |
| 2021-07-03 10:30:31 | <turlando> | Thank you boxscape_, that's basically what I'm doing now but it feels so wrong when you have a very long namespace and very little space for the imported symbols. Not sure if it's clear what I'm trying to explain, I can show an example |
| 2021-07-03 10:30:38 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-07-03 10:30:40 | <boxscape_> | I get what you mean |
| 2021-07-03 10:31:07 | <turlando> | kuribas yeah I think I will do that and align the symbols to the namespace |
| 2021-07-03 10:32:32 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5061:15ea:118b:e58d) |
| 2021-07-03 10:34:00 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-07-03 10:34:21 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-07-03 10:34:29 | → | azeem joins (~azeem@dynamic-adsl-84-220-226-129.clienti.tiscali.it) |
| 2021-07-03 10:34:58 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds) |
| 2021-07-03 10:35:31 | × | kuribas quits (~user@ptr-25vy0i7jjgjyv5cv6ky.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-07-03 10:35:37 | × | cheater quits (~Username@user/cheater) (Ping timeout: 265 seconds) |
| 2021-07-03 10:35:41 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-07-03 10:35:59 | → | cheater joins (~Username@user/cheater) |
All times are in UTC.