Logs: liberachat/#haskell
| 2021-08-15 13:57:30 | → | fendor joins (~fendor@178.115.35.166.wireless.dyn.drei.com) |
| 2021-08-15 14:01:14 | × | xff0x quits (~xff0x@2001:1a81:52ed:2b00:c854:bd3b:6fb8:2f1e) (Ping timeout: 252 seconds) |
| 2021-08-15 14:04:20 | → | o1lo01ol1o joins (~o1lo01ol1@31.22.129.100) |
| 2021-08-15 14:13:34 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-15 14:16:01 | × | Neuromancer quits (~Neuromanc@user/neuromancer) (Ping timeout: 248 seconds) |
| 2021-08-15 14:22:08 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2021-08-15 14:23:29 | → | xff0x joins (~xff0x@2001:1a81:52ed:2b00:c854:bd3b:6fb8:2f1e) |
| 2021-08-15 14:33:51 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:a0f9:2ba0:ff0:86b4) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-15 14:36:56 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-15 14:40:02 | × | o1lo01ol1o quits (~o1lo01ol1@31.22.129.100) (Remote host closed the connection) |
| 2021-08-15 14:41:05 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2021-08-15 14:43:02 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-15 14:43:54 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-08-15 14:46:25 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-15 14:46:43 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 2021-08-15 14:48:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 2021-08-15 14:52:44 | × | keutoi quits (~keutoi@157.47.6.195) (Quit: leaving) |
| 2021-08-15 14:54:52 | → | o1lo01ol1o joins (~o1lo01ol1@31.22.129.100) |
| 2021-08-15 14:57:20 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-08-15 14:58:16 | × | o1lo01ol1o quits (~o1lo01ol1@31.22.129.100) (Remote host closed the connection) |
| 2021-08-15 14:59:10 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-15 15:00:47 | → | o1lo01ol1o joins (~o1lo01ol1@31.22.129.100) |
| 2021-08-15 15:04:20 | <tomsmeding> | maerwald[m]: HLS seems to just work for 8.10.6 if you manually compile it? like, literally 'cabal build'? |
| 2021-08-15 15:04:36 | tomsmeding | surprised pikachu face |
| 2021-08-15 15:07:43 | → | CnnibisIndica joins (~herb@user/mesaboogie) |
| 2021-08-15 15:08:53 | CnnibisIndica | is now known as CannabisIndica |
| 2021-08-15 15:09:14 | → | sam93 joins (~sam@117.210.134.230) |
| 2021-08-15 15:10:01 | → | markpythonicbitc joins (~markpytho@50.228.44.6) |
| 2021-08-15 15:11:55 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-15 15:12:11 | × | mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Quit: mikoto-chan) |
| 2021-08-15 15:13:10 | × | sam93 quits (~sam@117.210.134.230) (Client Quit) |
| 2021-08-15 15:13:58 | × | o1lo01ol1o quits (~o1lo01ol1@31.22.129.100) (Remote host closed the connection) |
| 2021-08-15 15:15:20 | × | alx741 quits (~alx741@186.178.108.32) (Quit: alx741) |
| 2021-08-15 15:15:45 | × | fabfianda quits (~fabfianda@mob-5-91-124-63.net.vodafone.it) (Ping timeout: 248 seconds) |
| 2021-08-15 15:16:06 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-15 15:16:58 | × | Raito_Bezarius quits (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 258 seconds) |
| 2021-08-15 15:17:21 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-15 15:21:42 | → | mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) |
| 2021-08-15 15:23:09 | <maerwald> | ya |
| 2021-08-15 15:24:40 | <tomsmeding> | had already rebuilt the world before realising that there was no HLS release for 8.10.6 |
| 2021-08-15 15:24:47 | → | pfurla_ joins (~pfurla@ool-3f8fcb0f.dyn.optonline.net) |
| 2021-08-15 15:24:57 | <tomsmeding> | then just tried yolo'ing the build and it worked :p |
| 2021-08-15 15:28:27 | × | pfurla quits (~pfurla@ool-3f8fcb0f.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2021-08-15 15:29:58 | → | Raito_Bezarius joins (~Raito@wireguard/tunneler/raito-bezarius) |
| 2021-08-15 15:30:29 | → | benin036932 joins (~benin@183.82.205.178) |
| 2021-08-15 15:31:08 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-15 15:31:12 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9503f052fac21b551e32.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-08-15 15:32:23 | × | mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Quit: mikoto-chan) |
| 2021-08-15 15:34:11 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 2021-08-15 15:34:24 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-15 15:34:25 | → | o1lo01ol1o joins (~o1lo01ol1@31.22.129.100) |
| 2021-08-15 15:34:41 | × | o1lo01ol1o quits (~o1lo01ol1@31.22.129.100) (Remote host closed the connection) |
| 2021-08-15 15:34:55 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-15 15:35:02 | → | alx741 joins (~alx741@186.178.108.32) |
| 2021-08-15 15:35:13 | → | o1lo01ol1o joins (~o1lo01ol1@31.22.129.100) |
| 2021-08-15 15:39:12 | × | burnsidesLlama quits (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 258 seconds) |
| 2021-08-15 15:39:42 | × | o1lo01ol1o quits (~o1lo01ol1@31.22.129.100) (Ping timeout: 245 seconds) |
| 2021-08-15 15:40:26 | → | fabfianda joins (~fabfianda@37.183.255.57) |
| 2021-08-15 15:44:38 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-08-15 15:44:44 | × | fabfianda quits (~fabfianda@37.183.255.57) (Read error: Connection reset by peer) |
| 2021-08-15 15:45:21 | → | fabfianda joins (~fabfianda@37.183.255.57) |
| 2021-08-15 15:46:30 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9503f052fac21b551e32.dip0.t-ipconnect.de) |
| 2021-08-15 15:48:27 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-15 15:51:42 | → | hoknamahn joins (~hoknamahn@cpc158487-croy28-2-0-cust310.19-2.cable.virginm.net) |
| 2021-08-15 15:53:18 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 272 seconds) |
| 2021-08-15 15:59:20 | × | hoknamahn quits (~hoknamahn@cpc158487-croy28-2-0-cust310.19-2.cable.virginm.net) (Quit: Konversation terminated!) |
| 2021-08-15 15:59:41 | → | hoknamahn joins (~hoknamahn@cpc158487-croy28-2-0-cust310.19-2.cable.virginm.net) |
| 2021-08-15 16:01:10 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-08-15 16:01:15 | <maerwald> | every time I use doctest I regret it |
| 2021-08-15 16:01:41 | → | burnsidesLlama joins (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-08-15 16:03:26 | → | econo joins (uid147250@user/econo) |
| 2021-08-15 16:06:01 | <fvr> | There is cabal-docspec |
| 2021-08-15 16:06:02 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-08-15 16:06:07 | <fvr> | I have never used it though |
| 2021-08-15 16:07:13 | <hoknamahn> | hi guys, I have a FFI related question. There is a C function like void c_test(int **iptr); I want to call this function from Haskell passing to it an address of Ptr CInt (in C it would be a call c_test(&iptr)). The question is how do I get an address? |
| 2021-08-15 16:07:13 | <maerwald> | yeah, looking at the documentation I don't even know what it does |
| 2021-08-15 16:07:48 | × | kritzefitz quits (~kritzefit@picard.host.weltraumschlangen.de) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 2021-08-15 16:08:03 | → | kritzefitz joins (~kritzefit@picard.host.weltraumschlangen.de) |
| 2021-08-15 16:09:37 | <fvr> | Streamly moved from doctest to cabal-docspec I forgot why |
| 2021-08-15 16:09:51 | <maerwald> | cabal-doctest you mean |
| 2021-08-15 16:09:57 | <maerwald> | that's marked deprecated on hackage |
| 2021-08-15 16:10:05 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 2021-08-15 16:10:06 | <xsperry> | hoknamahn, allocate Ptr (Ptr Int), pass it to c_test, then use one of the peek* functions to dereference it |
| 2021-08-15 16:10:30 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-08-15 16:11:20 | <fvr> | No cabal-docspec |
| 2021-08-15 16:11:55 | <hoknamahn> | xsperry, should I use alloca for that? |
| 2021-08-15 16:12:36 | <fvr> | maerwald: https://github.com/phadej/cabal-extras/blob/master/cabal-docspec/MANUAL.md |
| 2021-08-15 16:12:47 | <maerwald> | it's a mess |
| 2021-08-15 16:12:54 | <maerwald> | doctest has really bad ux |
| 2021-08-15 16:13:47 | <xsperry> | hoknamahn, one of the alloca* functions yes. what does the function do? |
| 2021-08-15 16:13:53 | <xsperry> | c_test |
| 2021-08-15 16:14:15 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-08-15 16:14:18 | <hoknamahn> | basically it will allocate an array of strings and pass it back to haskell |
| 2021-08-15 16:14:37 | <hoknamahn> | at the moment i'm playing with FFI to figure out how to do it |
| 2021-08-15 16:14:44 | <xsperry> | an array of strings, but it accepts int **? |
| 2021-08-15 16:15:15 | <tomsmeding> | hoknamahn: in haskell, you'll have to do the equivalent of the C code: int **ptr = malloc(sizeof(int*)); c_test(ptr); do_something_with(ptr); free(ptr); |
| 2021-08-15 16:15:22 | <hoknamahn> | i'm testing. at the moment it will allocate just 1 int in memory and return a pointer to it |
| 2021-08-15 16:15:27 | <tomsmeding> | where the malloc and free are both done using alloca |
| 2021-08-15 16:15:33 | <xsperry> | anyway, if the function modifies int * refered ot by int **, then just alloca will do |
| 2021-08-15 16:17:22 | <hoknamahn> | what i need is C function allocating memory and returning a pointer to it. haskell should consume that memory |
All times are in UTC.