Logs: liberachat/#haskell
| 2021-08-04 08:06:18 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 2021-08-04 08:08:20 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds) |
| 2021-08-04 08:11:27 | × | shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-08-04 08:13:31 | × | connrs quits (~connrs@user/connrs) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-08-04 08:14:09 | → | connrs joins (~connrs@user/connrs) |
| 2021-08-04 08:16:24 | → | Morrow_ joins (~Morrow@147.161.13.123) |
| 2021-08-04 08:17:22 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-04 08:17:52 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-04 08:22:03 | → | ubert joins (~Thunderbi@178.115.39.252.wireless.dyn.drei.com) |
| 2021-08-04 08:24:48 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-08-04 08:24:49 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-04 08:27:00 | × | fawful quits (~guy@c-76-104-217-93.hsd1.wa.comcast.net) (Quit: WeeChat 3.2) |
| 2021-08-04 08:28:37 | × | Morrow_ quits (~Morrow@147.161.13.123) (Read error: Connection reset by peer) |
| 2021-08-04 08:28:57 | → | Morrow_ joins (~Morrow@147.161.13.123) |
| 2021-08-04 08:32:51 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-08-04 08:33:10 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-08-04 08:34:11 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-7314-36e4-e3ea-b01e.fixed6.kpn.net) |
| 2021-08-04 08:40:04 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-04 08:40:30 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 258 seconds) |
| 2021-08-04 08:44:18 | × | jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2021-08-04 08:45:24 | → | ubert1 joins (~Thunderbi@178.115.39.252.wireless.dyn.drei.com) |
| 2021-08-04 08:48:58 | × | ubert1 quits (~Thunderbi@178.115.39.252.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-08-04 08:50:28 | × | xff0x quits (~xff0x@2001:1a81:5261:500:f06:995c:256b:7dfb) (Ping timeout: 258 seconds) |
| 2021-08-04 08:51:25 | → | dunj3 joins (~dunj3@2001:981:9d95:1:886d:656c:9636:23f4) |
| 2021-08-04 08:56:58 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-08-04 09:00:30 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-08-04 09:05:16 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-08-04 09:05:24 | → | tejasagarwal joins (~tejasagar@103.94.113.233) |
| 2021-08-04 09:05:44 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-08-04 09:05:58 | <tejasagarwal> | hiredman |
| 2021-08-04 09:06:01 | <tejasagarwal> | hello! |
| 2021-08-04 09:06:46 | <tejasagarwal> | heyyy!! |
| 2021-08-04 09:06:46 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-04 09:06:51 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-04 09:06:57 | → | burnside_ joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-04 09:09:06 | × | tejasagarwal quits (~tejasagar@103.94.113.233) (Remote host closed the connection) |
| 2021-08-04 09:12:09 | × | oxide quits (~lambda@user/oxide) (Read error: Connection reset by peer) |
| 2021-08-04 09:13:51 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-04 09:14:04 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b9528d8c3ad3b1cac9477.dip0.t-ipconnect.de) |
| 2021-08-04 09:17:32 | × | acidjnk_new quits (~acidjnk@p200300d0c72b95281da3f9599f9b27a2.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-08-04 09:19:45 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-7314-36e4-e3ea-b01e.fixed6.kpn.net) (Remote host closed the connection) |
| 2021-08-04 09:22:36 | → | xff0x joins (~xff0x@2001:1a81:5261:500:f15d:9521:4cf3:d5b8) |
| 2021-08-04 09:22:49 | → | drd joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-08-04 09:25:48 | → | kuribas joins (~user@ptr-25vy0i7cx9hjm3ojhv2.18120a2.ip6.access.telenet.be) |
| 2021-08-04 09:27:00 | → | adanwan_ joins (~adanwan@gateway/tor-sasl/adanwan) |
| 2021-08-04 09:27:23 | × | adanwan quits (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 244 seconds) |
| 2021-08-04 09:28:43 | → | thyriaen joins (~thyriaen@dynamic-089-012-050-204.89.12.pool.telefonica.de) |
| 2021-08-04 09:35:06 | × | Morrow_ quits (~Morrow@147.161.13.123) (Ping timeout: 240 seconds) |
| 2021-08-04 09:36:10 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Ping timeout: 250 seconds) |
| 2021-08-04 09:39:18 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-04 09:40:05 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-08-04 09:40:34 | × | tommd quits (~tommd@cpe-76-179-204-251.maine.res.rr.com) (Ping timeout: 240 seconds) |
| 2021-08-04 09:40:34 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-04 09:43:22 | × | ubert quits (~Thunderbi@178.115.39.252.wireless.dyn.drei.com) (Ping timeout: 258 seconds) |
| 2021-08-04 09:43:43 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-04 09:45:06 | <vaibhavsagar[m]> | after reading this I'm wondering how difficult it would be to compile GHC to WebAssembly: https://blog.jupyter.org/jupyterlite-jupyter-%EF%B8%8F-webassembly-%EF%B8%8F-python-f6e2e41ab3fa |
| 2021-08-04 09:45:19 | <vaibhavsagar[m]> | I know about Asterius and GHCJS but that's not exactly what I'm looking for |
| 2021-08-04 09:45:27 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-08-04 09:45:40 | <vaibhavsagar[m]> | although if we could use Asterius to build GHC and spit out a WASM binary that would be pretty amazing |
| 2021-08-04 09:49:20 | <vaibhavsagar[m]> | even having GHCi in the browser would be pretty amazing |
| 2021-08-04 09:50:39 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 258 seconds) |
| 2021-08-04 09:53:47 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-04 09:54:33 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2021-08-04 09:54:45 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 2021-08-04 10:00:10 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 240 seconds) |
| 2021-08-04 10:00:21 | <c_wraith> | thomasjm[m]: oh. well, what's surprising about being warned that the constraint is unused when it's unused? |
| 2021-08-04 10:01:08 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-04 10:01:51 | <thomasjm[m]> | just that the intended usage of HasCallStack is to be unused |
| 2021-08-04 10:05:45 | <thomasjm[m]> | err well maybe that's not quite true, but it would be nice to be able to leave those constraints in the code |
| 2021-08-04 10:10:07 | × | anandprabhu quits (~anandprab@94.202.243.198) (Ping timeout: 268 seconds) |
| 2021-08-04 10:16:23 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 252 seconds) |
| 2021-08-04 10:16:59 | × | mc47 quits (~mc47@xmonad/TheMC47) (Read error: Connection reset by peer) |
| 2021-08-04 10:18:04 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-04 10:18:48 | → | mastarija joins (~mastarija@31.217.9.205) |
| 2021-08-04 10:19:19 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:bc13:b43a:2532:47af) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-04 10:20:16 | <mastarija> | How do I test stuff that I haven't exported from my module? I have one underlying type which I don't want to export, but I want to test it's monad instance to make sure everything is in order. |
| 2021-08-04 10:20:33 | <mastarija> | Do my tests see those "other modules"? |
| 2021-08-04 10:20:57 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2021-08-04 10:21:13 | <mastarija> | Can should I split that into another file e.g. "Internal" and simply not make it visible to the users of the library? |
| 2021-08-04 10:21:14 | → | jonathanx_ joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-08-04 10:21:23 | <Rembane> | mastarija: IIRC you can't, but you can put it in an Internal module and use that for tests. |
| 2021-08-04 10:21:30 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-08-04 10:21:33 | <Rembane> | mastarija: Yes! |
| 2021-08-04 10:22:22 | <mastarija> | Rembane, you mean, other-modules are visible to my test suite, but not library users? |
| 2021-08-04 10:22:32 | <mastarija> | Or I should just use this as a convention? |
| 2021-08-04 10:22:42 | <mastarija> | And hope users don't use any of that? |
| 2021-08-04 10:22:46 | × | goepsilongo quits (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-08-04 10:23:02 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-08-04 10:23:35 | <Rembane> | mastarija: It's visible to all users if they import the Internal module, but it is frowned upon to do so, unless you have very good reasons, so I think it's a viable solution. |
| 2021-08-04 10:24:03 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 265 seconds) |
| 2021-08-04 10:27:37 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) |
| 2021-08-04 10:29:16 | × | azeem quits (~azeem@176.200.220.247) (Ping timeout: 256 seconds) |
| 2021-08-04 10:29:16 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:a8df:e25e:66b5:a4a4) (Ping timeout: 256 seconds) |
| 2021-08-04 10:29:42 | → | azeem joins (~azeem@176.200.220.247) |
| 2021-08-04 10:29:45 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:be63:cd00:7424:69b4) |
| 2021-08-04 10:32:01 | → | teddyc joins (theodorc@cassarossa.samfundet.no) |
| 2021-08-04 10:32:16 | × | haskl quits (~haskl@98.37.78.63) (Ping timeout: 265 seconds) |
| 2021-08-04 10:32:33 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-04 10:37:02 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-08-04 10:39:46 | <mastarija> | Rembane, hey, wouldn't it be a good way to test my library without exposing Internal modules to just include them as sources in my test suite, instead of including them as a library for my test suite? |
All times are in UTC.