Logs: liberachat/#haskell
| 2021-07-06 20:11:13 | <ahdyt> | time sink? |
| 2021-07-06 20:11:40 | <ahdyt> | uh yeah, I'm sorry, language barrier. |
| 2021-07-06 20:12:34 | <sclv> | its an english idiom for a sink, like in a bathroom, and it travels through time (backwards and forwards both). :-) |
| 2021-07-06 20:12:36 | <ahdyt> | but I think cabal is just managing haskell-stuff only not other things required, e.g. if you need pcre-heavy, cabal doesn't install that for you I guess, where stack is? |
| 2021-07-06 20:12:49 | <dsal> | The combination of stack and nix gets my projects going very quickly, and I've got a lot of projects, so I stick with it. |
| 2021-07-06 20:12:54 | <sclv> | no stack doesn't manage non haskell stuff either -- nix does tho |
| 2021-07-06 20:13:03 | → | zebrag joins (~chris@user/zebrag) |
| 2021-07-06 20:13:12 | <ahdyt> | ah I thought. |
| 2021-07-06 20:14:57 | <Vq> | Doesn't stack depend on Cabal? |
| 2021-07-06 20:15:27 | <sclv> | cabal the library, not cabal-the-executable |
| 2021-07-06 20:15:40 | <maerwald> | the library is mostly about the .cabal file format |
| 2021-07-06 20:15:57 | <maerwald> | would be pointless re-implementing that, since it has nothing to do with UX |
| 2021-07-06 20:16:52 | <Vq> | I only use stack on some Windows boxes since I can't figure out how to get ghc on them any other way and I recall that it generates .cabal files. |
| 2021-07-06 20:17:10 | <maerwald> | Vq: you can use ghcup on windows too |
| 2021-07-06 20:17:25 | <maerwald> | the thing that generates .cabal files is called hpack |
| 2021-07-06 20:17:34 | <maerwald> | from package.yaml and is not a stack thing per-se |
| 2021-07-06 20:17:44 | <Vq> | Never tried ghcup, it works on Windows? |
| 2021-07-06 20:17:47 | <maerwald> | yeah |
| 2021-07-06 20:18:01 | × | ahdyt quits (~ahdyt@103.105.35.78) (Ping timeout: 246 seconds) |
| 2021-07-06 20:19:23 | <Vq> | I should try that the next time I have to build on Windows. |
| 2021-07-06 20:20:49 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Remote host closed the connection) |
| 2021-07-06 20:21:01 | → | Ariakenom joins (~Ariakenom@c83-255-154-140.bredband.tele2.se) |
| 2021-07-06 20:21:32 | <dsal> | I barely understand nix, but it makes things so much easier for me. |
| 2021-07-06 20:25:34 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-06 20:29:12 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-06 20:32:49 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Ping timeout: 246 seconds) |
| 2021-07-06 20:33:02 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2021-07-06 20:33:07 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) |
| 2021-07-06 20:33:37 | × | o1lo01ol1o quits (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) (Remote host closed the connection) |
| 2021-07-06 20:36:13 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-07-06 20:36:37 | <koz> | If I have a ForeignPtr Word8, can I pass that to a C function via FFI? If I do, what would its type be in C? |
| 2021-07-06 20:36:50 | <koz> | (I am assuming something like 'uint8_t const *') |
| 2021-07-06 20:37:22 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) (Ping timeout: 240 seconds) |
| 2021-07-06 20:41:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-07-06 20:41:13 | × | chddr quits (~Thunderbi@91.226.34.151) (Ping timeout: 246 seconds) |
| 2021-07-06 20:42:04 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9519d1d3899e95f4527e.dip0.t-ipconnect.de) |
| 2021-07-06 20:45:03 | <adamse> | koz: i think you want to use withForeignPtr and pass the Ptr to ffi |
| 2021-07-06 20:45:12 | <koz> | adamse: Ah, OK, thanks! |
| 2021-07-06 20:45:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-06 20:45:54 | → | dincio joins (~dincio@5.171.8.120) |
| 2021-07-06 20:46:39 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:cdb:cabc:a7c7:75c9) |
| 2021-07-06 20:48:16 | <adamse> | koz: for the type of the pointed to thing i guess anything that works is ok :p |
| 2021-07-06 20:48:35 | <koz> | 'Anything that works' is a dangerous thing to say about C. |
| 2021-07-06 20:48:41 | <koz> | (but then again, 'works' also is) |
| 2021-07-06 20:49:45 | <systemfault> | C: It compiles? Ship it! |
| 2021-07-06 20:50:18 | <koz> | *slaps roof of C* This bad boy can fit so much undefined behaviour inside. |
| 2021-07-06 20:50:19 | <adamse> | ForeignPtr Word8 doesn't really promise anything about the contents, so it's up to you to access is with operations that make sense I think |
| 2021-07-06 20:50:53 | → | jolly joins (~jolly@208.180.97.158) |
| 2021-07-06 20:51:30 | × | dincio quits (~dincio@5.171.8.120) (Quit: WeeChat 3.1) |
| 2021-07-06 20:53:10 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-06 20:54:08 | → | yauhsien joins (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) |
| 2021-07-06 20:55:24 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-07-06 20:56:00 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 244 seconds) |
| 2021-07-06 20:57:10 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 2021-07-06 20:57:55 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-07-06 20:58:34 | × | cheater quits (~Username@user/cheater) (Ping timeout: 240 seconds) |
| 2021-07-06 20:58:57 | × | yauhsien quits (~yauhsien@61-231-39-135.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-07-06 20:59:22 | → | cheater joins (~Username@user/cheater) |
| 2021-07-06 20:59:26 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-06 20:59:29 | × | warnz quits (~warnz@2600:1700:77c0:5610:a5ca:de51:28ba:edf0) (Remote host closed the connection) |
| 2021-07-06 21:02:40 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 256 seconds) |
| 2021-07-06 21:03:24 | × | ikex quits (~ash@user/ikex) (Quit: ZNC - https://znc.in) |
| 2021-07-06 21:03:42 | → | ikex joins (~ash@user/ikex) |
| 2021-07-06 21:03:46 | × | hrnz quits (~ulli@irc.plumbing) (Ping timeout: 240 seconds) |
| 2021-07-06 21:04:52 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 2021-07-06 21:05:10 | → | hrnz joins (~ulli@irc.plumbing) |
| 2021-07-06 21:07:12 | → | hatz_ joins (~user@2a05:f480:1400:f44:5400:3ff:fe6d:f349) |
| 2021-07-06 21:09:24 | × | beka quits (~beka@104.193.170-244.PUBLIC.monkeybrains.net) (Ping timeout: 252 seconds) |
| 2021-07-06 21:09:50 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-07-06 21:12:47 | × | cuz quits (~user@38.140.58.234) (Remote host closed the connection) |
| 2021-07-06 21:12:55 | → | cuz joins (~user@38.140.58.234) |
| 2021-07-06 21:13:25 | × | hendursa1 quits (~weechat@user/hendursaga) (Remote host closed the connection) |
| 2021-07-06 21:13:50 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-07-06 21:14:30 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 258 seconds) |
| 2021-07-06 21:15:50 | → | norias joins (~jaredm@216.sub-174-242-35.myvzw.com) |
| 2021-07-06 21:25:54 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-07-06 21:27:25 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2021-07-06 21:27:58 | → | warnz joins (~warnz@104-55-100-55.lightspeed.lsvlky.sbcglobal.net) |
| 2021-07-06 21:28:02 | × | warnz quits (~warnz@104-55-100-55.lightspeed.lsvlky.sbcglobal.net) (Remote host closed the connection) |
| 2021-07-06 21:28:15 | × | fendor quits (~fendor@178.165.128.32.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-06 21:28:34 | → | pgib joins (~textual@173.38.117.92) |
| 2021-07-06 21:28:35 | → | warnz joins (~warnz@2600:1700:77c0:5610:a5ca:de51:28ba:edf0) |
| 2021-07-06 21:28:45 | → | beka joins (~beka@104.193.170-244.PUBLIC.monkeybrains.net) |
| 2021-07-06 21:29:28 | × | pgib quits (~textual@173.38.117.92) (Client Quit) |
| 2021-07-06 21:30:58 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 240 seconds) |
| 2021-07-06 21:32:26 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-07-06 21:32:53 | <chris-the-slurpa> | is there a way to find msg's in this chat i've had my name in |
| 2021-07-06 21:32:55 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-06 21:32:56 | × | warnz quits (~warnz@2600:1700:77c0:5610:a5ca:de51:28ba:edf0) (Ping timeout: 252 seconds) |
| 2021-07-06 21:33:10 | <chris-the-slurpa> | to retrieve msg's aimed at me from earlier |
| 2021-07-06 21:33:35 | <dsal> | chris-the-slurpa: /topic links to logs |
| 2021-07-06 21:34:26 | × | mikail quits (~mikail@90.152.14.81) (Ping timeout: 258 seconds) |
| 2021-07-06 21:38:04 | → | Ji joins (~Ji@5.180.62.209) |
| 2021-07-06 21:38:05 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-07-06 21:38:32 | × | Ji quits (~Ji@5.180.62.209) (Client Quit) |
| 2021-07-06 21:40:15 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-07-06 21:43:11 | × | chris-the-slurpa quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-07-06 21:43:47 | → | chris-the-slurpa joins (~chris@81.96.113.213) |
| 2021-07-06 21:45:11 | <monochrom> | koz: Word8 becomes uint8_t, yes. |
| 2021-07-06 21:46:02 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 265 seconds) |
All times are in UTC.