Logs: liberachat/#haskell
| 2021-08-04 18:55:52 | → | markpythonicbitc joins (~markpytho@50.228.44.6) |
| 2021-08-04 18:56:31 | → | oxide joins (~lambda@user/oxide) |
| 2021-08-04 18:56:33 | × | markpythonicbitc quits (~markpytho@50.228.44.6) (Read error: Connection reset by peer) |
| 2021-08-04 18:56:36 | <int-e> | delYsid: The two values will be created statically (so at compile time), so you're left with just a pointer. |
| 2021-08-04 18:56:37 | <monochrom> | GHC is an alignment fiend. Expect "machine word" to be its basic atomic unit. |
| 2021-08-04 18:58:35 | <delYsid> | Does {-# UNPACK #-} create aligned fields, or is it somehow packing things according to underlying data type size? |
| 2021-08-04 19:00:26 | <delYsid> | i.e., data D = D {-# UNPACK #-} !Word8 {-# UNPACK #-} !Word8 {-# UNPACK #-} !Word8 {-# UNPACK #-} !Word8 -- 64bit or 256bit? |
| 2021-08-04 19:00:58 | <delYsid> | er, 32bit 256... |
| 2021-08-04 19:02:14 | <monochrom> | I think GHC ended up weaseling out of that question because Word8 is defined by "data Word8 = <constructor name> <machine word type> |
| 2021-08-04 19:02:33 | × | xnyhps quits (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) (Quit: leaving) |
| 2021-08-04 19:02:54 | <delYsid> | oh, right, thanks for reminding me. Thats probably why changing from Int to Word16 didnt do anything... |
| 2021-08-04 19:02:58 | → | sphynx joins (~xnyhps@2a02:2770:3:0:216:3eff:fe67:3288) |
| 2021-08-04 19:03:28 | <monochrom> | See? GHC is an alignment fiend. >:) |
| 2021-08-04 19:03:42 | <delYsid> | So essential, if I want to pack things neatly, I need to manually do bit shifting to get smaller values out of bigger ones? |
| 2021-08-04 19:04:29 | <delYsid> | (and then the shifting is probably killing all the gain I got from lesser allocations.) |
| 2021-08-04 19:05:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-04 19:08:07 | fendor_ | is now known as fendor |
| 2021-08-04 19:10:22 | × | kuribas quits (~user@ptr-25vy0i7cx9hjm3ojhv2.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-08-04 19:20:14 | → | burnsidesLlama joins (~burnsides@dhcp168-019.wadham.ox.ac.uk) |
| 2021-08-04 19:20:16 | <geekosaur> | it'll be interesting to see how that works in 9.2 |
| 2021-08-04 19:21:33 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-04 19:22:34 | × | MQ-17J quits (~MQ-17J@8.6.144.192) (Ping timeout: 240 seconds) |
| 2021-08-04 19:29:10 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-04 19:34:59 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:4433:c8ce:66b8:8b6e) |
| 2021-08-04 19:39:22 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-08-04 19:39:44 | → | thelounge9230681 joins (~thelounge@cpe-75-85-161-60.san.res.rr.com) |
| 2021-08-04 19:40:15 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-08-04 19:42:20 | × | alx741 quits (~alx741@181.196.69.121) (Ping timeout: 252 seconds) |
| 2021-08-04 19:45:20 | × | ubert quits (~Thunderbi@178.165.174.102.wireless.dyn.drei.com) (Quit: ubert) |
| 2021-08-04 19:47:05 | → | acidjnk_new3 joins (~acidjnk@p200300d0c72b9506f08af8023599699d.dip0.t-ipconnect.de) |
| 2021-08-04 19:48:22 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2021-08-04 19:48:34 | × | Ariakenom quits (~Ariakenom@c83-255-154-140.bredband.tele2.se) (Quit: Leaving) |
| 2021-08-04 19:48:37 | → | gentauro joins (~gentauro@user/gentauro) |
| 2021-08-04 19:49:42 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-04 19:49:42 | × | slavaqq quits (~slavaqq@sdmail.sdserver.cz) (Quit: Client closed) |
| 2021-08-04 19:51:35 | → | mr-red joins (~drd@93-39-151-19.ip76.fastwebnet.it) |
| 2021-08-04 19:53:53 | × | drd quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 252 seconds) |
| 2021-08-04 19:54:43 | → | jgeerds joins (~jgeerds@55d45555.access.ecotel.net) |
| 2021-08-04 19:55:27 | → | alx741 joins (~alx741@186.178.109.254) |
| 2021-08-04 20:05:12 | × | juhp quits (~juhp@128.106.188.220) (Ping timeout: 268 seconds) |
| 2021-08-04 20:05:17 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Remote host closed the connection) |
| 2021-08-04 20:05:26 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-08-04 20:06:30 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-04 20:06:36 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9506b4fcf3b689739a9c.dip0.t-ipconnect.de) |
| 2021-08-04 20:07:00 | → | marinelli joins (~marinelli@gateway/tor-sasl/marinelli) |
| 2021-08-04 20:07:10 | → | juhp joins (~juhp@128.106.188.220) |
| 2021-08-04 20:08:47 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-04 20:09:03 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Client Quit) |
| 2021-08-04 20:10:07 | × | acidjnk_new3 quits (~acidjnk@p200300d0c72b9506f08af8023599699d.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-08-04 20:10:12 | → | slack1256 joins (~slack1256@181.203.123.157) |
| 2021-08-04 20:10:30 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 258 seconds) |
| 2021-08-04 20:11:33 | <slack1256> | Are cabal's "internal libraries" supported on stack? I don't seem to find info on that. For reference I mean this feature https://cabal.readthedocs.io/en/3.4/cabal-package.html#sublibs |
| 2021-08-04 20:11:55 | <sclv> | Nope |
| 2021-08-04 20:12:13 | <slack1256> | :sad: |
| 2021-08-04 20:13:23 | <slack1256> | Alternatively, is there a detailed advice on how to maintain the import module lattice without loops? |
| 2021-08-04 20:15:45 | × | Tuplanolla quits (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-08-04 20:16:26 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-08-04 20:17:40 | → | sheepduck joins (~sheepduck@user/sheepduck) |
| 2021-08-04 20:20:20 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-04 20:20:49 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-08-04 20:21:14 | × | mr-red quits (~drd@93-39-151-19.ip76.fastwebnet.it) (Ping timeout: 268 seconds) |
| 2021-08-04 20:23:07 | <slack1256> | Oh, nevermind. I solved it. |
| 2021-08-04 20:23:24 | × | sheepduck quits (~sheepduck@user/sheepduck) (Remote host closed the connection) |
| 2021-08-04 20:25:18 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-08-04 20:26:45 | × | reumeth quits (~reumeth@user/reumeth) (Remote host closed the connection) |
| 2021-08-04 20:27:14 | → | reumeth joins (~reumeth@user/reumeth) |
| 2021-08-04 20:27:58 | mnrmnaugh | is now known as KeziahMason |
| 2021-08-04 20:29:57 | <drakonis> | davean: https://guix.gnu.org/manual/en/html_node/Defining-Package-Variants.html |
| 2021-08-04 20:30:03 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a1-224.dhcp.inet.fi) |
| 2021-08-04 20:30:04 | <drakonis> | this might interest you |
| 2021-08-04 20:30:25 | × | burnsidesLlama quits (~burnsides@dhcp168-019.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-04 20:37:53 | × | azeem quits (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2021-08-04 20:38:58 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 240 seconds) |
| 2021-08-04 20:40:48 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-08-04 20:44:37 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 258 seconds) |
| 2021-08-04 20:46:14 | → | jneira_ joins (~jneira_@28.red-80-28-169.staticip.rima-tde.net) |
| 2021-08-04 20:48:52 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-08-04 20:50:12 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-04 20:50:35 | <lechner> | Hi, what is the motivation for cabal mixins, please? Isn't that more robustly handled by patching sources. if needed? |
| 2021-08-04 20:51:11 | → | azeem joins (~azeem@dynamic-adsl-94-34-48-122.clienti.tiscali.it) |
| 2021-08-04 20:51:17 | <[exa]> | lechner: maybe "automated patching of sources" |
| 2021-08-04 20:51:38 | <lechner> | a patch automatically applied? |
| 2021-08-04 20:51:41 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-08-04 20:52:00 | <[exa]> | not really a patch but some reasonable specialization that you'd otherwise crudely apply as a patch |
| 2021-08-04 20:52:21 | <lechner> | either way, what's the use case? is it really worth the complexity? |
| 2021-08-04 20:53:17 | <yushyin> | the motivation behind mixins was backpack, afaik |
| 2021-08-04 20:53:24 | <yushyin> | https://gitlab.haskell.org/ghc/ghc/-/wikis/backpack |
| 2021-08-04 20:53:31 | × | ajb_ quits (~ajb@cupid.whatbox.ca) (Quit: bye) |
| 2021-08-04 20:53:41 | → | ajb joins (~ajb@cupid.whatbox.ca) |
| 2021-08-04 20:54:10 | <[exa]> | IMO not really (<- traditionalist point of view lol), but it appearently helped some people. |
| 2021-08-04 20:54:40 | <monochrom> | cabal mixin is part of the Backpack system. This is a higher-order module system, not a patch system. |
| 2021-08-04 20:54:52 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2021-08-04 20:57:48 | <monochrom> | Backpack is not much more complex than SML module system. You would have to also claim "SML module system is too complex" if you wanted to claim "Backpack is too complex". |
| 2021-08-04 20:58:56 | × | jonathanx_ quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-08-04 20:59:17 | → | jonathanx_ joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2021-08-04 20:59:36 | <lechner> | dunno about backpack, but don't mixins simply fake module names? |
| 2021-08-04 20:59:55 | <monochrom> | Its shortcoming is that it arrived too late, losing out to inertia and networking effect of alternative make-shift workarounds such as "the bytestring library dliberately name-clashes with Data.List so you enjoy 'the same API', import qualified to enjoy B.length syntax" |
| 2021-08-04 21:00:03 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 2021-08-04 21:00:49 | → | Ariakenom joins (~patrik@c83-255-154-140.bredband.tele2.se) |
| 2021-08-04 21:00:57 | <lechner> | how would that work with backpack? |
All times are in UTC.