Logs: freenode/#haskell
| 2020-10-28 13:52:24 | × | xff0x quits (~fox@2001:1a81:5251:7800:3e24:5cc1:3a0e:4d8) (Ping timeout: 240 seconds) |
| 2020-10-28 13:53:40 | → | xff0x joins (~fox@83.236.18.113) |
| 2020-10-28 13:57:08 | → | ddellacosta joins (~dd@86.106.121.168) |
| 2020-10-28 13:57:43 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 258 seconds) |
| 2020-10-28 14:00:47 | → | Neo-- joins (~neo@188-230-154-134.dynamic.t-2.net) |
| 2020-10-28 14:02:55 | × | akad quits (~akad@109107030050.radomsko.vectranet.pl) (Ping timeout: 256 seconds) |
| 2020-10-28 14:04:23 | × | polyrain quits (~polyrain@2001:8003:e501:6901:e039:127e:3f21:3e4c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-28 14:06:44 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 2020-10-28 14:07:38 | <siraben> | Anyone using Emacs and got hlint + LSP to work together? |
| 2020-10-28 14:07:44 | <siraben> | I want to see hlint hints when using haskell-lsp but the manual doesn't seem to say anything about it |
| 2020-10-28 14:09:02 | → | ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) |
| 2020-10-28 14:10:33 | → | son0p joins (~son0p@181.136.122.143) |
| 2020-10-28 14:11:24 | × | ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 240 seconds) |
| 2020-10-28 14:12:14 | → | akad joins (~akad@109107030050.radomsko.vectranet.pl) |
| 2020-10-28 14:13:24 | × | ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2020-10-28 14:15:12 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection) |
| 2020-10-28 14:15:23 | → | GyroW joins (~GyroW@d54c03e98.access.telenet.be) |
| 2020-10-28 14:15:23 | × | GyroW quits (~GyroW@d54c03e98.access.telenet.be) (Changing host) |
| 2020-10-28 14:15:23 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-28 14:16:58 | → | polyrain joins (~polyrain@2001:8003:e501:6901:e039:127e:3f21:3e4c) |
| 2020-10-28 14:20:47 | <lyxia> | hyperisco: there is a Pretty instance, maybe that's the right way? |
| 2020-10-28 14:22:52 | × | whatisRT quits (~whatisRT@2002:5b41:6a33:0:d1ca:d6e:3bd1:254d) (Ping timeout: 260 seconds) |
| 2020-10-28 14:24:52 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 2020-10-28 14:25:05 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2020-10-28 14:25:25 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 2020-10-28 14:25:43 | × | polyrain quits (~polyrain@2001:8003:e501:6901:e039:127e:3f21:3e4c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2020-10-28 14:25:47 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2020-10-28 14:25:53 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2020-10-28 14:26:12 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 2020-10-28 14:26:41 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2020-10-28 14:27:00 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 2020-10-28 14:27:29 | × | ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2020-10-28 14:28:27 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-10-28 14:28:42 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 2020-10-28 14:29:15 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2020-10-28 14:29:37 | → | nados joins (~dan@69-165-210-185.cable.teksavvy.com) |
| 2020-10-28 14:32:28 | → | idhugo joins (~idhugo@eduroam06.au.dk) |
| 2020-10-28 14:32:38 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2020-10-28 14:33:59 | → | ph88 joins (~ph88@2a02:8109:9e40:2704:f4dc:2c7e:f773:7bca) |
| 2020-10-28 14:36:02 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 2020-10-28 14:36:19 | → | ClaudiusMaximus joins (~claude@198.123.199.146.dyn.plus.net) |
| 2020-10-28 14:36:19 | × | ClaudiusMaximus quits (~claude@198.123.199.146.dyn.plus.net) (Changing host) |
| 2020-10-28 14:36:19 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 2020-10-28 14:36:57 | × | koz quits (~koz@121.99.240.58) (Remote host closed the connection) |
| 2020-10-28 14:37:42 | → | koz joins (~koz@121.99.240.58) |
| 2020-10-28 14:37:46 | <tomsmeding> | dminuoso: no you can't |
| 2020-10-28 14:37:49 | <tomsmeding> | this is also annoying in C |
| 2020-10-28 14:38:12 | <tomsmeding> | at least -- you can't, unless the haskell CPP is a different one than the regular CPP from C/C++ |
| 2020-10-28 14:38:36 | <dminuoso> | I think the CPP is the one from.. well.. I dont know.. |
| 2020-10-28 14:38:48 | <dminuoso> | The documentation seemed a bit fuzzy |
| 2020-10-28 14:39:54 | <tomsmeding> | notable is that in C, the only place in the syntax that requires a hard newline is in CPP directives; since CPP macros can't generate new macros, it's therefore unnecessary for macros to be able to generate newliens |
| 2020-10-28 14:40:11 | <tomsmeding> | and it turns out that they actually can't |
| 2020-10-28 14:40:23 | <merijn> | GHC CPP is pretty much unspecified |
| 2020-10-28 14:40:53 | <merijn> | It uses a super hacky setup of non-standard backwards compat flags/modes of the C compiler with a bunch of parsing rules changed to do CPP |
| 2020-10-28 14:40:55 | <dminuoso> | https://gitlab.haskell.org/ghc/ghc/-/wikis/proposal/native-cpp |
| 2020-10-28 14:40:59 | <merijn> | It's 100% vile hacks, basically |
| 2020-10-28 14:41:23 | <dminuoso> | So if I want something clean, it's TH? |
| 2020-10-28 14:42:02 | <tomsmeding> | generate TH with CPP! |
| 2020-10-28 14:42:21 | <tomsmeding> | that's got to be the ugliest combination of extensions yet |
| 2020-10-28 14:42:43 | <dminuoso> | tomsmeding: I can think of one better |
| 2020-10-28 14:43:12 | <dminuoso> | Add RebindableSyntax to change how the Q monad works |
| 2020-10-28 14:44:06 | <tomsmeding> | juicy |
| 2020-10-28 14:44:58 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 2020-10-28 14:45:16 | → | motherfsck joins (~motherfsc@unaffiliated/motherfsck) |
| 2020-10-28 14:45:20 | <dminuoso> | Or maybe we can do something fancy with Arrows |
| 2020-10-28 14:45:23 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 2020-10-28 14:45:41 | <dminuoso> | (Are there still packages in use that even use the Arrows extension?) |
| 2020-10-28 14:45:49 | <merijn> | TH is also ill-defined, but in a less broken and vile way :p |
| 2020-10-28 14:46:02 | <merijn> | As in, at least TH is well-specified if you don't attempt to cross-compile |
| 2020-10-28 14:46:25 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2020-10-28 14:46:42 | <dminuoso> | merijn: Is that because of reflection, where you could for instance look at `sizeOf (undefined :: Int)`? |
| 2020-10-28 14:46:48 | <dminuoso> | (inside TH) |
| 2020-10-28 14:47:14 | × | raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal) |
| 2020-10-28 14:49:11 | <merijn> | dminuoso: Yeah |
| 2020-10-28 14:49:23 | <merijn> | And then you get hairy questions like "which Int"? |
| 2020-10-28 14:49:37 | <dminuoso> | what do you mean by which? |
| 2020-10-28 14:49:39 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Client Quit) |
| 2020-10-28 14:49:47 | × | alp quits (~alp@2a01:e0a:58b:4920:a0d1:e2a9:a9ab:3adb) (Ping timeout: 272 seconds) |
| 2020-10-28 14:49:50 | <merijn> | as in "on the target architecture" or "on the build architecture" |
| 2020-10-28 14:49:55 | <dminuoso> | right |
| 2020-10-28 14:50:27 | <merijn> | But if you don't cross-compile it's not ambiguous |
| 2020-10-28 14:50:32 | <dminuoso> | Is that why TH is not allowed in the stage 1 compiler? |
| 2020-10-28 14:50:41 | <merijn> | This is also why cross-compiling TH is probably forever doomed |
| 2020-10-28 14:50:44 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds) |
| 2020-10-28 14:51:26 | <merijn> | Would've had to have explicit platform support build in from the get-go, but figuring out what it's "supposed" to do is hard |
| 2020-10-28 14:52:21 | → | alp joins (~alp@88.126.45.36) |
| 2020-10-28 14:52:53 | → | Ariakenom joins (~Ariakenom@h-158-174-186-203.NA.cust.bahnhof.se) |
| 2020-10-28 14:52:53 | → | knupfer joins (~Thunderbi@200116b82c8890003c526afffe804160.dip.versatel-1u1.de) |
| 2020-10-28 14:53:11 | <Ariakenom> | async exceptions, yay or nay? |
| 2020-10-28 14:53:23 | <monsterchrom> | \∩/ |
| 2020-10-28 14:53:27 | → | polyrain joins (~polyrain@2001:8003:e501:6901:e039:127e:3f21:3e4c) |
| 2020-10-28 14:53:47 | <merijn> | Ariakenom: Depends, do you like going depressed drinking binges? |
| 2020-10-28 14:53:53 | <merijn> | s/going/going on |
| 2020-10-28 14:53:56 | × | knupfer quits (~Thunderbi@200116b82c8890003c526afffe804160.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2020-10-28 14:54:09 | → | knupfer joins (~Thunderbi@200116b82c8890009dcece03b1dbb634.dip.versatel-1u1.de) |
| 2020-10-28 14:54:22 | <noctux> | "how I developed a drinking habit with the help of #haskell" |
| 2020-10-28 14:54:52 | <merijn> | Ariakenom: If yes, probably fine. If you have mercy on your liver, probably best avoid them as much as possible :) |
| 2020-10-28 14:55:03 | <merijn> | Also reduces the amount of uncontrollable sobbing in your life |
| 2020-10-28 14:55:13 | <Ariakenom> | :p |
| 2020-10-28 14:55:17 | <dminuoso> | Ariakenom: Can you specify the question? |
All times are in UTC.