Logs: liberachat/#haskell
| 2021-06-22 20:53:08 | <maerwald> | And has a dictator who celebrates rudeness :p |
| 2021-06-22 20:54:31 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-06-22 20:55:52 | ← | safinaskar parts (~safinaska@109-252-90-89.nat.spd-mgts.ru) () |
| 2021-06-22 20:56:32 | × | nvmd quits (~nvmd@user/nvmd) (Ping timeout: 268 seconds) |
| 2021-06-22 20:57:24 | <sclv> | dsal: sadly, not that i know of |
| 2021-06-22 20:58:14 | → | nvmd joins (~nvmd@user/nvmd) |
| 2021-06-22 20:58:17 | <dsal> | Kind of odd. I'll just do a lock haddock. :) |
| 2021-06-22 21:03:21 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 2021-06-22 21:03:51 | → | nf joins (~n@monade.li) |
| 2021-06-22 21:04:32 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Remote host closed the connection) |
| 2021-06-22 21:05:12 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:e846:fcb5:a54b:afb8) |
| 2021-06-22 21:06:14 | <gentauro> | glguy: I saw this message "two week two hour rule". Does it mean that when I go on a 3 week holiday, my IRC account will be removed? |
| 2021-06-22 21:06:34 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 258 seconds) |
| 2021-06-22 21:08:09 | <ChaiTRex> | gentauro: No: https://github.com/Libera-Chat/libera-chat.github.io/commit/cf52115#commitcomment-52513840 |
| 2021-06-22 21:08:29 | × | mikoto-chan quits (~mikoto-ch@ip-213-49-189-31.dsl.scarlet.be) (Ping timeout: 258 seconds) |
| 2021-06-22 21:09:08 | <glguy> | gentauro: have you been using your whole account longer than 2 hours so far? |
| 2021-06-22 21:09:57 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 2021-06-22 21:10:09 | → | nf joins (~n@monade.li) |
| 2021-06-22 21:10:24 | × | bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Remote host closed the connection) |
| 2021-06-22 21:10:47 | × | mc47 quits (~mc47@xmonad/TheMC47) (Ping timeout: 258 seconds) |
| 2021-06-22 21:12:09 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 2021-06-22 21:12:45 | × | warnz quits (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) (Remote host closed the connection) |
| 2021-06-22 21:12:56 | → | mikail__ joins (~mikail@2a02:c7f:bc9c:3100:ae93:93fc:603f:ceaf) |
| 2021-06-22 21:16:21 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-22 21:20:06 | × | mc47 quits (~mc47@xmonad/TheMC47) (Ping timeout: 265 seconds) |
| 2021-06-22 21:20:45 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-06-22 21:24:01 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-22 21:29:58 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-22 21:33:22 | → | curiousggay_ joins (~curiousgg@178.217.208.8) |
| 2021-06-22 21:34:09 | <gentauro> | yes |
| 2021-06-22 21:34:21 | <gentauro> | I use it with a machine (ssh+screen) |
| 2021-06-22 21:34:46 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-06-22 21:35:24 | <gentauro> | ChaiTRex: thx :) |
| 2021-06-22 21:35:42 | × | curiousgay quits (~curiousgg@178.217.208.8) (Ping timeout: 258 seconds) |
| 2021-06-22 21:36:06 | → | aostiles joins (uid505622@id-505622.stonehaven.irccloud.com) |
| 2021-06-22 21:37:51 | → | argento joins (~argent0@168-227-96-26.ptr.westnet.com.ar) |
| 2021-06-22 21:38:33 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-06-22 21:39:03 | × | SoF quits (~skius@user/skius) (Quit: Ping timeout (120 seconds)) |
| 2021-06-22 21:39:47 | → | SoF joins (~skius@user/skius) |
| 2021-06-22 21:46:34 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-06-22 21:46:57 | → | mikail_ joins (~mikail@90.212.77.3) |
| 2021-06-22 21:47:43 | × | derelict quits (~derelict@user/derelict) (Ping timeout: 268 seconds) |
| 2021-06-22 21:49:26 | × | mikail__ quits (~mikail@2a02:c7f:bc9c:3100:ae93:93fc:603f:ceaf) (Ping timeout: 244 seconds) |
| 2021-06-22 21:49:30 | × | haskl quits (~haskeller@user/haskl) (Ping timeout: 264 seconds) |
| 2021-06-22 21:51:18 | → | warnz joins (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) |
| 2021-06-22 21:55:38 | × | warnz quits (~warnz@2600:1700:77c0:5610:799f:ce24:eb20:cceb) (Ping timeout: 244 seconds) |
| 2021-06-22 21:57:31 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal) |
| 2021-06-22 21:59:22 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2021-06-22 21:59:26 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 268 seconds) |
| 2021-06-22 21:59:44 | × | michalz quits (~michalz@185.246.204.61) (Remote host closed the connection) |
| 2021-06-22 22:00:00 | <Boarders> | is there anywhere that lists which flag -O2 turns on? |
| 2021-06-22 22:00:34 | → | x_kuru joins (~xkuru@user/xkuru) |
| 2021-06-22 22:00:48 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-22 22:01:48 | <geekosaur> | "The easiest way to see what -O (etc.) “really mean” is to run with -v, then stand back in amazement. |
| 2021-06-22 22:01:48 | <geekosaur> | " |
| 2021-06-22 22:02:11 | <geekosaur> | presumably it's listed in the source code somewhere |
| 2021-06-22 22:02:30 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-06-22 22:02:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-06-22 22:03:04 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-06-22 22:03:18 | × | xkuru quits (~xkuru@user/xkuru) (Ping timeout: 258 seconds) |
| 2021-06-22 22:10:16 | <Cale> | Boarders: https://gitlab.haskell.org/ghc/ghc/-/blob/master/compiler/GHC/Driver/Session.hs#L3850 |
| 2021-06-22 22:11:58 | <Cale> | also https://downloads.haskell.org/ghc/latest/docs/html/users_guide/flags.html#options-f-compact |
| 2021-06-22 22:14:17 | × | SoF quits (~skius@user/skius) (Read error: Connection reset by peer) |
| 2021-06-22 22:14:39 | → | SoF joins (~skius@user/skius) |
| 2021-06-22 22:16:05 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-06-22 22:18:20 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 244 seconds) |
| 2021-06-22 22:21:32 | × | SoF quits (~skius@user/skius) (Ping timeout: 252 seconds) |
| 2021-06-22 22:23:40 | → | SoF joins (~skius@user/skius) |
| 2021-06-22 22:25:37 | → | derelict joins (~derelict@user/derelict) |
| 2021-06-22 22:26:47 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 2021-06-22 22:27:34 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:7c55:3c65:74e1:3dc5) (Quit: Leaving) |
| 2021-06-22 22:29:50 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal) |
| 2021-06-22 22:29:50 | → | jmcarthur joins (~jmcarthur@c-73-29-224-10.hsd1.nj.comcast.net) |
| 2021-06-22 22:34:35 | × | Morrow_ quits (~MorrowM_@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 268 seconds) |
| 2021-06-22 22:36:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-06-22 22:41:56 | × | GIANTWORLDKEEPER quits (~pjetcetal@2.95.227.207) (Quit: EXIT) |
| 2021-06-22 22:43:20 | → | o1lo01ol1o joins (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) |
| 2021-06-22 22:45:55 | → | GIANTWORLDKEEPER joins (~pjetcetal@2.95.227.207) |
| 2021-06-22 22:47:46 | × | o1lo01ol1o quits (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) (Ping timeout: 258 seconds) |
| 2021-06-22 22:52:13 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:c14c:3118:b974:8ae3) (Quit: Leaving) |
| 2021-06-22 22:52:44 | <dminuoso> | Boarders: There's also a bunch of things that get activated simply based on optimization level without any more granular flags. |
| 2021-06-22 22:54:41 | <dminuoso> | https://gitlab.haskell.org/ghc/ghc/-/blob/master/compiler/GHC/StgToCmm/Layout.hs#L215 |
| 2021-06-22 22:55:07 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-06-22 22:56:01 | <dminuoso> | https://gitlab.haskell.org/ghc/ghc/-/blob/master/compiler/GHC/Cmm/Pipeline.hs#L146 |
| 2021-06-22 22:56:04 | <dminuoso> | And few others |
| 2021-06-22 22:57:41 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-06-22 22:58:22 | × | tzar_bomba quits (~tzar_bomb@78-56-41-78.static.zebra.lt) (Quit: Client closed) |
| 2021-06-22 22:59:58 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 2021-06-22 23:01:27 | → | safinaskar joins (~safinaska@109-252-90-89.nat.spd-mgts.ru) |
| 2021-06-22 23:01:29 | <safinaskar> | https://paste.debian.net/1202082/ |
| 2021-06-22 23:01:33 | <safinaskar> | why this doesn't compile? |
| 2021-06-22 23:03:29 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-06-22 23:04:16 | × | shutdown_-h_now quits (~arjan@82-75-187-100.cable.dynamic.v4.ziggo.nl) (Ping timeout: 268 seconds) |
| 2021-06-22 23:05:06 | → | fizbin joins (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) |
| 2021-06-22 23:06:57 | × | obfusk quits (~quassel@a82-161-150-56.adsl.xs4all.nl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-06-22 23:09:07 | → | obfusk joins (~quassel@a82-161-150-56.adsl.xs4all.nl) |
| 2021-06-22 23:09:20 | → | mpt joins (~tom@2a02:908:1862:49e0::3) |
| 2021-06-22 23:09:34 | × | fizbin quits (~fizbin@c-73-33-197-160.hsd1.nj.comcast.net) (Ping timeout: 252 seconds) |
| 2021-06-22 23:09:44 | × | alex3 quits (~alex3@BSN-77-82-41.static.siol.net) (Ping timeout: 268 seconds) |
| 2021-06-22 23:09:45 | <eggplantade> | Perhaps it doesn't instantiate parameteric types under @ |
All times are in UTC.