Logs: freenode/#haskell
| 2021-05-19 03:00:07 | → | Alleria joins (~textual@2603-7000-3040-0000-5107-53e7-cd36-0949.res6.spectrum.com) |
| 2021-05-19 03:00:16 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 2021-05-19 03:00:31 | Alleria | is now known as Guest11324 |
| 2021-05-19 03:01:04 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-19 03:01:29 | → | filwisher joins (~filwisher@78.141.201.45) |
| 2021-05-19 03:02:29 | × | darjeeling_ quits (~darjeelin@115.215.40.88) (Ping timeout: 245 seconds) |
| 2021-05-19 03:03:26 | <fivebox> | toast52, you'll put the C file in your c-sources https://cabal.readthedocs.io/en/3.4/cabal-package.html?highlight=c-sources#pkg-field-c-sources |
| 2021-05-19 03:04:14 | → | nbloomf_ joins (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) |
| 2021-05-19 03:04:40 | × | Guest11324 quits (~textual@2603-7000-3040-0000-5107-53e7-cd36-0949.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-05-19 03:05:35 | <toast52> | do I need to compile the C sources beforehand then? |
| 2021-05-19 03:05:49 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:505f:5646:cd3:804d) (Ping timeout: 258 seconds) |
| 2021-05-19 03:07:44 | → | xiinotulp joins (~q@node-ujl.pool-125-24.dynamic.totinternet.net) |
| 2021-05-19 03:07:51 | <fivebox> | no |
| 2021-05-19 03:10:46 | × | plutoniix quits (~q@node-uic.pool-125-24.dynamic.totinternet.net) (Ping timeout: 240 seconds) |
| 2021-05-19 03:12:13 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 2021-05-19 03:13:38 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-19 03:15:15 | × | Guest64747 quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection) |
| 2021-05-19 03:15:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-19 03:16:01 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 03:16:16 | → | darjeeling_ joins (~darjeelin@115.215.42.88) |
| 2021-05-19 03:16:24 | tim | is now known as Guest64783 |
| 2021-05-19 03:18:49 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-19 03:18:59 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
| 2021-05-19 03:20:34 | <toast52> | Thanks! I'll give it a shot. |
| 2021-05-19 03:20:50 | × | Guest64783 quits (~tim@112-141-128-42.sta.dodo.net.au) (Ping timeout: 268 seconds) |
| 2021-05-19 03:21:19 | <toast52> | How do we represent the signature of a C function with no arguments? |
| 2021-05-19 03:21:33 | <Axman6> | IO ReturnType |
| 2021-05-19 03:21:41 | <toast52> | i.e. something like `long foo()` |
| 2021-05-19 03:22:23 | <Axman6> | IO CLong? |
| 2021-05-19 03:23:28 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-19 03:24:06 | <toast52> | What if its pure? From the ffi examples I see functions like `foreign import ccall "sin" c_sin :: Double -> Double` need not live in IO |
| 2021-05-19 03:24:35 | <Axman6> | that's fine too |
| 2021-05-19 03:24:37 | <toast52> | could I just do `foreign import ccall "foo" c_foo :: CLong` ? |
| 2021-05-19 03:24:51 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-19 03:24:54 | <Axman6> | will it ever return a different value? |
| 2021-05-19 03:24:57 | <fivebox> | A pure C function with no arguments? |
| 2021-05-19 03:25:01 | × | nbloomf_ quits (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-19 03:25:36 | <toast52> | Yeah it's just performing some computation where the inputs are already known |
| 2021-05-19 03:25:38 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-19 03:25:57 | <fivebox> | Then you don't really need C at all, just save the constant in your program? |
| 2021-05-19 03:28:01 | <fivebox> | but yes, you can do: int fortytwo() { return 42; } ;; foreign import ccall fortytwo :: CInt |
| 2021-05-19 03:29:30 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-19 03:30:11 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-19 03:31:04 | → | DTZUZU_ joins (~DTZUZO@207.81.119.43) |
| 2021-05-19 03:31:34 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:582b:30d1:5899:a42a) |
| 2021-05-19 03:32:15 | <a6a45081-2b83> | how to filter in persistent on clause `update_time >= date('now', '-6 days')` |
| 2021-05-19 03:33:47 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 268 seconds) |
| 2021-05-19 03:34:06 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 2021-05-19 03:34:29 | → | bitmagie joins (~Thunderbi@200116b8065d2700c4403d09f8996d35.dip.versatel-1u1.de) |
| 2021-05-19 03:37:04 | × | renzhi quits (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 245 seconds) |
| 2021-05-19 03:37:51 | × | pjb quits (~pjb@2a01cb04063ec50040800ddd29414e0b.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2021-05-19 03:40:54 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 2021-05-19 03:41:11 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-19 03:42:00 | × | bitmagie quits (~Thunderbi@200116b8065d2700c4403d09f8996d35.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-05-19 03:42:21 | → | bitmagie joins (~Thunderbi@200116b8065d2700c4403d09f8996d35.dip.versatel-1u1.de) |
| 2021-05-19 03:42:56 | × | bitmagie quits (~Thunderbi@200116b8065d2700c4403d09f8996d35.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-19 03:42:56 | <toast52> | fivebox: Thank you. I got it to work. Turns out I didn't need to create a new foreign-library stanza but could directly add the includes and c-sources clauses to the executable stanza |
| 2021-05-19 03:43:49 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-05-19 03:44:18 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-05-19 03:45:41 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-19 03:47:04 | × | toast52 quits (97c0a778@151.192.167.120) (Quit: Connection closed) |
| 2021-05-19 03:49:24 | × | xiinotulp quits (~q@node-ujl.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 2021-05-19 03:49:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-19 03:50:10 | × | nineonin_ quits (~nineonine@50.216.62.2) () |
| 2021-05-19 03:51:03 | → | slack1256 joins (~slack1256@191.125.227.73) |
| 2021-05-19 03:53:51 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-fyslmtebqhpnkrak) (Quit: Connection closed for inactivity) |
| 2021-05-19 03:54:42 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-19 03:54:43 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-19 03:54:49 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 2021-05-19 03:55:08 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-05-19 03:55:42 | → | tim joins (~tim@112-141-128-42.sta.dodo.net.au) |
| 2021-05-19 03:55:53 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-19 03:55:53 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-19 03:56:06 | tim | is now known as Guest1583 |
| 2021-05-19 03:56:37 | × | DTZUZU_ quits (~DTZUZO@207.81.119.43) (Ping timeout: 252 seconds) |
| 2021-05-19 03:57:04 | → | conal joins (~conal@64.71.133.70) |
| 2021-05-19 03:57:22 | × | slack1256 quits (~slack1256@191.125.227.73) (Remote host closed the connection) |
| 2021-05-19 03:58:04 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-19 04:00:08 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-05-19 04:00:28 | → | TK__ joins (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) |
| 2021-05-19 04:00:28 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-19 04:00:49 | → | ddella___ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-19 04:01:00 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 2021-05-19 04:02:37 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-19 04:02:37 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-19 04:03:16 | → | jao joins (~user@pdpc/supporter/professional/jao) |
| 2021-05-19 04:03:18 | × | puke quits (~vroom@217.138.252.196) (Quit: puke) |
| 2021-05-19 04:04:13 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-05-19 04:05:06 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-05-19 04:05:55 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-19 04:08:57 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-05-19 04:09:51 | → | Benzi-Junior joins (~BenziJuni@88-149-64-251.du.xdsl.is) |
| 2021-05-19 04:09:59 | × | jacks2 quits (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-05-19 04:10:10 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-05-19 04:12:41 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-19 04:12:42 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-19 04:14:20 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2021-05-19 04:15:08 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-05-19 04:16:23 | × | acertain quits (sid470584@gateway/web/irccloud.com/x-smitzrwlhgbnwuzb) () |
| 2021-05-19 04:16:33 | → | acertain joins (sid470584@gateway/web/irccloud.com/x-ltrkodsrjozibccv) |
All times are in UTC.