Logs: liberachat/#haskell
| 2021-07-30 20:38:23 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-07-30 20:38:41 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-07-30 20:40:16 | <falsifian> | Hm. I got it working by building with cabal and depending on ghcjs-base. But now it doesn't like the "foreign import ..." syntax... |
| 2021-07-30 20:43:33 | × | Guest4 quits (~Guest4@173-28-193-122.client.mchsi.com) (Quit: Client closed) |
| 2021-07-30 20:43:40 | → | delYsid joins (~user@84-115-55-45.cable.dynamic.surfer.at) |
| 2021-07-30 20:43:47 | → | wroathe joins (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) |
| 2021-07-30 20:44:40 | <falsifian> | Okay, figured that out. I need the ForeignFunctionInterface language option; JavaScriptFFI isn't enough. |
| 2021-07-30 20:46:48 | <geekosaur> | huh. I'd report that as a bug, since JavascriptFFI makes no sense without ForeignFunctionInterface it should probably turn it on (we already have a number of cases where required extensions get turned on automatically by the extensions that require them) |
| 2021-07-30 20:47:02 | → | ubert joins (~Thunderbi@91.141.35.41.wireless.dyn.drei.com) |
| 2021-07-30 20:47:28 | <falsifian> | Heh. It looks like ForeignFunctionInterface on its own is sufficient. Not sure what's going on. |
| 2021-07-30 20:48:44 | <falsifian> | Main.hs: https://clbin.com/sRPL1; jt.cabal: https://clbin.com/DXV6R |
| 2021-07-30 20:49:24 | <falsifian> | Hm, looks like it's already reported at https://github.com/ghcjs/ghcjs/issues/541 |
| 2021-07-30 20:50:46 | <falsifian> | For all I know, ForeignFunctionInterface is the one I'm supposed to use anyway. I can't really find official-looking documentation that includes the necessary language option. |
| 2021-07-30 20:50:49 | → | burnsidesLlama joins (~burnsides@client-8-91.eduroam.oxuni.org.uk) |
| 2021-07-30 20:52:21 | <delYsid> | In GHC 8 TH, I could just fail in the Q monad. Apparently, with GHC 9 TH, `Code Q a` has no MonadFail instance anymore. How am I supposed to fail the compile now? |
| 2021-07-30 20:54:08 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-30 20:55:26 | × | burnsidesLlama quits (~burnsides@client-8-91.eduroam.oxuni.org.uk) (Ping timeout: 272 seconds) |
| 2021-07-30 20:55:35 | × | hiruji quits (~hiruji@user/hiruji) (Read error: Connection reset by peer) |
| 2021-07-30 20:55:42 | <falsifian> | geekosaur: Filed https://github.com/ghcjs/ghcjs/issues/808 |
| 2021-07-30 20:56:11 | → | hiruji joins (~hiruji@user/hiruji) |
| 2021-07-30 20:57:03 | × | deejaytee quits (~deejaytee@cpc91196-cmbg18-2-0-cust215.5-4.cable.virginm.net) (Quit: Leaving) |
| 2021-07-30 20:57:51 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-30 20:59:58 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-07-30 21:01:04 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-07-30 21:03:35 | <hpc> | delYsid: Q itself still has its MonadFail instance |
| 2021-07-30 21:08:43 | × | zfnmxt quits (~zfnmxtzfn@2001:470:69fc:105::2b32) (Changing host) |
| 2021-07-30 21:08:43 | → | zfnmxt joins (~zfnmxtzfn@user/zfnmxt) |
| 2021-07-30 21:11:50 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-07-30 21:12:14 | → | agua joins (~agua@2804:18:70:7597:1:0:6e99:2d6f) |
| 2021-07-30 21:14:41 | × | pesada quits (~agua@2804:14c:8793:8e2f:4825:de59:6a63:adc7) (Ping timeout: 268 seconds) |
| 2021-07-30 21:15:30 | × | mikoto-chan quits (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be) (Ping timeout: 240 seconds) |
| 2021-07-30 21:15:55 | × | neceve quits (~quassel@2a02:c7f:607e:d600:f762:20dd:304e:4b1f) (Ping timeout: 268 seconds) |
| 2021-07-30 21:19:26 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2021-07-30 21:20:21 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-07-30 21:25:01 | → | ablutor joins (~quassel@wasscher.com) |
| 2021-07-30 21:29:09 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-07-30 21:30:25 | × | fendor quits (~fendor@91.141.37.142.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-07-30 21:30:27 | <delYsid> | hpc: I was apparently looking for bindCode and joinCode... |
| 2021-07-30 21:31:55 | → | nckx joins (~nckx@tobias.gr) |
| 2021-07-30 21:33:43 | → | pesada joins (~agua@191.177.175.57) |
| 2021-07-30 21:37:01 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-07-30 21:37:18 | × | agua quits (~agua@2804:18:70:7597:1:0:6e99:2d6f) (Ping timeout: 256 seconds) |
| 2021-07-30 21:39:37 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Remote host closed the connection) |
| 2021-07-30 21:40:03 | <janus> | @hoogle Data.Scientific.Scientific -> Data.Fixed.Fixed Data.Fixed.E3 |
| 2021-07-30 21:40:04 | <lambdabot> | No results found |
| 2021-07-30 21:40:37 | <janus> | how can it be that nobody has written this? hmmm |
| 2021-07-30 21:44:22 | <janus> | surely it should be possible to write f x = MkFixed . toInteger . (*) (resolution x) $ x :: HasResolution res => Scientific -> Fixed res |
| 2021-07-30 21:44:42 | × | theproffesor quits (~theproffe@user/theproffesor) (Read error: Connection reset by peer) |
| 2021-07-30 21:44:55 | → | theproffesor joins (~theproffe@2601:282:847f:8010::3a29) |
| 2021-07-30 21:46:42 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-07-30 21:49:09 | → | jmorris joins (uid433911@id-433911.stonehaven.irccloud.com) |
| 2021-07-30 21:49:12 | × | wroathe quits (~wroathe@96-88-30-181-static.hfc.comcastbusiness.net) (Ping timeout: 265 seconds) |
| 2021-07-30 21:50:03 | → | Guest4 joins (~Guest4@173-28-193-122.client.mchsi.com) |
| 2021-07-30 21:50:50 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-07-30 21:51:53 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 2021-07-30 21:53:27 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-07-30 21:53:47 | <janus> | aaah i would need to conjure up a value "Fixed res", and i guess i can't use mempty... |
| 2021-07-30 21:54:08 | <janus> | are there canonical Mult/Add newtype wrappers for common numeric types? |
| 2021-07-30 21:54:34 | × | pesada quits (~agua@191.177.175.57) (Ping timeout: 240 seconds) |
| 2021-07-30 21:54:51 | <monochrom> | Sum and Product. |
| 2021-07-30 21:54:55 | × | Guest4 quits (~Guest4@173-28-193-122.client.mchsi.com) (Client Quit) |
| 2021-07-30 21:55:33 | <monochrom> | I would think realToFrac can do Scientific -> Fixed foo |
| 2021-07-30 21:56:32 | <janus> | ooh , i can! thank you! what a bummer that i can't hoogle it... |
| 2021-07-30 21:56:56 | <monochrom> | This is why I read library docs from cover to cover instead of using hoogle. |
| 2021-07-30 21:59:25 | × | kuribas quits (~user@ptr-25vy0i948b7pircazuk.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-07-30 22:00:02 | → | safinaskar joins (~user@109.252.55.35) |
| 2021-07-30 22:00:20 | <safinaskar> | webchat.freenode.net doesn't work |
| 2021-07-30 22:00:23 | <safinaskar> | do you know why? |
| 2021-07-30 22:00:49 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 2021-07-30 22:01:41 | → | l-monninger joins (~l-monning@c-73-170-133-54.hsd1.ca.comcast.net) |
| 2021-07-30 22:02:24 | × | l-monninger quits (~l-monning@c-73-170-133-54.hsd1.ca.comcast.net) (Client Quit) |
| 2021-07-30 22:02:25 | <meejah> | safinaskar: "freenode is dead", approximately? |
| 2021-07-30 22:02:35 | → | jneira_ joins (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 2021-07-30 22:02:39 | × | ubert quits (~Thunderbi@91.141.35.41.wireless.dyn.drei.com) (Quit: ubert) |
| 2021-07-30 22:02:50 | <geekosaur> | what pointed you at webchat.freenode.net? |
| 2021-07-30 22:02:57 | → | ubert joins (~Thunderbi@91.141.35.41.wireless.dyn.drei.com) |
| 2021-07-30 22:03:06 | <yushyin> | https://web.libera.chat/ use this |
| 2021-07-30 22:03:11 | <geekosaur> | it should prb\obably point to web.libera.chat these days |
| 2021-07-30 22:03:36 | <safinaskar> | well, i found on augeas site that they are using freenode |
| 2021-07-30 22:03:39 | <safinaskar> | so i am asking |
| 2021-07-30 22:04:38 | <geekosaur> | indeed they appear not to have moved here |
| 2021-07-30 22:05:31 | <yushyin> | maybe ask the freenode support what's wrong with it |
| 2021-07-30 22:07:05 | <DigitalKiwi> | lol good luck |
| 2021-07-30 22:07:11 | × | Null_A quits (~null_a@2601:645:8700:2290:44f7:81a6:341:7abe) (Remote host closed the connection) |
| 2021-07-30 22:07:20 | × | ubert quits (~Thunderbi@91.141.35.41.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 2021-07-30 22:08:21 | <qrpnxz> | it's called freenode, not freesupport /s |
| 2021-07-30 22:08:57 | → | agua joins (~agua@2804:18:70:7597:1:0:6e99:2d6f) |
| 2021-07-30 22:14:10 | → | Guest4 joins (~Guest4@173-28-193-122.client.mchsi.com) |
| 2021-07-30 22:15:33 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-07-30 22:16:34 | <pavonia> | freenode seems to enforce SASL connections now, might be related to this |
| 2021-07-30 22:18:46 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-07-30 22:18:48 | → | Null_A joins (~null_a@2601:645:8700:2290:44f7:81a6:341:7abe) |
| 2021-07-30 22:18:52 | <safinaskar> | pavonia: yes, but even webchat.freenode.net doesn't work! |
| 2021-07-30 22:19:12 | gabiruh_ | is now known as gabiruh |
| 2021-07-30 22:19:18 | <safinaskar> | i. e. freenode's own official web client fails to properly connect to freenode servers! |
| 2021-07-30 22:20:02 | <pavonia> | Are you trying to connect via your account? |
| 2021-07-30 22:20:57 | <monochrom> | That reminds me. "doesn't work" has not been defined. This has degenerated to a telepathic speculation game. |
| 2021-07-30 22:21:26 | <monochrom> | I mean, even if we ignore the fact that this is not a freenode tech support service. |
| 2021-07-30 22:22:31 | × | sagax quits (~sagax@213.138.71.146) (Ping timeout: 268 seconds) |
| 2021-07-30 22:23:18 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
All times are in UTC.