Logs: freenode/#haskell
| 2020-10-29 16:13:02 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-10-29 16:14:01 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-29 16:14:01 | → | _vaibhavingale_ joins (~Adium@203.188.228.9) |
| 2020-10-29 16:14:07 | × | poljar quits (~poljar@93-139-70-179.adsl.net.t-com.hr) (Quit: WeeChat 2.9) |
| 2020-10-29 16:15:51 | → | poljar joins (~poljar@93-139-70-179.adsl.net.t-com.hr) |
| 2020-10-29 16:17:18 | → | sfvm joins (~sfvm@37.228.215.148) |
| 2020-10-29 16:19:50 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-10-29 16:21:06 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-10-29 16:22:04 | × | acidjnk_new2 quits (~acidjnk@p200300d0c7226033a9f8e60d1c4e3d2a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-10-29 16:23:54 | → | geekosaur joins (ac3a5745@172.58.87.69) |
| 2020-10-29 16:24:13 | → | christo joins (~chris@81.96.113.213) |
| 2020-10-29 16:24:24 | × | benjamin-l quits (~benjamin@2601:1c0:8800:67e0:fa16:54ff:febc:2e60) (Ping timeout: 240 seconds) |
| 2020-10-29 16:26:48 | → | nineonine joins (~textual@216-19-190-182.dyn.novuscom.net) |
| 2020-10-29 16:27:36 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-fgstvrwzsmauzxyr) |
| 2020-10-29 16:28:39 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-vtjahgetnoyujbco) |
| 2020-10-29 16:28:45 | × | nineonine quits (~textual@216-19-190-182.dyn.novuscom.net) (Client Quit) |
| 2020-10-29 16:29:09 | → | wretchswollen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net) |
| 2020-10-29 16:30:57 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2020-10-29 16:31:31 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 2020-10-29 16:33:06 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-10-29 16:33:44 | × | Kolkrabe quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2020-10-29 16:33:45 | → | kritzefitz_ joins (~kritzefit@212.86.56.80) |
| 2020-10-29 16:34:00 | × | wretchswollen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Ping timeout: 268 seconds) |
| 2020-10-29 16:36:21 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-pbjplvzzdhgivsky) (Quit: Connection closed for inactivity) |
| 2020-10-29 16:36:45 | → | fandi joins (~fandi@118.97.77.114) |
| 2020-10-29 16:37:17 | × | fandi quits (~fandi@118.97.77.114) (Max SendQ exceeded) |
| 2020-10-29 16:37:44 | → | fandi joins (~fandi@118.97.77.114) |
| 2020-10-29 16:39:24 | × | cvlad- quits (sid203065@gateway/web/irccloud.com/x-dghqjpkfmvjbucbi) (Ping timeout: 240 seconds) |
| 2020-10-29 16:39:24 | × | ReinH__ quits (sid179972@gateway/web/irccloud.com/x-kynfnrknqktyblak) (Ping timeout: 240 seconds) |
| 2020-10-29 16:39:24 | × | bradparker quits (sid262931@gateway/web/irccloud.com/x-cpaqunedaxagfosc) (Ping timeout: 240 seconds) |
| 2020-10-29 16:39:33 | × | liquorice quits (sid267884@gateway/web/irccloud.com/x-volnulzrerkaifsx) (Ping timeout: 272 seconds) |
| 2020-10-29 16:39:37 | × | joshmeredith quits (sid387798@gateway/web/irccloud.com/x-fahcpupvewgkoceh) (Ping timeout: 260 seconds) |
| 2020-10-29 16:39:37 | × | totbwf quits (sid402332@gateway/web/irccloud.com/x-sxpcryhpiyewihxs) (Ping timeout: 260 seconds) |
| 2020-10-29 16:39:44 | × | natim87 quits (sid286962@gateway/web/irccloud.com/x-bwmegmbyiecjxmkz) (Ping timeout: 240 seconds) |
| 2020-10-29 16:39:44 | × | alanz quits (sid110616@gateway/web/irccloud.com/x-kaaptnygtinjlvts) (Ping timeout: 240 seconds) |
| 2020-10-29 16:39:59 | → | joshmeredith joins (sid387798@gateway/web/irccloud.com/x-ewrwlxlkgcoxcbts) |
| 2020-10-29 16:40:12 | × | davetapley quits (sid666@gateway/web/irccloud.com/x-robbsvqvrfwhlocr) (Ping timeout: 260 seconds) |
| 2020-10-29 16:40:27 | × | wpcarro quits (sid397589@gateway/web/irccloud.com/x-ycncefjlbxwjrjeb) (Ping timeout: 260 seconds) |
| 2020-10-29 16:40:49 | × | systemfault quits (sid267009@gateway/web/irccloud.com/x-cuwcujscdtdsdgqf) (Ping timeout: 272 seconds) |
| 2020-10-29 16:40:58 | → | alanz joins (sid110616@gateway/web/irccloud.com/x-eagdffxzloqjlfmd) |
| 2020-10-29 16:40:59 | → | cvlad- joins (sid203065@gateway/web/irccloud.com/x-ldhrbgiqwkppzsfc) |
| 2020-10-29 16:40:59 | → | liquorice joins (sid267884@gateway/web/irccloud.com/x-diraasfarzuiqldj) |
| 2020-10-29 16:41:02 | → | bradparker joins (sid262931@gateway/web/irccloud.com/x-uqioclynkqqupcsu) |
| 2020-10-29 16:41:05 | → | ReinH__ joins (sid179972@gateway/web/irccloud.com/x-ryyydyxrmnaxtodq) |
| 2020-10-29 16:41:06 | → | natim87 joins (sid286962@gateway/web/irccloud.com/x-hyhuipwwdjkbudmv) |
| 2020-10-29 16:41:50 | → | totbwf joins (sid402332@gateway/web/irccloud.com/x-amykbrbjjlsoojsk) |
| 2020-10-29 16:42:00 | → | systemfault joins (sid267009@gateway/web/irccloud.com/x-csgxnmticedbceeh) |
| 2020-10-29 16:42:01 | × | Guest84165 quits (~mrc@81.30.75.204) (Ping timeout: 268 seconds) |
| 2020-10-29 16:42:16 | → | davetapley joins (sid666@gateway/web/irccloud.com/x-yocwsgvbpxleffzc) |
| 2020-10-29 16:42:21 | → | wpcarro joins (sid397589@gateway/web/irccloud.com/x-reptnryktqywamkq) |
| 2020-10-29 16:46:26 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2020-10-29 16:47:19 | → | nineonine joins (~textual@216-19-190-182.dyn.novuscom.net) |
| 2020-10-29 16:48:22 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2020-10-29 16:48:25 | × | chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2020-10-29 16:50:52 | × | GyroW_ quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 2020-10-29 16:51:03 | → | GyroW joins (~GyroW@d54C03E98.access.telenet.be) |
| 2020-10-29 16:51:03 | × | GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host) |
| 2020-10-29 16:51:03 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-29 16:51:07 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-10-29 16:55:11 | × | gregberns_ quits (sid315709@gateway/web/irccloud.com/x-fewxfbpuqadmolrk) (Read error: Connection reset by peer) |
| 2020-10-29 16:55:18 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 2020-10-29 16:55:25 | → | gregberns_ joins (sid315709@gateway/web/irccloud.com/x-lhzcnufyopscpuei) |
| 2020-10-29 16:55:26 | × | newhoggy quits (sid198874@gateway/web/irccloud.com/x-ajbxvvzkmwoozmcf) (Ping timeout: 256 seconds) |
| 2020-10-29 16:55:29 | × | cbarrett quits (sid192934@adium/cbarrett) (Read error: Connection reset by peer) |
| 2020-10-29 16:55:32 | × | nineonine quits (~textual@216-19-190-182.dyn.novuscom.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-29 16:55:34 | × | entel quits (uid256215@botters/entel) (Read error: Connection reset by peer) |
| 2020-10-29 16:55:34 | × | stylewarning quits (stylewarni@gateway/web/irccloud.com/x-ldvspppvftwdoorj) (Read error: Connection reset by peer) |
| 2020-10-29 16:55:47 | → | newhoggy joins (sid198874@gateway/web/irccloud.com/x-zutcdabnuqtwgxkc) |
| 2020-10-29 16:55:47 | → | cbarrett joins (sid192934@adium/cbarrett) |
| 2020-10-29 16:55:53 | → | entel joins (uid256215@botters/entel) |
| 2020-10-29 16:55:57 | → | stylewarning joins (stylewarni@gateway/web/irccloud.com/x-inexyucgqlgjsrum) |
| 2020-10-29 16:56:38 | <delYsid> | dminuoso: It is GHC that imposes the restriction that module names need to be uppercase, isnt it? |
| 2020-10-29 16:58:03 | <geekosaur> | I think it's also due to dotted name resolution? |
| 2020-10-29 16:58:33 | <thblt> | hekkaidekapus: thanks! |
| 2020-10-29 16:58:37 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2020-10-29 16:58:38 | <geekosaur> | (foo.bar) is resolved with the dot meaning (.) instead of a name component separator |
| 2020-10-29 16:59:54 | × | nschoe quits (~quassel@2a01:e0a:3c4:c7b0:c945:6e87:b509:d89a) (Ping timeout: 268 seconds) |
| 2020-10-29 17:00:04 | → | falafel_ joins (~falafel@71-34-132-121.clsp.qwest.net) |
| 2020-10-29 17:00:17 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2020-10-29 17:01:22 | <tomsmeding> | maerwald: apparently an alternative for ALE: https://dev.to/moniquelive/haskell-lsp-bonus-for-vim-4nlj |
| 2020-10-29 17:01:27 | <tomsmeding> | (as found on haskell weekly) |
| 2020-10-29 17:01:50 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2020-10-29 17:01:51 | <maerwald> | I tried vim-lsp already |
| 2020-10-29 17:03:00 | <tomsmeding> | ah |
| 2020-10-29 17:03:25 | <maerwald> | I'd say it's the worst. Less reliable than LanguageClient-neovim and less features that coc.nvim |
| 2020-10-29 17:03:37 | → | wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) |
| 2020-10-29 17:03:41 | <maerwald> | but in the end, all LSP clients suck, really |
| 2020-10-29 17:03:45 | <tomsmeding> | less reliable than LC-neovim is pretty damning in my experience :p |
| 2020-10-29 17:03:53 | <monsterchrom> | Module names are capitalized in the Haskell Report. |
| 2020-10-29 17:03:56 | <maerwald> | LC-neovim is the best implementation so far |
| 2020-10-29 17:04:33 | <monsterchrom> | But the motivation is to reduce dot ambiguity, no doubt. |
| 2020-10-29 17:04:41 | <maerwald> | I'm starting to believe LSP (the idea) overall is trash |
| 2020-10-29 17:04:44 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-29 17:05:03 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds) |
| 2020-10-29 17:05:17 | <tomsmeding> | the protocol or the concept of having a unified language integration protocol? |
| 2020-10-29 17:05:29 | <maerwald> | writing an editor plugin for a custom language linter is some work, sure, but uh... all the disadvantages of LSP... really? |
| 2020-10-29 17:05:31 | → | nineonine joins (~textual@216.81.48.202) |
| 2020-10-29 17:05:34 | <maerwald> | Don't outweigh it |
| 2020-10-29 17:05:52 | <thblt> | What are the disadvantages of lsp? I'm pretty happy with it. |
| 2020-10-29 17:06:02 | <monsterchrom> | Oh, LC ≠ lambda calculus. :( |
All times are in UTC.