Logs: liberachat/#haskell
| 2021-08-11 03:30:23 | → | xsperry joins (~as@user/xsperry) |
| 2021-08-11 03:30:47 | → | dermato joins (~dermatobr@154.21.23.75) |
| 2021-08-11 03:33:16 | × | euouae quits (~euouae@user/euouae) (Quit: Ping timeout (120 seconds)) |
| 2021-08-11 03:33:36 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-11 03:37:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-11 03:38:11 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-08-11 03:39:16 | → | myShoggoth joins (~myShoggot@97-120-70-214.ptld.qwest.net) |
| 2021-08-11 03:43:29 | × | slack1256 quits (~slack1256@191.126.23.98) (Ping timeout: 248 seconds) |
| 2021-08-11 03:53:13 | → | Matthias1 joins (~Matthias1@2603-8001-b545-4900-c172-9f24-99f4-d24a.res6.spectrum.com) |
| 2021-08-11 03:54:31 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2021-08-11 03:54:31 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-11 03:54:36 | allbery_b | is now known as geekosaur |
| 2021-08-11 03:56:00 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2021-08-11 03:59:29 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 2021-08-11 04:00:30 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-11 04:03:32 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-11 04:04:07 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-11 04:06:47 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-11 04:07:37 | × | adam1 quits (~adam@220-136-101-108.dynamic-ip.hinet.net) (Read error: Connection reset by peer) |
| 2021-08-11 04:08:01 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2021-08-11 04:13:08 | → | dmwit joins (~dmwit@pool-108-28-26-143.washdc.fios.verizon.net) |
| 2021-08-11 04:15:05 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-11 04:16:08 | × | sim590 quits (~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 258 seconds) |
| 2021-08-11 04:19:08 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-08-11 04:19:35 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-08-11 04:20:15 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-08-11 04:27:37 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-08-11 04:31:36 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-11 04:35:45 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2021-08-11 04:41:24 | × | pe200012_ quits (~pe200012@113.105.10.33) (Remote host closed the connection) |
| 2021-08-11 04:41:49 | → | pe200012_ joins (~pe200012@113.105.10.33) |
| 2021-08-11 04:48:33 | × | MQ-17J quits (~MQ-17J@d14-69-206-129.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-08-11 04:49:08 | → | MQ-17J joins (~MQ-17J@d14-69-206-129.try.wideopenwest.com) |
| 2021-08-11 04:49:43 | → | euouae joins (~euouae@user/euouae) |
| 2021-08-11 04:51:50 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-11 04:55:06 | × | thaumavorio quits (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-11 04:56:01 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2021-08-11 04:56:52 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-08-11 04:57:26 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 2021-08-11 04:59:50 | × | amanr quits (~therojjha@20.204.87.0) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-08-11 05:01:49 | × | Matthias1 quits (~Matthias1@2603-8001-b545-4900-c172-9f24-99f4-d24a.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-08-11 05:02:24 | → | Matthias1 joins (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) |
| 2021-08-11 05:07:24 | × | euouae quits (~euouae@user/euouae) (Quit: Ping timeout (120 seconds)) |
| 2021-08-11 05:08:28 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 272 seconds) |
| 2021-08-11 05:21:37 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 248 seconds) |
| 2021-08-11 05:22:50 | <siraben> | How do I load .o files from GHCi? |
| 2021-08-11 05:23:53 | → | adam1 joins (~adam@2001-b011-4007-2ff3-652c-fd1e-24cd-c39c.dynamic-ip6.hinet.net) |
| 2021-08-11 05:24:29 | <janus> | siraben: .o files typically need linking before you can 'load' them. do you mean a .so file? |
| 2021-08-11 05:24:45 | <siraben> | I have a `.o` file created by `clang -c stub.c` |
| 2021-08-11 05:24:53 | <siraben> | I want this command `ghci -ghci-script compat.ghci party.hs ../stub.o` |
| 2021-08-11 05:24:55 | <siraben> | https://crypto.stanford.edu/~blynn/compiler/module.html |
| 2021-08-11 05:25:03 | <siraben> | but I can't seem to load stub.o while in GHCi |
| 2021-08-11 05:25:58 | <siraben> | I'm using haskell-mode in Emacs so ideally I want to do it without breaking out to the terminal |
| 2021-08-11 05:26:59 | <janus> | oh, i didn't even know you could provide objects to link to ghci |
| 2021-08-11 05:27:15 | × | pottsy quits (~pottsy@2400:4050:b560:3700:38eb:29ba:72bf:9791) (Quit: Leaving) |
| 2021-08-11 05:27:56 | <janus> | i would use capi with cbits and c2hs, but i realize that is totally different approach. sorry |
| 2021-08-11 05:29:02 | → | sim590 joins (~simon@modemcable090.207-203-24.mc.videotron.ca) |
| 2021-08-11 05:31:58 | <siraben> | I see. This is for debugging and development purposes only because the Haskell files would get compiled by blynn's Haskell compiler. |
| 2021-08-11 05:32:06 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-08-11 05:33:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-11 05:37:02 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-08-11 05:38:36 | × | sim590 quits (~simon@modemcable090.207-203-24.mc.videotron.ca) (Ping timeout: 268 seconds) |
| 2021-08-11 05:38:45 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-11 05:43:56 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-08-11 05:45:20 | → | michalz joins (~michalz@185.246.204.37) |
| 2021-08-11 05:53:03 | → | Guest71 joins (~Guest71@46.97.169.79) |
| 2021-08-11 05:54:32 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-08-11 05:57:58 | → | ubert joins (~Thunderbi@91.141.49.166.wireless.dyn.drei.com) |
| 2021-08-11 06:02:42 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 258 seconds) |
| 2021-08-11 06:03:17 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-11 06:05:38 | × | Matthias1 quits (~Matthias1@cpe-76-170-236-166.socal.res.rr.com) (Remote host closed the connection) |
| 2021-08-11 06:07:36 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-08-11 06:09:24 | → | Matthias1 joins (~Matthias1@2603-8001-b545-4900-c870-813e-66c7-5f1f.res6.spectrum.com) |
| 2021-08-11 06:15:01 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-08-11 06:16:07 | × | adam1 quits (~adam@2001-b011-4007-2ff3-652c-fd1e-24cd-c39c.dynamic-ip6.hinet.net) (Ping timeout: 258 seconds) |
| 2021-08-11 06:27:33 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2021-08-11 06:28:46 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds) |
| 2021-08-11 06:28:48 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-08-11 06:32:36 | × | ubert quits (~Thunderbi@91.141.49.166.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 2021-08-11 06:33:11 | <[exa]> | siraben: if you just want to have the object loaded, you may have luck with compiling to `.so` and supplying LD_PRELOAD or something |
| 2021-08-11 06:33:23 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-11 06:33:44 | <[exa]> | siraben: but that's quite crude. why would you need that linked? |
| 2021-08-11 06:37:12 | → | mei joins (~mei@user/mei) |
| 2021-08-11 06:37:22 | × | pe200012_ quits (~pe200012@113.105.10.33) (Quit: Konversation terminated!) |
| 2021-08-11 06:37:26 | <siraben> | [exa]: so I can run main, because it calls out to the custom RTS |
| 2021-08-11 06:37:53 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 2021-08-11 06:38:24 | <[exa]> | ok you need .so for sure |
| 2021-08-11 06:38:33 | <[exa]> | after that just use unix dlopen |
| 2021-08-11 06:38:48 | <[exa]> | https://hackage.haskell.org/package/unix-2.7.2.2/docs/System-Posix.html#v:dlopen |
| 2021-08-11 06:38:51 | <[exa]> | and all it with FFI |
| 2021-08-11 06:39:34 | <[exa]> | `man 3 dlsym` should have the details |
| 2021-08-11 06:39:40 | <[exa]> | *call |
| 2021-08-11 06:39:52 | <siraben> | Heh, I'm on macOS |
| 2021-08-11 06:39:56 | <siraben> | Should be the same with dylib I tihnk |
| 2021-08-11 06:40:02 | → | akronymus joins (~akronymus@85.31.8.181) |
| 2021-08-11 06:40:14 | <[exa]> | even macos should have dl |
| 2021-08-11 06:40:54 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 268 seconds) |
| 2021-08-11 06:42:14 | → | Cajun9 joins (~Cajun@user/cajun) |
| 2021-08-11 06:44:31 | × | Cajun quits (~Cajun@user/cajun) (Ping timeout: 246 seconds) |
| 2021-08-11 06:44:37 | Cajun9 | is now known as Cajun |
All times are in UTC.