Logs on 2022-01-22 (liberachat/#haskell)
| 00:01:22 | → | ksqsf joins (~user@2001:da8:d800:611:ec5d:b229:c7db:9005) |
| 00:05:45 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 00:05:56 | × | ksqsf quits (~user@2001:da8:d800:611:ec5d:b229:c7db:9005) (Ping timeout: 250 seconds) |
| 00:07:41 | → | SummerSonw joins (~The_viole@203.77.49.232) |
| 00:08:48 | → | bitmapper joins (uid464869@id-464869.lymington.irccloud.com) |
| 00:09:36 | → | ksqsf joins (~user@2001:da8:d800:611:74aa:1812:7dce:e04b) |
| 00:12:10 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 00:13:54 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 00:14:54 | <polyphem> | i have a deriving error, can someone help ? https://paste.tomsmeding.com/RENDjTGF |
| 00:17:30 | <polyphem> | guess i have to use "via" now ? |
| 00:18:17 | × | TonyStone quits (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
| 00:20:00 | × | shapr quits (~user@2601:7c0:c37c:46d0:25fd:6854:a2a7:2f62) (Remote host closed the connection) |
| 00:20:13 | → | shapr joins (~user@2601:7c0:c37c:46d0:25fd:6854:a2a7:2f62) |
| 00:20:50 | <boxscape_> | I believe "via" produces the same code as GND |
| 00:22:24 | <boxscape_> | oh unless you mean via a type other than "NominalDiffTime -> IO a" |
| 00:22:27 | <boxscape_> | not sure if that would work |
| 00:23:08 | <polyphem> | boxscape_: i don't understand the error |
| 00:23:21 | × | jgeerds quits (~jgeerds@55d4a547.access.ecotel.net) (Ping timeout: 256 seconds) |
| 00:23:27 | <ski> | `NominalDiffTime -> IO a' is not of the shape `(...) a' |
| 00:24:07 | × | Siv quits (~fuag1@174.127.249.180) (Read error: Connection reset by peer) |
| 00:24:29 | <boxscape_> | @unmtl ReaderT NominalDiffTime IO a |
| 00:24:29 | <lambdabot> | NominalDiffTime -> IO a |
| 00:24:30 | <ski> | (`IO a' is, if you set `...' to `IO', so that you can use the `Functor'/`Applicative'/`Monad' instance for `IO') |
| 00:25:00 | <boxscape_> | polyphem maybe you can use "deriving (Monad, Applicative, Functor) via ReaderT NominalDiffTime IO a"? |
| 00:26:04 | <polyphem> | so now its not IO a but (->) NominalDiffTime a |
| 00:26:17 | <polyphem> | so now its not IO a but (->) NominalDiffTime IO a |
| 00:26:23 | <polyphem> | so now its not IO a but (->) NominalDiffTime (IO a) |
| 00:26:26 | <ski> | yep |
| 00:26:41 | <polyphem> | boxscape_: i'll try |
| 00:29:04 | → | TonyStone joins (~TonyStone@2603-7080-8607-c36a-65df-a0f5-02cd-1378.res6.spectrum.com) |
| 00:30:02 | × | chomwitt quits (~chomwitt@2a02:587:dc03:8b00:12c3:7bff:fe6d:d374) (Ping timeout: 240 seconds) |
| 00:30:07 | <boxscape_> | polyphem correction, `deriving (Monad, Applicative, Functor) via ReaderT NominalDiffTime IO`, without the `a` at the end |
| 00:31:10 | <polyphem> | boxscape_: yes , had that too , now it works , thanks a lot |
| 00:31:18 | <boxscape_> | nice |
| 00:33:36 | <monochrom> | Hrm, interesting. I always have "String -> Maybe (a, String)" and tired of handwriting its Monad instance. Perhaps "via StateT String Maybe" will do it for me. (My handwritten Monad instance is exactly that anyway.) |
| 00:33:58 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 00:37:27 | <monochrom> | newtype P a = P{unP :: String -> Maybe (a, String)} deriving (Functor, Applicative, Monad, MonadFail, Alternative, MonadPlus) via (StateT String Maybe) |
| 00:37:29 | <monochrom> | :) |
| 00:38:09 | → | argento joins (~argent0@168-227-97-23.ptr.westnet.com.ar) |
| 00:38:13 | <boxscape_> | neat |
| 00:39:56 | ← | ksqsf parts (~user@2001:da8:d800:611:74aa:1812:7dce:e04b) (ERC 5.4.1 (IRC client for GNU Emacs 29.0.50)) |
| 00:42:41 | <ephemient> | huh, that works? I would have expected Monad ((,) String) to work on ...(String, a) rather than ...(a, String) |
| 00:43:18 | <boxscape_> | this doesn't involve the (,) Monad |
| 00:43:19 | <geekosaur> | @unmtl StateT String Maybe |
| 00:43:19 | <lambdabot> | err: `StateT String Maybe' is not applied to enough arguments, giving `/\A. String -> Maybe (A, String)' |
| 00:43:24 | <geekosaur> | @unmtl StateT String Maybe a |
| 00:43:24 | <lambdabot> | String -> Maybe (a, String) |
| 00:43:51 | <monochrom> | Yes but StateT S is not ReaderT S ((,) S) semantically |
| 00:44:45 | <ephemient> | oh I missed the switch from ReaderT to StateT |
| 00:45:40 | <boxscape_> | hm fun when you search for State in hoogle is `newtype State = State {runState :: s -> (s, a)`, which has the opposite tuple order to StateT |
| 00:45:43 | × | shapr quits (~user@2601:7c0:c37c:46d0:25fd:6854:a2a7:2f62) (Remote host closed the connection) |
| 00:45:52 | <boxscape_> | (from Data.Sequence) |
| 00:45:58 | → | shapr joins (~user@2601:7c0:c37c:46d0:25fd:6854:a2a7:2f62) |
| 00:48:17 | ski | . o O ( s/opposite/correct/ ) |
| 00:48:41 | × | mmhat quits (~mmh@55d4fecc.access.ecotel.net) (Quit: WeeChat 3.4) |
| 00:49:18 | <boxscape_> | I don't have a strong opinion on the matter |
| 00:49:33 | <boxscape_> | (though consistency would be nice) |
| 00:49:42 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 250 seconds) |
| 00:49:58 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 00:50:08 | <monochrom> | Oh you look at big endian vs little endian, you can rest assured there will be two consistencies. >:) |
| 00:50:16 | <glguy> | debating the implementation detail of State in its tuple order is a bit like debating what the correct type variables names would be in its implementation |
| 00:50:31 | <boxscape_> | "two consistencies" is a nice way of putting it |
| 00:50:39 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 276 seconds) |
| 00:50:58 | ski | . o O ( left and right adjoint. least and greatest fixed point. &c. ) |
| 00:51:04 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 00:51:13 | <monochrom> | I like s->(s,a) as a composition of two functors. But I heard a reason for s->(a,s) based on some advanced category theory I haven't learned. |
| 00:51:48 | <glguy> | s->(a,s) is nice because a comes before s in the alphabet |
| 00:52:08 | <dolio> | monochrom: It's better for ordered logic. |
| 00:52:32 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 00:53:43 | <ski> | given `Gamma |- A -> B' being equivalent to `Gamma,A |- B' or to `A,Gamma |- B' ? |
| 00:54:09 | <dolio> | Right. |
| 00:54:45 | <ski> | the latter ? |
| 00:55:31 | <dolio> | Presumably the former. |
| 00:55:49 | <ski> | yea .. afaiui, the latter makes more sense |
| 00:56:01 | <dolio> | That's how you get `-×S ⊣ S→-`, and put the S second in State. |
| 00:57:02 | <ski> | like `Gamma0,A,A -> B,Gamma1 |- Delta' follows from `Gamma0,B,Gamma1 |- Delta', which seems to be what makes more sense, to me |
| 00:58:17 | × | myShoggoth quits (~myShoggot@97-120-67-120.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 00:58:19 | <ski> | (from `A tensor (A^bot par B)' you get `(A tensor A^bot) par B', then `bot par B', then `B') |
| 00:59:56 | <alphabeta> | Can I control the order modules appear in a Hackage package page? |
| 01:00:31 | × | nunggu quits (~q@user/nunggu) (Remote host closed the connection) |
| 01:00:46 | <alphabeta> | I've tried explicitly writing out the exposed-modules (in the cabal file) in the order I want |
| 01:00:56 | <alphabeta> | but Hackage still seems to display them alphabetically |
| 01:01:02 | <glguy> | alphabeta: Since they appear alphabetically, and you get to pick the names, yes! |
| 01:01:03 | → | nunggu joins (~q@user/nunggu) |
| 01:01:11 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:01:15 | <alphabeta> | Aw, glguy alright. |
| 01:01:17 | × | tommd quits (~tommd@67-42-147-226.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 01:02:07 | <monochrom> | It's why in the 1990s, readme.txt was often 00readme.txt |
| 01:03:00 | <geekosaur> | I still see that occasionally. Possibly cargo-culted |
| 01:03:05 | <monochrom> | And in the movie The Accountant, the protagonist named his 1-person accounting firm ZZZ Accounting to avoid getting noticed. |
| 01:04:16 | <c_wraith> | that's a name that would get my attention. Not in a positive way... |
| 01:04:16 | <alphabeta> | ah, haha... |
| 01:04:50 | <ephemient> | https://github.com/lsof-org/lsof "00README" "00README.FIRST" "00README.BEFORE.README.FIRST" (...really) |
| 01:04:51 | <geekosaur> | go look at how many locksmiths are Aaaa AAA A-Abra-Cadabra or something like that |
| 01:05:17 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 01:05:19 | <monochrom> | Oh, the idea is that people who open up a physical-paper copy of Yellow Page looking for accountants would not get to Z. |
| 01:05:23 | <boxscape_> | should've named it 000README.FIRST, otherwise how will I know it comes before 00README |
| 01:05:34 | <geekosaur> | that is,m if you can find a phone book in this enlightened age :þ |
| 01:05:47 | <boxscape_> | oh wait |
| 01:05:59 | <boxscape_> | they basically did, it's 00.README.FIRST |
| 01:06:21 | × | Tuplanolla quits (~Tuplanoll@91-159-68-166.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:06:26 | <monochrom> | But yes you're right that an FBI detective would know that ZZZ Accounting means there is something to hide. |
| 01:06:36 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 01:06:44 | <ephemient> | oh yeah, "00.README.FIRST" and "0..README.BEFORE.README.FIRST", so it is first-er |
| 01:07:02 | <geekosaur> | seems unnecessary, B before F |
| 01:07:08 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 01:07:08 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 01:07:08 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:07:10 | <monochrom> | Oh, readme.1st and 00readme.1st existed, too! |
| 01:08:11 | <monochrom> | Also remember the 7.3 constraint. We're talking about FAT16. |
| 01:08:18 | <geekosaur> | 8.3 |
| 01:08:24 | <monochrom> | oops yeah |
| 01:08:40 | <geekosaur> | and the occasional 6.3 from tenex-based archive sites |
| 01:09:15 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 01:10:07 | <geekosaur> | (although I think one of the things that made tenex "-ex" was longer file names… at the expense of fewer filenames per directory iirc) |
| 01:10:54 | <ephemient> | on the flip side, you can have https://github.com/shemminger/iproute2/blob/753ef5b/tc/README.last (although the file ordering isn't really conducive to reading last) |
| 01:11:36 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:12:17 | <monochrom> | Did anyone use reverse psychology and label their user guide "top secret do not read"? >:) |
| 01:12:57 | × | shapr quits (~user@2601:7c0:c37c:46d0:25fd:6854:a2a7:2f62) (Remote host closed the connection) |
| 01:13:10 | → | shapr joins (~user@2601:7c0:c37c:46d0:25fd:6854:a2a7:2f62) |
| 01:14:53 | <zzz> | is (a ~ b) indistinguishable from (b ~ a) ? |
| 01:15:49 | <geekosaur> | it's just unification in the typechecker, I don't think it cares about order |
| 01:16:00 | <zzz> | ok |
| 01:16:19 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 01:16:37 | × | Akiva quits (~Akiva@user/Akiva) (Ping timeout: 256 seconds) |
| 01:17:04 | × | xb0o2 quits (~xb0o2@user/xb0o2) (Quit: Client closed) |
| 01:17:43 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:23:57 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 01:29:17 | × | johnw quits (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Quit: ZNC - http://znc.in) |
| 01:30:47 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 01:33:40 | × | xstill- quits (xstill@fimu/xstill) (Quit: Ping timeout (120 seconds)) |
| 01:33:45 | × | xsarnik quits (xsarnik@lounge.fi.muni.cz) (Quit: Ping timeout (120 seconds)) |
| 01:34:11 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 01:34:11 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 01:34:11 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:35:37 | → | vysn joins (~vysn@user/vysn) |
| 01:36:17 | → | xstill- joins (xstill@fimu/xstill) |
| 01:39:08 | × | shapr quits (~user@2601:7c0:c37c:46d0:25fd:6854:a2a7:2f62) (Remote host closed the connection) |
| 01:39:22 | → | shapr joins (~user@2601:7c0:c37c:46d0:25fd:6854:a2a7:2f62) |
| 01:40:54 | → | xsarnik joins (xsarnik@lounge.fi.muni.cz) |
| 01:45:14 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Quit: Leaving) |
| 01:48:44 | → | myShoggoth joins (~myShoggot@97-120-67-120.ptld.qwest.net) |
| 01:50:20 | <zzz> | is anyone familiar with the E type system mentioned here http://repetae.net/computer/jhc/jhc.shtml ? |
| 01:54:18 | × | lispy quits (~lispy3@84.69.59.93) (Quit: Leaving) |
| 01:54:37 | × | CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 02:00:35 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 02:01:14 | × | acidsys quits (~LSD@2.lsd.systems) (Excess Flood) |
| 02:01:23 | → | califax- joins (~califax@user/califx) |
| 02:01:46 | → | acidsys joins (~LSD@2.lsd.systems) |
| 02:02:13 | → | ksqsf joins (~user@2001:da8:d800:611:74aa:1812:7dce:e04b) |
| 02:02:29 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 02:02:29 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 02:02:45 | × | burnsidesLlama quits (~burnsides@dhcp168-027.wadham.ox.ac.uk) (Remote host closed the connection) |
| 02:03:57 | × | alp quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 02:04:06 | × | califax quits (~califax@user/califx) (Ping timeout: 276 seconds) |
| 02:04:06 | califax- | is now known as califax |
| 02:05:50 | × | shapr quits (~user@2601:7c0:c37c:46d0:25fd:6854:a2a7:2f62) (Remote host closed the connection) |
| 02:06:05 | → | shapr joins (~user@2601:7c0:c37c:46d0:25fd:6854:a2a7:2f62) |
| 02:07:00 | → | alp joins (~alp@user/alp) |
| 02:09:00 | × | argento quits (~argent0@168-227-97-23.ptr.westnet.com.ar) (Ping timeout: 250 seconds) |
| 02:09:14 | <Axman6> | Hecate: it's North Queensland, 'nuf said |
| 02:13:09 | <zzz> | https://twitter.com/SEdwards0108/status/1484415347763851265 |
| 02:13:26 | → | unyu joins (~pyon@user/pyon) |
| 02:24:27 | → | argento joins (~argent0@168-227-97-23.ptr.westnet.com.ar) |
| 02:26:20 | × | xff0x quits (~xff0x@2001:1a81:52b8:8500:732c:1822:8f35:ae7) (Ping timeout: 250 seconds) |
| 02:26:57 | × | myShoggoth quits (~myShoggot@97-120-67-120.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 02:27:25 | × | zmt00 quits (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 02:28:21 | → | xff0x joins (~xff0x@2001:1a81:52f4:b00:8413:5c77:eacd:b6f4) |
| 02:29:22 | × | ksqsf quits (~user@2001:da8:d800:611:74aa:1812:7dce:e04b) (Ping timeout: 250 seconds) |
| 02:29:27 | → | zmt00 joins (~zmt00@user/zmt00) |
| 02:32:34 | × | shapr quits (~user@2601:7c0:c37c:46d0:25fd:6854:a2a7:2f62) (Remote host closed the connection) |
| 02:32:47 | → | shapr joins (~user@2601:7c0:c37c:46d0:25fd:6854:a2a7:2f62) |
| 02:32:50 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 02:33:16 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 250 seconds) |
| 02:33:21 | → | whatsupdoc joins (uid509081@id-509081.hampstead.irccloud.com) |
| 02:36:11 | → | zaquest joins (~notzaques@5.130.79.72) |
| 02:42:01 | × | alx741 quits (~alx741@157.100.93.160) (Quit: alx741) |
| 02:43:57 | × | nunggu quits (~q@user/nunggu) (Quit: nunggu) |
| 02:48:36 | × | bitmapper quits (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:48:44 | → | nunggu joins (~q@user/nunggu) |
| 02:49:38 | → | lavaman joins (~lavaman@98.38.249.169) |
| 02:54:48 | → | myShoggoth joins (~myShoggot@97-120-67-120.ptld.qwest.net) |
| 02:58:18 | → | AlexZenon_2 joins (~alzenon@94.233.241.14) |
| 02:59:12 | → | califax- joins (~califax@user/califx) |
| 02:59:14 | → | ksqsf joins (~user@2001:da8:d800:611:6124:3c0b:af08:60c3) |
| 02:59:56 | × | AlexZenon quits (~alzenon@94.233.241.14) (Ping timeout: 256 seconds) |
| 03:00:17 | → | mbuf joins (~Shakthi@122.174.198.26) |
| 03:01:37 | <whatif> | how to put "." and ".." to the head of alist in alist like ["a",".","b",".."] |
| 03:01:54 | <whatif> | filter? |
| 03:02:43 | <EvanR> | sortBy |
| 03:03:05 | <whatif> | by what? |
| 03:03:07 | <ephemient> | > sort ["a",".","b",".."] |
| 03:03:31 | <EvanR> | > sort ["a",".","b",".."] -- show me the money! |
| 03:03:32 | <lambdabot> | [".","..","a","b"] |
| 03:03:35 | <EvanR> | dang nvm |
| 03:03:48 | <whatif> | but only "." and ".." need to be the first, others remain their place |
| 03:03:50 | <EvanR> | sort by the default |
| 03:03:54 | × | califax quits (~califax@user/califx) (Ping timeout: 276 seconds) |
| 03:03:55 | califax- | is now known as califax |
| 03:03:55 | <EvanR> | oh |
| 03:03:59 | <EvanR> | why |
| 03:04:50 | <whatif> | keep the newest on the top |
| 03:04:50 | <ephemient> | > sortOn (any (/= '.')) ["a",".","b",".."] |
| 03:04:52 | <lambdabot> | [".","..","a","b"] |
| 03:04:56 | <EvanR> | > [".",".."] ++ (delete "." . delete "..") ["b",".","a",".."] |
| 03:04:57 | <lambdabot> | [".","..","b","a"] |
| 03:05:33 | <EvanR> | how did . and .. get down there anyway |
| 03:05:37 | × | waleee quits (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 240 seconds) |
| 03:06:04 | <whatif> | getDirectoryContent |
| 03:08:00 | <ephemient> | oh. if they're paths then treat . and .. specially |
| 03:08:02 | <EvanR> | it would be more convenient if you could not even have them in the first place |
| 03:08:13 | <EvanR> | prepend them to the list as needed |
| 03:08:13 | <whatif> | is getDirectoryContent get the list of file name sorted by its created time? |
| 03:08:20 | <ephemient> | note that it is not guaranteed that directory entries for . and .. will or won't be present |
| 03:08:53 | <ephemient> | https://pubs.opengroup.org/onlinepubs/007904875/functions/readdir_r.html only that if dot and dot-dot entries exist, they will only appear once |
| 03:09:03 | <whatif> | EvanR there is listDirectory but it seems not worked |
| 03:09:05 | <ephemient> | but it is valid for them to not exist |
| 03:11:17 | <whatif> | is there other functions? to get directory content? |
| 03:12:34 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 03:12:59 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 03:16:26 | <ephemient> | really there is no difference between getDirectoryContents and listDirectory beyond the latter calling the former and filtering out . and ..: https://hackage.haskell.org/package/directory-1.3.7.0/docs/src/System.Directory.html#listDirectory |
| 03:17:17 | × | vglfr quits (~vglfr@46.96.174.179) (Ping timeout: 240 seconds) |
| 03:18:39 | → | Everything joins (~Everythin@37.115.210.35) |
| 03:20:46 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 03:24:42 | <whatif> | ok |
| 03:25:08 | → | nitrix joins (~nitrix@user/nitrix) |
| 03:25:37 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 03:26:34 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 03:26:56 | → | vglfr joins (~vglfr@46.96.174.179) |
| 03:29:04 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:29:04 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:29:04 | finn_elija | is now known as FinnElija |
| 03:29:45 | → | deadmarshal joins (~deadmarsh@95.38.117.216) |
| 03:29:57 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 03:31:06 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 03:31:17 | × | td_ quits (~td@94.134.91.211) (Ping timeout: 240 seconds) |
| 03:33:25 | → | td_ joins (~td@94.134.91.124) |
| 03:34:19 | × | deadmarshal quits (~deadmarsh@95.38.117.216) (Ping timeout: 256 seconds) |
| 03:34:21 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 03:38:02 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 03:42:15 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds) |
| 03:43:17 | × | alp quits (~alp@user/alp) (Ping timeout: 268 seconds) |
| 03:49:44 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 03:51:37 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 03:54:48 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 03:54:54 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 03:58:06 | → | img joins (~img@user/img) |
| 04:03:32 | × | ksqsf quits (~user@2001:da8:d800:611:6124:3c0b:af08:60c3) (Ping timeout: 240 seconds) |
| 04:06:50 | × | Midjak quits (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep) |
| 04:13:42 | × | zmt00 quits (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 04:14:56 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 04:15:06 | → | zmt00 joins (~zmt00@user/zmt00) |
| 04:15:28 | → | syntactic_sugar joins (~amoljha@2601:644:8601:2e30::a5c9) |
| 04:16:53 | → | vicfred joins (~vicfred@user/vicfred) |
| 04:19:05 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 04:19:23 | × | ncopa3 quits (~ncopa@gbr2-dev1.alpinelinux.org) (Remote host closed the connection) |
| 04:19:54 | → | ukari joins (~ukari@user/ukari) |
| 04:20:03 | → | ncopa3 joins (~ncopa@gbr2-dev1.alpinelinux.org) |
| 04:20:42 | × | ncopa3 quits (~ncopa@gbr2-dev1.alpinelinux.org) (Remote host closed the connection) |
| 04:28:39 | → | ksqsf joins (~user@2001:da8:d800:611:c13d:b81b:be0e:11e7) |
| 04:33:18 | × | ksqsf quits (~user@2001:da8:d800:611:c13d:b81b:be0e:11e7) (Ping timeout: 250 seconds) |
| 04:34:55 | × | jenna8912 quits (~jenna@c-107-5-104-51.hsd1.mi.comcast.net) (Quit: Reconnecting) |
| 04:35:07 | → | jenna8912 joins (~jenna@c-107-5-104-51.hsd1.mi.comcast.net) |
| 04:38:09 | × | ec quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds) |
| 04:39:54 | → | ksqsf joins (~user@2001:da8:d800:611:d9b6:69a8:2257:386c) |
| 04:47:49 | × | pieguy128 quits (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-134.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:51:05 | → | pieguy128 joins (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-134.dsl.bell.ca) |
| 04:58:41 | × | syntactic_sugar quits (~amoljha@2601:644:8601:2e30::a5c9) (Quit: WeeChat 3.3) |
| 04:58:54 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 05:00:04 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 05:12:37 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 05:15:40 | → | Guest20202 joins (~Guest2020@c-73-231-173-85.hsd1.ca.comcast.net) |
| 05:15:45 | × | vglfr quits (~vglfr@46.96.174.179) (Ping timeout: 256 seconds) |
| 05:15:56 | × | Guest20202 quits (~Guest2020@c-73-231-173-85.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 05:15:56 | × | jenna8912 quits (~jenna@c-107-5-104-51.hsd1.mi.comcast.net) (Ping timeout: 256 seconds) |
| 05:16:00 | → | lavaman joins (~lavaman@98.38.249.169) |
| 05:19:29 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 05:19:53 | → | yauhsien joins (~yauhsien@61-231-58-250.dynamic-ip.hinet.net) |
| 05:20:55 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 05:20:55 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 05:20:55 | → | wroathe joins (~wroathe@user/wroathe) |
| 05:22:21 | × | boxscape_ quits (~boxscape_@p4ff0b9d5.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 05:24:15 | × | yauhsien quits (~yauhsien@61-231-58-250.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 05:25:17 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 05:26:16 | × | kaph quits (~kaph@net-2-47-208-144.cust.vodafonedsl.it) (Ping timeout: 268 seconds) |
| 05:30:57 | × | ezzieyguywuf quits (~Unknown@user/ezzieyguywuf) (Ping timeout: 240 seconds) |
| 05:33:09 | → | ezzieyguywuf joins (~Unknown@user/ezzieyguywuf) |
| 05:37:40 | → | deadmarshal joins (~deadmarsh@95.38.117.216) |
| 05:40:00 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 05:50:36 | → | ardell joins (~ardell@user/ardell) |
| 05:50:57 | × | deadmarshal quits (~deadmarsh@95.38.117.216) (Ping timeout: 240 seconds) |
| 05:51:20 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 05:55:15 | × | martin02 quits (~silas@141.84.69.76) (Read error: Connection reset by peer) |
| 05:55:49 | → | martin02 joins (~silas@141.84.69.76) |
| 05:57:35 | → | deadmarshal joins (~deadmarsh@95.38.117.216) |
| 05:59:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:01:03 | × | argento quits (~argent0@168-227-97-23.ptr.westnet.com.ar) (Remote host closed the connection) |
| 06:02:21 | × | _xor quits (~xor@dsl-50-5-233-169.fuse.net) (Quit: brb) |
| 06:06:43 | → | fef joins (~thedawn@user/thedawn) |
| 06:08:32 | → | yauhsien joins (~yauhsien@61-231-58-250.dynamic-ip.hinet.net) |
| 06:08:52 | → | rusrushal13 joins (~rusrushal@2401:4900:30b8:7574:7056:ba63:5158:d96f) |
| 06:09:47 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 06:09:47 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 06:09:47 | → | wroathe joins (~wroathe@user/wroathe) |
| 06:12:37 | × | yauhsien quits (~yauhsien@61-231-58-250.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 06:13:32 | → | prasad joins (~user@c-73-170-49-136.hsd1.ca.comcast.net) |
| 06:14:39 | → | ix joins (~ix@2a02:8010:674f:0:cda6:d05:f0d7:4922) |
| 06:15:05 | <ix> | ski: huh, you vanished other places |
| 06:17:04 | <ix> | joeyh: hey, im fiddling with your propellor :) trying to add another OS, so i'm looking for a way to generalize `pickOS`. Unfortunately i've never used Sing or Type families before so I'm so lost here... any pointers? |
| 06:17:18 | <prasad> | I want to write a function which would take a [Int] -> [Int]. Inside the function I want to multiply each number by 5 and return a single [Int] if it matches the particular criteria or return the entire list multiplied by 5 |
| 06:17:42 | <prasad> | Need help with this |
| 06:18:11 | <ix> | prasad: maybe implement that step by step, if that makes it easier |
| 06:19:02 | × | EsoAlgo quits (~EsoAlgo@152.70.142.52) (Ping timeout: 240 seconds) |
| 06:19:25 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:19:51 | → | _xor joins (~xor@dsl-50-5-233-169.fuse.net) |
| 06:20:54 | <prasad> | The issue is I don't want to process the entire list and then filter the elements. |
| 06:21:14 | <prasad> | I want to return early if the criteria is matched |
| 06:23:00 | → | Jing joins (~hedgehog@115.207.51.203) |
| 06:25:38 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 06:26:40 | <ix> | https://hackage.haskell.org/package/propellor-5.1.0/docs/src/Propellor-Property.html#pickOS if anyone else can help? |
| 06:27:30 | <ix> | prasad: so an alternative computation |
| 06:29:47 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:30:21 | <ix> | prasad: `<|> :: Maybe a -> Maybe a -> Maybe a` where `Nothing <|> m = m`, `m <|> Nothing = m` and `Nothing <|> Nothing = Nothing` |
| 06:30:43 | <ix> | You'll be able to build something on that i'm sure |
| 06:31:05 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:31:12 | <prasad> | checkMultiple::[Int] -> [Int] |
| 06:31:12 | <prasad> | checkMultiple [] = [] |
| 06:31:12 | <prasad> | checkMultiple (x:xs) = let b = x * 20 in |
| 06:31:12 | <prasad> | case b of |
| 06:31:15 | <prasad> | 20 -> [10] |
| 06:31:18 | <prasad> | _ -> b: checkMultiple xs |
| 06:32:01 | <prasad> | If I pass [2,3,1,5] it returns [40,60,10] |
| 06:32:24 | <prasad> | I want to return only [10] |
| 06:33:51 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 06:34:10 | <prasad> | Should I use Either |
| 06:34:36 | <prasad> | checkMultiple ::[Int] -> Either a |
| 06:35:14 | <ix> | prasad: implement it step by step. |
| 06:35:38 | <ix> | First, multiply the list. Have a list with everything multiplied. Stop there |
| 06:36:34 | <ix> | Then, scan the list, mapping it into Maybes. Then, you just look for the first Just. |
| 06:36:51 | <ix> | Don't overcomplicate it |
| 06:38:06 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 06:39:44 | <ksqsf> | prasad: doing it step by step in haskell is no problem; lists are lazily evaluated |
| 06:40:41 | <ix> | joeyh: feel free to just ping me when you return, i'll see it |
| 06:43:35 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 06:43:51 | → | lavaman joins (~lavaman@98.38.249.169) |
| 06:44:44 | → | EsoAlgo joins (~EsoAlgo@152.70.142.52) |
| 06:46:05 | × | Everything quits (~Everythin@37.115.210.35) (Quit: leaving) |
| 06:47:56 | → | fef joins (~thedawn@user/thedawn) |
| 06:50:57 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds) |
| 06:51:00 | → | chomwitt joins (~chomwitt@ppp-94-67-1-27.home.otenet.gr) |
| 06:51:41 | <prasad> | ix: would it be possible for you to review https://gist.github.com/presci/b8b3ac2a52528339c33b6cb018248668 |
| 06:52:10 | <prasad> | https://adventofcode.com/2021/day/4 |
| 06:52:48 | <prasad> | In the code I have 2 functions isWinner and updateBingoBoard this is tested and it works |
| 06:53:23 | <prasad> | The issue is if I have lot of boards. And if I find some board that matches the criteria |
| 06:53:30 | <prasad> | I don't want to process the list any further |
| 06:55:15 | <prasad> | I can process the all the board with fmap and map function |
| 06:55:29 | × | rusrushal13 quits (~rusrushal@2401:4900:30b8:7574:7056:ba63:5158:d96f) (Ping timeout: 256 seconds) |
| 06:58:54 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 07:00:12 | × | SummerSonw quits (~The_viole@203.77.49.232) (Ping timeout: 250 seconds) |
| 07:00:57 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 07:01:41 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 07:04:24 | <ix> | prasad: what do you think this function does? -- func xs = asum $ map (\x -> if x == 7 then Just (x*5) else Nothing) xs |
| 07:05:00 | → | vglfr joins (~vglfr@88.155.83.78) |
| 07:05:09 | <ix> | prasad: and more importantly, what happens when you apply it to [1..] (infinite list of numbers counting up from 1) |
| 07:05:26 | <ix> | > [1..] |
| 07:05:27 | <lambdabot> | [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,... |
| 07:05:42 | × | nunggu quits (~q@user/nunggu) (Ping timeout: 276 seconds) |
| 07:07:35 | → | nunggu joins (~q@user/nunggu) |
| 07:08:34 | → | lavaman joins (~lavaman@98.38.249.169) |
| 07:09:17 | × | mvk quits (~mvk@2607:fea8:5cdd:f000::55f8) (Ping timeout: 240 seconds) |
| 07:10:09 | <prasad> | map would be evaluated once till x == 7 even if the list is infinite |
| 07:11:05 | → | mvk joins (~mvk@173.33.176.132) |
| 07:11:57 | × | shapr quits (~user@2601:7c0:c37c:46d0:25fd:6854:a2a7:2f62) (Ping timeout: 240 seconds) |
| 07:14:42 | <ix> | prasad: exactly, so return would be 35 |
| 07:14:46 | × | deadmarshal quits (~deadmarsh@95.38.117.216) (Quit: ZNC 1.8.2 - https://znc.in) |
| 07:15:10 | → | deadmarshal joins (~deadmarsh@95.38.117.216) |
| 07:15:21 | <ix> | > (\xs -> asum $ map (\x -> if x == 7 then Just (x*5) else Nothing) xs) [1..] |
| 07:15:23 | <lambdabot> | Just 35 |
| 07:15:40 | <ix> | prasad: so, how can you apply that to your situation? |
| 07:16:43 | <ix> | Laziness :) i asked haskell to run an infinite number of calls, it skipped most of them cause only the first 7 matter |
| 07:17:13 | <ix> | Note: asum is just a fold with <|>, which i described above |
| 07:17:27 | <ix> | :t asum |
| 07:17:28 | <lambdabot> | (Foldable t, Alternative f) => t (f a) -> f a |
| 07:17:33 | <ix> | :t <|> |
| 07:17:34 | <lambdabot> | error: parse error on input ‘<|>’ |
| 07:17:40 | <ix> | :t (<|>) |
| 07:17:42 | <lambdabot> | Alternative f => f a -> f a -> f a |
| 07:18:41 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 07:22:38 | → | lavaman joins (~lavaman@98.38.249.169) |
| 07:22:57 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 07:28:16 | → | notzmv joins (~zmv@user/notzmv) |
| 07:31:02 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 07:31:02 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 07:31:02 | → | wroathe joins (~wroathe@user/wroathe) |
| 07:32:17 | × | fizzsegfaultbuzz quits (~segfaultf@135-180-0-138.static.sonic.net) (Ping timeout: 240 seconds) |
| 07:34:41 | <prasad> | ix: Thank you so much |
| 07:34:53 | <ix> | Np |
| 07:35:44 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 07:35:47 | × | Jing quits (~hedgehog@115.207.51.203) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 07:36:03 | → | frx joins (~bc8147f2@cerf.good1.com) |
| 07:37:39 | <frx> | hi. what is a good web scaper for haskell? |
| 07:37:55 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 07:38:43 | × | xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 07:40:09 | × | nunggu quits (~q@user/nunggu) (Ping timeout: 276 seconds) |
| 07:42:14 | → | SummerSonw joins (~The_viole@203.77.49.232) |
| 07:43:06 | → | nunggu joins (~q@user/nunggu) |
| 07:43:07 | → | Jing joins (~hedgehog@240e:390:7c53:a7e1:9dd8:fa79:cee0:389c) |
| 07:44:57 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 07:46:36 | <ksqsf> | frx: scalpel is pretty good |
| 07:47:05 | <ksqsf> | @package scalpel |
| 07:47:05 | <lambdabot> | https://hackage.haskell.org/package/scalpel |
| 07:49:25 | <frx> | thanks! |
| 07:49:57 | → | lavaman joins (~lavaman@98.38.249.169) |
| 07:53:42 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 08:02:37 | × | polyphem quits (~rod@2a02:810d:840:8754:b6f3:5141:3b3:83de) (Ping timeout: 240 seconds) |
| 08:02:47 | → | polyphem joins (~rod@2a02:810d:840:8754:b6f3:5141:3b3:83de) |
| 08:02:56 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 08:03:55 | <ix> | Well, at least i got _something_ working, it's just not pretty... |
| 08:10:57 | × | myShoggoth quits (~myShoggot@97-120-67-120.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 08:12:44 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Ping timeout: 256 seconds) |
| 08:13:54 | × | akurilin_ quits (uid322841@id-322841.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:14:52 | → | myShoggoth joins (~myShoggot@97-120-67-120.ptld.qwest.net) |
| 08:15:10 | → | ncopa3 joins (~ncopa@gbr2-dev1.alpinelinux.org) |
| 08:15:59 | × | jrm quits (~jrm@156.34.173.250) (Quit: ciao) |
| 08:16:17 | → | jrm joins (~jrm@156.34.173.250) |
| 08:17:22 | → | Guest35 joins (~Guest35@035-134-068-107.res.spectrum.com) |
| 08:17:22 | × | vglfr quits (~vglfr@88.155.83.78) (Read error: Connection reset by peer) |
| 08:17:33 | → | vglfr joins (~vglfr@88.155.83.78) |
| 08:19:31 | × | ukari quits (~ukari@user/ukari) (Remote host closed the connection) |
| 08:20:41 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 08:21:58 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 08:23:16 | → | coot joins (~coot@89-64-85-93.dynamic.chello.pl) |
| 08:24:11 | × | polyphem quits (~rod@2a02:810d:840:8754:b6f3:5141:3b3:83de) (Quit: WeeChat 3.4) |
| 08:24:23 | → | polyphem joins (~rod@2a02:810d:840:8754:b6f3:5141:3b3:83de) |
| 08:29:37 | → | lavaman joins (~lavaman@98.38.249.169) |
| 08:29:37 | → | _ht joins (~quassel@2a02:a468:b619:1:aa62:dbcc:166b:da6a) |
| 08:35:03 | × | Guest35 quits (~Guest35@035-134-068-107.res.spectrum.com) (Quit: Client closed) |
| 08:35:47 | × | vglfr quits (~vglfr@88.155.83.78) (Ping timeout: 256 seconds) |
| 08:39:40 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 08:41:27 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 08:51:17 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:494b:f936:f65f:424f) (Remote host closed the connection) |
| 08:52:15 | → | mmhat joins (~mmh@55d4e57c.access.ecotel.net) |
| 08:52:34 | → | vglfr joins (~vglfr@88.155.83.78) |
| 08:53:32 | × | geranim0 quits (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Ping timeout: 240 seconds) |
| 08:56:22 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 09:00:37 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 09:00:45 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 09:02:01 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 09:10:12 | → | lavaman joins (~lavaman@98.38.249.169) |
| 09:14:32 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 09:16:04 | → | max22- joins (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) |
| 09:17:44 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 09:17:44 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 09:17:47 | allbery_b | is now known as geekosaur |
| 09:18:21 | → | lavaman joins (~lavaman@98.38.249.169) |
| 09:20:31 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 09:21:05 | → | sayola joins (~vekto@dslb-088-064-186-153.088.064.pools.vodafone-ip.de) |
| 09:21:12 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 09:25:24 | × | vysn quits (~vysn@user/vysn) (Remote host closed the connection) |
| 09:25:56 | → | xkuru joins (~xkuru@user/xkuru) |
| 09:27:02 | × | xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 09:29:42 | × | ksqsf quits (~user@2001:da8:d800:611:d9b6:69a8:2257:386c) (Ping timeout: 250 seconds) |
| 09:31:29 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 09:32:56 | × | lechner quits (~lechner@debian/lechner) (Ping timeout: 268 seconds) |
| 09:39:37 | → | LiaoTao_ joins (~LiaoTao@gateway/tor-sasl/liaotao) |
| 09:39:45 | × | LiaoTao quits (~LiaoTao@gateway/tor-sasl/liaotao) (Ping timeout: 276 seconds) |
| 09:48:37 | × | raym quits (~raym@user/raym) (Ping timeout: 240 seconds) |
| 09:51:40 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:494b:f936:f65f:424f) |
| 09:51:58 | → | Tuplanolla joins (~Tuplanoll@91-159-68-166.elisa-laajakaista.fi) |
| 09:52:58 | → | lavaman joins (~lavaman@98.38.249.169) |
| 09:55:17 | × | coot quits (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 09:55:44 | → | ksqsf joins (~user@222.195.66.54) |
| 09:55:47 | → | raym joins (~raym@user/raym) |
| 09:55:57 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:494b:f936:f65f:424f) (Ping timeout: 240 seconds) |
| 09:59:57 | × | ksqsf quits (~user@222.195.66.54) (Ping timeout: 240 seconds) |
| 10:04:07 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 10:05:53 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 10:06:49 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 10:07:24 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Ping timeout: 250 seconds) |
| 10:10:11 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 10:12:35 | → | lavaman joins (~lavaman@98.38.249.169) |
| 10:12:39 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 10:12:45 | → | ksqsf joins (~user@2001:da8:d800:611:9070:c59b:1340:4fd8) |
| 10:13:11 | → | lavaman joins (~lavaman@98.38.249.169) |
| 10:13:57 | → | fef joins (~thedawn@user/thedawn) |
| 10:15:56 | → | dudek joins (~dudek@185.150.236.105) |
| 10:17:02 | × | ksqsf quits (~user@2001:da8:d800:611:9070:c59b:1340:4fd8) (Ping timeout: 240 seconds) |
| 10:17:17 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 10:19:29 | × | pieguy128 quits (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-134.dsl.bell.ca) (Ping timeout: 256 seconds) |
| 10:19:40 | → | sherlock_95 joins (~sherlock_@static.131.42.161.5.clients.your-server.de) |
| 10:20:11 | × | tzh_ quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 10:26:02 | → | Guest5234 joins (~Guest52@80-100-97-100.ip.xs4all.nl) |
| 10:26:28 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 10:27:04 | → | doogled joins (~doogled@cpc101088-sgyl37-2-0-cust22.18-2.cable.virginm.net) |
| 10:27:28 | <doogled> | hi! im reading about different opperating systems, im wondering if i can use haskell with them |
| 10:27:44 | <doogled> | eg. https://en.wikipedia.org/wiki/LineageOS |
| 10:28:32 | <doogled> | ghci could be run on android with a linux shell from the app store |
| 10:28:40 | <Axman6> | I think it might still be possible to compile Haskell programs for Android? I haven't seen anyone doing it for a while though |
| 10:29:03 | <doogled> | oblisk does that right? |
| 10:29:32 | → | ksqsf joins (~user@222.195.66.54) |
| 10:29:44 | <doogled> | https://github.com/obsidiansystems/obelisk#android |
| 10:30:51 | <doogled> | i think basically this enables a workaround to avoid the "proprietary" style languages promoted by google via the android SDK |
| 10:30:55 | → | burnsidesLlama joins (~burnsides@dhcp168-027.wadham.ox.ac.uk) |
| 10:31:04 | → | coot joins (~coot@89-64-85-93.dynamic.chello.pl) |
| 10:31:22 | <doogled> | but i thought maybe the barrier to achieving this might be less on a FOSS OS |
| 10:32:14 | <doogled> | to avoid having to do things like targeting browsers, it having to be totally cross platform just to target a particular platform |
| 10:32:26 | <doogled> | s/it/ie |
| 10:33:10 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:33:50 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 10:34:13 | × | ksqsf quits (~user@222.195.66.54) (Ping timeout: 256 seconds) |
| 10:35:34 | × | xff0x quits (~xff0x@2001:1a81:52f4:b00:8413:5c77:eacd:b6f4) (Ping timeout: 250 seconds) |
| 10:36:08 | <Axman6> | building and maintaining a cross compiling compiler is a lot of work, and the ability to do these things with newer compilers often disappears when there's no one using them and/or no one to maintain them |
| 10:36:29 | → | xff0x joins (~xff0x@2001:1a81:52f4:b00:f090:2f6f:e297:e289) |
| 10:37:10 | <Axman6> | it's much less to do with proprietary systems or not, GHC is much more at home on macOS, which is arguably more proprietary in some ways, becaus eit's very widely used and people notice very quickly when something breaks |
| 10:38:01 | <doogled> | right. |
| 10:38:30 | <doogled> | so a "fringe" OS like lineage is going to be even worse, since even android was difficult and thats huge |
| 10:38:43 | <doogled> | damn |
| 10:38:49 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 10:40:41 | <whatif> | how to setHeader ContentType x-www-urlencode in scotty? setHeader seems not work |
| 10:41:07 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 10:41:07 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 10:41:07 | → | wroathe joins (~wroathe@user/wroathe) |
| 10:42:35 | <doogled> | seems like you can just run android apps on it though. lineageSDK seems to be for developing built in "apps" by rebuilding the entire OS, which seems strange, and unlikely to be able to incorporate haskell code. |
| 10:43:11 | <doogled> | i think this is not going to work, so ill abandon this |
| 10:43:13 | × | doogled quits (~doogled@cpc101088-sgyl37-2-0-cust22.18-2.cable.virginm.net) (Quit: Connection closed) |
| 10:44:54 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 10:45:58 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 10:46:18 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 10:47:42 | → | ksqsf joins (~user@222.195.66.54) |
| 10:47:44 | Lord_of_Life_ | is now known as Lord_of_Life |
| 10:48:00 | → | rusrushal13 joins (~rusrushal@2401:4900:30b2:5d11:6d9c:20fd:e248:3e06) |
| 10:52:52 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5d8e:db89:f241:b6e3) |
| 10:52:54 | × | ksqsf quits (~user@222.195.66.54) (Ping timeout: 250 seconds) |
| 10:56:57 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5d8e:db89:f241:b6e3) (Ping timeout: 240 seconds) |
| 10:57:45 | → | lavaman joins (~lavaman@98.38.249.169) |
| 10:59:11 | → | cosimone joins (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 11:00:50 | → | mcgroin joins (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 11:01:03 | → | fendor joins (~fendor@178.115.77.166.wireless.dyn.drei.com) |
| 11:01:05 | → | alx741 joins (~alx741@157.100.93.160) |
| 11:06:04 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 11:06:32 | → | ksqsf joins (~user@2001:da8:d800:611:5c82:dd4f:5803:24eb) |
| 11:06:32 | × | vglfr quits (~vglfr@88.155.83.78) (Ping timeout: 240 seconds) |
| 11:06:52 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 11:10:05 | → | yauhsien joins (~yauhsien@61-231-58-250.dynamic-ip.hinet.net) |
| 11:10:31 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 11:11:06 | × | ksqsf quits (~user@2001:da8:d800:611:5c82:dd4f:5803:24eb) (Ping timeout: 250 seconds) |
| 11:11:34 | → | lavaman joins (~lavaman@98.38.249.169) |
| 11:11:55 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 11:11:55 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 11:11:55 | → | wroathe joins (~wroathe@user/wroathe) |
| 11:14:38 | × | yauhsien quits (~yauhsien@61-231-58-250.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 11:16:37 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 11:18:37 | → | ksqsf joins (~user@2001:da8:d800:611:b5c6:888c:6867:54e9) |
| 11:18:37 | × | whatsupdoc quits (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 11:18:43 | × | dudek quits (~dudek@185.150.236.105) (Read error: Connection reset by peer) |
| 11:18:55 | → | dudek joins (~dudek@185.150.236.105) |
| 11:19:28 | → | pieguy128 joins (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-67.dsl.bell.ca) |
| 11:20:04 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 11:24:50 | × | pieguy128 quits (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-67.dsl.bell.ca) (Ping timeout: 256 seconds) |
| 11:34:11 | → | vglfr joins (~vglfr@88.155.24.103) |
| 11:34:51 | × | rusrushal13 quits (~rusrushal@2401:4900:30b2:5d11:6d9c:20fd:e248:3e06) (Ping timeout: 256 seconds) |
| 11:35:02 | × | mcgroin quits (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 11:35:56 | → | mcgroin joins (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 11:36:42 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 11:37:54 | × | frx quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC) |
| 11:38:24 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 11:40:42 | × | mcgroin quits (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 11:41:09 | → | rusrushal13 joins (~rusrushal@2401:4900:30b2:5d11:6d9c:20fd:e248:3e06) |
| 11:44:37 | × | juri_ quits (~juri@178.63.35.222) (Ping timeout: 240 seconds) |
| 11:44:58 | → | Guest7361 joins (~Guest73@2a02:c7f:582d:5100:9841:acc1:6b39:cb9f) |
| 11:45:04 | ← | Guest7361 parts (~Guest73@2a02:c7f:582d:5100:9841:acc1:6b39:cb9f) () |
| 11:48:01 | <whatif> | I found a every disturb thing in the wiki about type signature, in scotty, text :: Text ->... I though it's Data.Text, but click it, it's Data.Text.Lazy |
| 11:48:27 | <whatif> | so why not use text :: Data.Text.Lazy.Text -> ... to describe |
| 11:49:12 | <whatif> | there're so many ByteString, I have to qualified them as DB DBC blabla |
| 11:49:26 | <whatif> | that's very anonying |
| 11:49:37 | × | xff0x quits (~xff0x@2001:1a81:52f4:b00:f090:2f6f:e297:e289) (Ping timeout: 240 seconds) |
| 11:50:10 | <whatif> | so the code have to became D.xxx DB.xxx DT.xxx DTL.xxx |
| 11:50:46 | <whatif> | not elegent at all... |
| 11:50:49 | → | xff0x joins (~xff0x@2001:1a81:52f4:b00:df96:89e3:722a:400f) |
| 11:53:36 | → | lavaman joins (~lavaman@98.38.249.169) |
| 11:56:05 | <ksqsf> | whatif: I agree it's annoying. You can define type synonyms to mitigate it. |
| 11:56:14 | <ksqsf> | type Text = Data.Text.Text |
| 11:56:20 | <ksqsf> | type LText = Data.Text.Lazy.Text |
| 11:57:20 | × | burnsidesLlama quits (~burnsides@dhcp168-027.wadham.ox.ac.uk) (Remote host closed the connection) |
| 11:58:13 | → | jgeerds joins (~jgeerds@55d4a547.access.ecotel.net) |
| 12:00:43 | <ephemient> | it would be handy if there were a way to import Data.Text.Lazy (Text as LText), but there isn't |
| 12:02:49 | <polyphem> | whatif: you could also use Text.Builder to construct all your content as Text.Strict , and wrap it all in : text $ fromStrict $ do (all strict text builder stuff) |
| 12:03:32 | × | johnjaye quits (~pi@173.209.65.233) (Ping timeout: 250 seconds) |
| 12:06:15 | → | Codaraxis joins (~Codaraxis@user/codaraxis) |
| 12:16:00 | × | rusrushal13 quits (~rusrushal@2401:4900:30b2:5d11:6d9c:20fd:e248:3e06) (Quit: Ping timeout (120 seconds)) |
| 12:23:44 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 12:24:12 | <whatif> | polyphem: but not just Text has so many kinds, others too |
| 12:25:02 | <polyphem> | they all have their usecases, there is no silver bullet for all cases :( |
| 12:26:44 | <polyphem> | if youd load a big file to show on the website, you wouldnt want for text to bes strict , or would you ? |
| 12:28:00 | → | lavaman joins (~lavaman@98.38.249.169) |
| 12:29:06 | <whatif> | fine |
| 12:29:44 | <whatif> | how to append a newline character with Data.ByteString.writeFile? |
| 12:30:07 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 12:30:17 | <polyphem> | its hard at the beginning when you stumble on all the variations, but once you get to know them , you can structure your approach more clearly |
| 12:31:20 | <polyphem> | whatif: https://gist.github.com/dino-/28b09c465c756c44b2c91d777408e166 |
| 12:32:55 | <whatif> | polyphem: Data.ByteString.Char8.pack "\n"? |
| 12:34:07 | <whatif> | Data.ByteString.appendFile "test.txt" Data.ByteString.Char8.pack "\n"? |
| 12:34:56 | <polyphem> | is file ascii or utf8 ? |
| 12:35:02 | <whatif> | utf8 |
| 12:36:50 | → | juri_ joins (~juri@178.63.35.222) |
| 12:38:24 | <polyphem> | yep, that should work |
| 12:38:31 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 12:38:52 | → | wroathe joins (~wroathe@user/wroathe) |
| 12:40:57 | × | _ht quits (~quassel@2a02:a468:b619:1:aa62:dbcc:166b:da6a) (Ping timeout: 240 seconds) |
| 12:41:20 | <polyphem> | whatif: for any unicode char however youd have tot do : Data.ByteString.appendFile "foo" $ Data.Text.Encoding.encodeUtf8 "\n" |
| 12:41:48 | → | _ht joins (~quassel@37.120.218.149) |
| 12:43:50 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 12:46:16 | <ephemient> | the utf-8 encoding of \n is the same as ascii |
| 12:48:00 | AlexZenon_2 | is now known as AlexZenon |
| 12:48:51 | <polyphem> | u23454323 |
| 12:52:32 | → | __monty__ joins (~toonn@user/toonn) |
| 12:53:22 | × | chomwitt quits (~chomwitt@ppp-94-67-1-27.home.otenet.gr) (Ping timeout: 250 seconds) |
| 12:54:18 | → | lavaman joins (~lavaman@98.38.249.169) |
| 12:57:10 | → | Morrow_ joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 12:57:19 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer) |
| 12:57:32 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 12:58:09 | × | max22- quits (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) (Ping timeout: 256 seconds) |
| 13:00:36 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 13:01:17 | × | Morrow_ quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 240 seconds) |
| 13:02:12 | <whatif> | I found there's non-ISO extended-ASCII, we already have utf8, what's its purpose? |
| 13:02:39 | <whatif> | like exfat to fat32? |
| 13:04:34 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 13:05:03 | <hpc> | are they older or newer than unicode, and by how many years? |
| 13:05:34 | <hpc> | unicode support wasn't universal when it was first standardized, and there was a lot of time before it where computers still existed and people who didn't speak english needed to use them :P |
| 13:05:44 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 13:06:22 | <whatif> | so many languages, so many encodings |
| 13:06:46 | <hpc> | it's more like "why are there so many filesystems when we already have zfs" |
| 13:07:38 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 13:10:44 | → | fendor_ joins (~fendor@91.141.78.76.wireless.dyn.drei.com) |
| 13:13:02 | × | fendor quits (~fendor@178.115.77.166.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 13:15:19 | → | leibniz joins (~leibniz@cpc101088-sgyl37-2-0-cust22.18-2.cable.virginm.net) |
| 13:15:27 | <leibniz> | is there a way to calculate fractions of time? |
| 13:15:51 | <leibniz> | eg, is time t in the first or seccond half of a given hour or day |
| 13:16:14 | → | kaph joins (~kaph@net-2-47-208-144.cust.vodafonedsl.it) |
| 13:16:16 | <leibniz> | i mean, is there a library which gives this kind of functionality |
| 13:17:52 | <timCF> | Hello! I'm trying to statically compile haskell project, and it seems working, but at some point build process is failing on compiling normal haskell dependency (katip) which is used for logging. It's very strange, because it's complaining about missing shared libraries, but libnraries themselves are just haskell deps. Any ideas? https://gist.github.com/21it/dba7b0ea6d847041b1726e72a1e53561 |
| 13:18:44 | × | deadmarshal quits (~deadmarsh@95.38.117.216) (Ping timeout: 256 seconds) |
| 13:19:02 | → | deadmarshal joins (~deadmarsh@68.235.38.164) |
| 13:19:06 | <leibniz> | seems like a nix problem |
| 13:19:12 | <leibniz> | you could try asking on the nix chan |
| 13:19:22 | × | ksqsf quits (~user@2001:da8:d800:611:b5c6:888c:6867:54e9) (Ping timeout: 250 seconds) |
| 13:19:31 | <leibniz> | somone here might be able to help too though |
| 13:19:50 | <geekosaur> | also that is template haskell which needs the dynamic libraries |
| 13:20:15 | <geekosaur> | possibly the build needs to be done with -dynamic-too so that dependencies are available for TH |
| 13:20:16 | <timCF> | geekosaur: hi again :) |
| 13:20:20 | <geekosaur> | hi :) |
| 13:20:58 | <timCF> | geekosaur: you mean some extra flag for cabal? |
| 13:21:26 | <geekosaur> | that's a flag to ghc, for cabal it would go in the ghc-options field of the cabal file |
| 13:21:54 | <geekosaur> | but with all those deps needing it it'd be more like cabal.project |
| 13:21:56 | <timCF> | at the moment I have -static ghc option, and cc-options: -static, and ld-options: -static -pthread |
| 13:22:28 | → | zincy_ joins (~zincy@host86-151-99-97.range86-151.btcentralplus.com) |
| 13:22:32 | <geekosaur> | you'd need to add -dynamic-too to the ghc options, so that it';s available for th |
| 13:22:51 | <geekosaur> | ghc would otherwise ignore it, but TH needs to be able to load those dependencies dynamically |
| 13:22:54 | → | burnsidesLlama joins (~burnsides@dhcp168-027.wadham.ox.ac.uk) |
| 13:23:05 | <timCF> | geekosaur: Thanks! I'll try this! |
| 13:23:07 | <geekosaur> | (or you'df need to compile them into ghc itself) |
| 13:23:21 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Ping timeout: 276 seconds) |
| 13:24:53 | <leibniz> | youd think that this would be made obvious in the error message... |
| 13:25:05 | <leibniz> | if all the things that depend on lens are going to break with -static |
| 13:25:12 | <leibniz> | because of the TH |
| 13:25:34 | <geekosaur> | it kinda did, it's just that the real clue is at the end |
| 13:25:39 | ← | oxytocat parts (~alloca@user/suppi) (WeeChat 1.9.1) |
| 13:25:57 | <geekosaur> | TH could use better error messages though, yes |
| 13:26:50 | <leibniz> | what "dist/build/Katip/Format/Time.dyn_o" ? |
| 13:27:20 | <geekosaur> | the clue in the earlier ones is in the warning name -Wmissed-extra-shared-lib, then the actual error references ghci instead of TH because they use the same code and it more commonly happens with ghci |
| 13:27:38 | <geekosaur> | but explains all the "extra shared lib" references, at least |
| 13:27:53 | × | jgeerds quits (~jgeerds@55d4a547.access.ecotel.net) (Ping timeout: 268 seconds) |
| 13:28:14 | <timCF> | geekosaur: TH uses ghci code base? |
| 13:28:48 | <geekosaur> | both of them use the bytecode backend and bytecode linker |
| 13:29:09 | <leibniz> | ah right, so if you see an error mentioning GHCI while compiling using GHC it could be because of some dynamic/static TH thing |
| 13:29:34 | <geekosaur> | but, come to think of it, if you requested -static, why indeed is it compiling to .dyn_o? |
| 13:30:32 | <leibniz> | i mean, i dont even use lens because it uses TH and i try to stick to idomatic haskell where i can, but this means that libraries are going to fail in ways i wont know how to fix because of never having used this esoteric approach. damn lenses!! |
| 13:32:03 | <leibniz> | but then i dont program using datatype record names either... which i guess is completely impossible in the real world |
| 13:32:32 | <timCF> | Lenses are useful :) And singletons are useful, but sometimes compiler breaks in a super strange way with these libraries |
| 13:32:33 | <geekosaur> | lens doesn't require TH, it just makes record accesses easier. but there's a generic-lens package that is an alternative |
| 13:33:15 | <leibniz> | i guess while it doesnt require it, its commonly used to generate the lenses automatically using special syntax |
| 13:33:31 | <timCF> | But thanks to geekosaur seems like I'll be able to fix it, doing rebuild. In nix env with new global flag it will take a while, let's see how it will go |
| 13:33:45 | <leibniz> | and that any lib that does that will require these "dynamic compilation" considerations |
| 13:34:04 | <geekosaur> | timCF, not sure about that since it ewas compiling katip dynamic instead of static |
| 13:34:09 | <geekosaur> | (.dyn_o) |
| 13:34:24 | <geekosaur> | nix sometimes decides to do its own thing |
| 13:35:06 | <leibniz> | it could at least be worth asking on the nix chan to make them aware of that problem |
| 13:35:13 | <timCF> | leibniz: I think ghc-921 actually fixes your problem with records in Haskell |
| 13:35:24 | <leibniz> | how do you mean? |
| 13:35:34 | <leibniz> | i simply dont use records |
| 13:36:00 | → | chomwitt joins (~chomwitt@2a02:587:dc03:8b00:12c3:7bff:fe6d:d374) |
| 13:36:01 | <timCF> | leibniz: you probably don't use them, because fields getters/setters are not ergonomic without lenses |
| 13:36:08 | <leibniz> | but what does 921 offer thats different? |
| 13:36:15 | → | lavaman joins (~lavaman@98.38.249.169) |
| 13:36:34 | <timCF> | leibniz: new native syntax for working with records as far as I know |
| 13:36:38 | <leibniz> | timCF: no, i dont use them because the datatypes i use have navigational indicies instead of named records |
| 13:36:55 | <leibniz> | timCF: oh cool, ill read |
| 13:37:33 | <timCF> | leibniz: RecordDotSyntax and NoFieldSelectors |
| 13:37:53 | <geekosaur> | RecordDotSyntax, which uses typeclasses natively instead of requiring you to derive them with generics or TH |
| 13:37:54 | <leibniz> | oh yeah i remember something about this |
| 13:38:07 | <leibniz> | so you can have the same record names in different datatypes |
| 13:38:13 | <leibniz> | good idea |
| 13:38:31 | <timCF> | yeah, seems like reasonable improvement, but I didn't tried it yet |
| 13:38:32 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 13:39:15 | <leibniz> | i just mean that all the trees i make are using some kind of Free nesting instead of just doing the nesting using normal syntax |
| 13:39:56 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 13:39:57 | <leibniz> | its quite complicated since it requires the hetrogenous Freelike structure is annotated with the types at each layer, in a typelevel tree! |
| 13:40:09 | → | lavaman joins (~lavaman@98.38.249.169) |
| 13:40:17 | × | mmhat quits (~mmh@55d4e57c.access.ecotel.net) (Ping timeout: 240 seconds) |
| 13:40:27 | <leibniz> | but at least its extensible, unlike the normal way |
| 13:41:09 | <leibniz> | and if your doing stuff like making n-d arrays, then this hetrogenaity means you can generate the type level annotations simply |
| 13:41:16 | → | CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 13:41:35 | <leibniz> | offshoot of some work to do with index algebras |
| 13:42:17 | <leibniz> | basically because numeric compitation has huge datatypes where naming each gridcell would be ridiculous |
| 13:43:22 | <leibniz> | got confusing though because of cyclic boundary conditions - waiting for the cyclic explication annotations to appear |
| 13:44:04 | <leibniz> | linear kinds or something? idk... |
| 13:44:23 | → | Midjak joins (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 13:47:29 | <leibniz> | its not a new idea though so i probably shouldnt bore the community with it |
| 13:47:33 | × | leibniz quits (~leibniz@cpc101088-sgyl37-2-0-cust22.18-2.cable.virginm.net) (Quit: Connection closed) |
| 13:48:55 | <whatif> | could ByteString do <>? |
| 13:50:03 | <geekosaur> | it should |
| 13:50:46 | <geekosaur> | I see a Monoid instance for it, soi it also has a Semigroup instance and should support <> |
| 13:51:26 | <whatif> | let binaryDataList = BSC.lines binaryData |
| 13:51:34 | <whatif> | concat $ fmap (<> (BSC.pack "<br>")) binaryDataList |
| 13:52:05 | <whatif> | Couldn't match expected type `BSC.ByteString' with actual type `[a0]' |
| 13:52:34 | <whatif> | import qualified Data.ByteString.Char8 as BSC |
| 13:53:34 | <geekosaur> | that looks like a different problem |
| 13:54:27 | <geekosaur> | @where paste |
| 13:54:27 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 13:54:35 | → | Guest75 joins (~Guest75@2405:201:c009:616b:bc2b:58f1:50c4:8f86) |
| 13:54:46 | <geekosaur> | full code (or at least more than you have there), full error message |
| 13:54:52 | → | mmhat joins (~mmh@55d4e57c.access.ecotel.net) |
| 13:55:43 | <whatif> | geekosaur: https://paste.tomsmeding.com/RRoOxqdG |
| 13:56:04 | × | Guest75 quits (~Guest75@2405:201:c009:616b:bc2b:58f1:50c4:8f86) (Client Quit) |
| 13:56:07 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 13:56:45 | <geekosaur> | looks like your problem is the concat |
| 13:56:56 | × | fendor_ quits (~fendor@91.141.78.76.wireless.dyn.drei.com) (Remote host closed the connection) |
| 13:57:06 | <geekosaur> | since it shows two type errors, one right before it and one right after |
| 13:57:13 | <geekosaur> | :t concat |
| 13:57:14 | <lambdabot> | Foldable t => t [a] -> [a] |
| 13:57:22 | <geekosaur> | % :t concat @[] |
| 13:57:22 | <yahb> | geekosaur: [[a]] -> [a] |
| 13:57:39 | <whatif> | geekosaur: I should use `foldl1 <>` to instead concat? |
| 13:57:39 | <geekosaur> | :t BSC.concat |
| 13:57:40 | <lambdabot> | [BSC.ByteString] -> BSC.ByteString |
| 13:57:47 | <whatif> | ... |
| 13:58:14 | → | rusrushal13 joins (~rusrushal@2401:4900:30b2:5d11:6d9c:20fd:e248:3e06) |
| 13:58:59 | → | fendor joins (~fendor@91.141.78.76.wireless.dyn.drei.com) |
| 13:59:12 | <whatif> | geekosaur: you're right, BSC.concat worked |
| 13:59:42 | <whatif> | I thought that `join` or `concat` gonna work, and I was wrong |
| 14:04:18 | × | nunggu quits (~q@user/nunggu) (Ping timeout: 276 seconds) |
| 14:06:18 | → | nunggu joins (~q@user/nunggu) |
| 14:09:22 | → | lavaman joins (~lavaman@98.38.249.169) |
| 14:13:30 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 14:16:21 | × | rusrushal13 quits (~rusrushal@2401:4900:30b2:5d11:6d9c:20fd:e248:3e06) (Ping timeout: 256 seconds) |
| 14:22:04 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 14:26:34 | × | kaph quits (~kaph@net-2-47-208-144.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 14:41:23 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 14:43:10 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 14:47:46 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 14:52:36 | → | lavaman joins (~lavaman@98.38.249.169) |
| 14:53:01 | × | zincy_ quits (~zincy@host86-151-99-97.range86-151.btcentralplus.com) (Remote host closed the connection) |
| 14:54:59 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 14:55:12 | → | lavaman joins (~lavaman@98.38.249.169) |
| 14:55:19 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 14:59:23 | → | johnjaye joins (~pi@173.209.65.233) |
| 15:05:05 | → | zincy_ joins (~zincy@host86-151-99-97.range86-151.btcentralplus.com) |
| 15:06:25 | × | burnsidesLlama quits (~burnsides@dhcp168-027.wadham.ox.ac.uk) (Remote host closed the connection) |
| 15:08:37 | × | _ht quits (~quassel@37.120.218.149) (Ping timeout: 240 seconds) |
| 15:09:31 | → | _ht joins (~quassel@2a02:a468:b619:1:aa62:dbcc:166b:da6a) |
| 15:10:23 | × | SummerSonw quits (~The_viole@203.77.49.232) (Ping timeout: 256 seconds) |
| 15:11:10 | → | ProfSimm joins (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 15:14:27 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 15:15:16 | ← | fef parts (~thedawn@user/thedawn) (Leaving) |
| 15:18:19 | → | boxscape_ joins (~boxscape_@p4ff0b9d5.dip0.t-ipconnect.de) |
| 15:18:41 | × | zincy_ quits (~zincy@host86-151-99-97.range86-151.btcentralplus.com) (Remote host closed the connection) |
| 15:18:57 | × | ProfSimm quits (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
| 15:19:16 | → | ProfSimm joins (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 15:23:55 | → | max22- joins (~maxime@2a01cb088335980008f67ae5de220faa.ipv6.abo.wanadoo.fr) |
| 15:23:56 | <boxscape_> | I have a Vulkan function that wants a FunPtr as callback. How do I handle `freeHaskellFunPtr` here? Do I call it once at the end of the program (or rather, tell resourcet to do so)? Docs say "This should be called whenever the return value from a foreign import wrapper function is no longer required; otherwise, the storage it uses will leak.", |
| 15:23:57 | <boxscape_> | which makes me slightly worried it might leak space every time it's called, though that also seems unlikely? |
| 15:24:05 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:f0bc:c4cb:1665:1c67) |
| 15:24:25 | → | epolanski joins (uid312403@id-312403.helmsley.irccloud.com) |
| 15:24:59 | → | wombat875 joins (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 15:25:42 | × | Midjak quits (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: Leaving) |
| 15:25:55 | <geekosaur> | isn't that typically used with a ForeignPtr? |
| 15:26:01 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:26:01 | <geekosaur> | (I think that's the name) |
| 15:26:21 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:f0bc:c4cb:1665:1c67) (Remote host closed the connection) |
| 15:26:38 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/html/libraries/base-4.16.0.0/Foreign-ForeignPtr.html |
| 15:27:19 | → | Midjak joins (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 15:27:28 | <geekosaur> | it's a finalizer for a ForeignPtr, and ForeignPtr ensures it will be called when the associated data is gc-ed |
| 15:28:42 | → | yauhsien joins (~yauhsien@61-231-58-250.dynamic-ip.hinet.net) |
| 15:29:21 | <geekosaur> | althoguh I guess I need to know more about what you're doing before I assert that |
| 15:30:06 | × | yauhsien quits (~yauhsien@61-231-58-250.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 15:30:14 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 15:30:16 | <boxscape_> | geekosaur to be clear, I want the callback to be a haskell function, not a foreign function, I'm not sure if that's the case with FinalizerPtr |
| 15:30:30 | <boxscape_> | I suppose it can be since it's just a type synonym |
| 15:31:04 | → | alx741 joins (~alx741@157.100.93.160) |
| 15:34:47 | <geekosaur> | looks like it has to be a foreign function to me, not a wrapper |
| 15:35:05 | → | yauhsien joins (~yauhsien@61-231-58-250.dynamic-ip.hinet.net) |
| 15:35:21 | <geekosaur> | and yes, it looks like it allocates every time it's called, so you would have to pair every call with a freeHaskellFunPtr |
| 15:35:29 | <geekosaur> | and can't use ForeignPtr |
| 15:35:46 | <geekosaur> | which means you're looking at a bracket type of thing |
| 15:38:33 | <geekosaur> | and if you want to retain the value beyond the bracket you have to coopy it, which you may want anyway and convert it to a proper Haskell value instead of a Ptr |
| 15:38:59 | <boxscape_> | er if I had a foreign function rather than a wrapper I wouldn't need freeHaskellFunPtr since it's not a haskell function, no? I might be misunderstanding something. |
| 15:39:37 | × | yauhsien quits (~yauhsien@61-231-58-250.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 15:40:52 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 15:41:00 | <geekosaur> | right, I forgit the original use case. do you know how many times the callback will be called? |
| 15:41:30 | <boxscape_> | usually not at all but sometimes up to a few times per second, so maybe a few thousand times over the lifetime of the program |
| 15:41:42 | → | burnsidesLlama joins (~burnsides@dhcp168-027.wadham.ox.ac.uk) |
| 15:42:26 | <geekosaur> | oh, you set the callback once and it gets called whenever? I think you're stuck with (small) leaks |
| 15:42:31 | <boxscape_> | ah, fair enough |
| 15:42:40 | <geekosaur> | because the docs say it leaks with every call |
| 15:42:52 | <boxscape_> | ok, I guess I'll live with that, thanks |
| 15:45:57 | × | burnsidesLlama quits (~burnsides@dhcp168-027.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 15:47:14 | → | zincy_ joins (~zincy@2a00:23c8:970c:4801:f0bc:c4cb:1665:1c67) |
| 15:47:24 | × | zincy_ quits (~zincy@2a00:23c8:970c:4801:f0bc:c4cb:1665:1c67) (Remote host closed the connection) |
| 15:50:10 | × | Alex_test quits (~al_test@94.233.241.14) (Ping timeout: 250 seconds) |
| 15:51:22 | → | beepsort joins (~beepsort@31.205.108.155) |
| 15:53:27 | → | Alex_test joins (~al_test@94.233.241.14) |
| 15:53:57 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 15:54:09 | × | wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 276 seconds) |
| 15:54:56 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 15:57:44 | × | CiaoSen quits (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 15:58:36 | → | alx741 joins (~alx741@157.100.93.160) |
| 15:58:39 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 16:01:58 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 16:02:45 | → | harveypwca joins (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 16:03:05 | → | alekhine joins (~alekhine@c-73-38-152-33.hsd1.ma.comcast.net) |
| 16:03:44 | → | Gurkenglas joins (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 16:06:08 | → | waleee joins (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 16:06:50 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 16:10:58 | × | Guest5234 quits (~Guest52@80-100-97-100.ip.xs4all.nl) (Quit: Connection closed) |
| 16:11:52 | → | benin joins (~benin@183.82.31.24) |
| 16:15:19 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 16:15:57 | × | alekhine quits (~alekhine@c-73-38-152-33.hsd1.ma.comcast.net) (Ping timeout: 240 seconds) |
| 16:17:56 | × | ProfSimm quits (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
| 16:18:15 | → | ProfSimm joins (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 16:20:27 | → | alx741 joins (~alx741@157.100.93.160) |
| 16:21:37 | → | burnsidesLlama joins (~burnsides@dhcp168-027.wadham.ox.ac.uk) |
| 16:22:31 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 16:22:31 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 16:22:31 | → | wroathe joins (~wroathe@user/wroathe) |
| 16:22:43 | × | ProfSimm quits (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Ping timeout: 256 seconds) |
| 16:27:00 | × | burnsidesLlama quits (~burnsides@dhcp168-027.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
| 16:30:01 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 16:33:14 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 16:34:03 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 16:34:58 | <maerwald> | so... tasty shows tests via -l switch... but when I then use one of those via -p switch is fails to parse the pattern |
| 16:40:55 | → | ProfSimm joins (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 16:42:12 | → | zmt00 joins (~zmt00@user/zmt00) |
| 16:44:00 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 16:45:49 | → | lavaman joins (~lavaman@98.38.249.169) |
| 16:50:46 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds) |
| 16:50:57 | → | alx741 joins (~alx741@157.100.93.160) |
| 16:52:11 | <EvanR> | boxscape_, you create the callback 1 time, give it to vulkan 1 time, it gets called many times? I wouldn't worry about freeing anything |
| 16:52:29 | × | timCF quits (~timCF@m91-129-100-224.cust.tele2.ee) (Quit: leaving) |
| 16:52:43 | <boxscape_> | okay, yeah, that's how it works |
| 16:52:55 | <geekosaur> | well, it leaks each time it's called, not when it's created |
| 16:52:59 | <EvanR> | no? |
| 16:53:24 | <EvanR> | it allocates resources when you create the wrapper not when foreign code calls it |
| 16:53:32 | <geekosaur> | "Calls to wrapper stubs like mkCompare allocate storage, which should be released with freeHaskellFunPtr when no longer required." |
| 16:53:44 | <EvanR> | mkCompare allocates resources, not uses of the FunPtr |
| 16:53:57 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 16:54:00 | <boxscape_> | that does sound reasonable |
| 16:54:00 | <EvanR> | they may be talking about creating a new FunPtr for every API call |
| 16:54:08 | <EvanR> | which you mgiht have to do sometimes |
| 16:54:08 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 16:54:32 | <EvanR> | if it closes over something important and different each time |
| 16:54:39 | × | deadmarshal quits (~deadmarsh@68.235.38.164) (Ping timeout: 256 seconds) |
| 16:54:55 | <EvanR> | but if foreign code uses the same FunPtr many times, that's not what it's talking about |
| 16:57:16 | × | Jing quits (~hedgehog@240e:390:7c53:a7e1:9dd8:fa79:cee0:389c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:03:57 | × | wombat875 quits (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 17:04:04 | <EvanR> | I've struggled so much chasing "small constant leaks" in SDL... it's a losing game |
| 17:04:18 | → | lispy joins (~lispy3@84.69.59.93) |
| 17:05:32 | → | shapr joins (~user@2601:7c0:c37c:46d0:e679:6b02:49c:44ab) |
| 17:06:19 | → | wombat875 joins (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 17:07:24 | → | snake joins (~snake@user/snake) |
| 17:07:50 | ← | snake parts (~snake@user/snake) () |
| 17:12:27 | × | joo-_ quits (~joo-_@fsf/member/joo--) (Quit: leaving) |
| 17:12:34 | → | alx741 joins (~alx741@157.100.93.160) |
| 17:12:51 | → | joo-_ joins (~joo-_@fsf/member/joo--) |
| 17:16:17 | × | wombat875 quits (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 17:17:56 | <whatif> | I use cabal to install scotty-login-session, meet a little issue, https://paste.tomsmeding.com/4B399kl4 |
| 17:17:57 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 17:18:30 | <whatif> | what this mean " add (unliftio-core-0.2.0.1:Control.Monad.IO.Unlift.MonadUnliftIO m) to the context of the type signature for: " |
| 17:19:20 | → | wombat875 joins (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 17:19:44 | <EvanR> | something you used requires MonadUnliftIO support? |
| 17:20:33 | <EvanR> | props to you for diving directly into haskell web, that's where all the money is! |
| 17:22:20 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 17:22:57 | <whatif> | EvanR I don't understand, more specific? |
| 17:24:38 | × | wombat875 quits (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Ping timeout: 250 seconds) |
| 17:24:49 | <EvanR> | is that your code at the bottom |
| 17:25:35 | <EvanR> | the compiler is suggesting that on line 42 of the paste, you add MonadUnliftIO m. I think. |
| 17:25:45 | <EvanR> | to the context |
| 17:26:43 | → | wombat875 joins (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 17:30:38 | <whatif> | EvanR you mean in the type constraint? |
| 17:30:49 | → | lbseale joins (~ep1ctetus@user/ep1ctetus) |
| 17:32:18 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
| 17:33:11 | × | kjak quits (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 17:33:30 | → | deadmarshal joins (~deadmarsh@95.38.119.69) |
| 17:34:07 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 17:34:25 | <EvanR> | myfunction :: (The m, Context m) => Rest -> Of -> Sig -> CrazyAssTransformers m a |
| 17:35:18 | <EvanR> | yes, constraints |
| 17:38:16 | × | ProfSimm quits (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
| 17:38:20 | <whatif> | yes, it worked |
| 17:38:35 | → | ProfSimm joins (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 17:38:43 | → | geranim0 joins (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 17:39:31 | × | d34df00d quits (~d34df00d@2600:1700:8c60:3a10::48) (Remote host closed the connection) |
| 17:40:05 | → | alx741 joins (~alx741@157.100.93.160) |
| 17:40:24 | → | d34df00d joins (~d34df00d@2600:1700:8c60:3a10::48) |
| 17:40:29 | <whatif> | now `cabal v2-build` is done, could I turn it into one static linked library for other machine to use? |
| 17:40:33 | <whatif> | and how? |
| 17:43:11 | × | ProfSimm quits (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Ping timeout: 256 seconds) |
| 17:44:22 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 17:45:06 | <EvanR> | indeed, that is one of the things cabal does. I'd have to defer to the manual for that |
| 17:46:40 | → | lavaman joins (~lavaman@98.38.249.169) |
| 17:51:04 | × | wombat875 quits (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Ping timeout: 250 seconds) |
| 17:51:41 | × | mc47 quits (~mc47@xmonad/TheMC47) (Ping timeout: 256 seconds) |
| 17:53:01 | → | wombat875 joins (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 17:53:08 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 17:56:57 | × | jespada quits (~jespada@87.74.36.188) (Ping timeout: 240 seconds) |
| 17:58:41 | <whatif> | I tried cabal v2-install, cabal: Cannot build the executables in the package scotty-login-session because it does not contain any executables. Check the .cabal file for the package and make sure that it properly declares the components that you expect. |
| 17:59:22 | <whatif> | ghc example/Simple.hs, no Web.Scotty.Login.Session found, but I have already compiled it! |
| 17:59:43 | <whatif> | cabal repl, import Web.Scotty.Login.Session is ok |
| 17:59:46 | × | turlando quits (~turlando@user/turlando) (Read error: Connection reset by peer) |
| 17:59:51 | <whatif> | what a tool |
| 18:00:23 | × | johnjaye quits (~pi@173.209.65.233) (Ping timeout: 256 seconds) |
| 18:00:44 | → | jespada joins (~jespada@87.74.36.188) |
| 18:01:02 | → | alx741 joins (~alx741@157.100.93.160) |
| 18:01:10 | × | retroid_ quits (~retro@2e40edd9.skybroadband.com) (Quit: Connection error?!) |
| 18:01:24 | → | DNH joins (~DNH@2a02:8108:1100:16d8:58a2:2ee7:7301:3a35) |
| 18:02:30 | <EvanR> | package does not contain any executables, is that referring to your .cabal file, which should list any exe's and lib's of the package |
| 18:02:55 | <EvanR> | ah, that is exactly what it says |
| 18:04:17 | → | turlando joins (~turlando@93-42-250-112.ip89.fastwebnet.it) |
| 18:04:17 | × | turlando quits (~turlando@93-42-250-112.ip89.fastwebnet.it) (Changing host) |
| 18:04:17 | → | turlando joins (~turlando@user/turlando) |
| 18:04:30 | <whatif> | cabal v2-install --lib |
| 18:04:30 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 18:04:46 | <EvanR> | install... |
| 18:05:07 | <whatif> | not? |
| 18:05:10 | <EvanR> | spider sense tingling |
| 18:05:38 | <EvanR> | usually each project is built in isolation and not installed |
| 18:05:41 | <whatif> | cabal is an awful tool than pip or conda |
| 18:06:02 | <EvanR> | you should have seen cabal v1 |
| 18:06:21 | <monochrom> | I don't think it's healthy to scaremonger against "install --lib". There is nothing to be afraid of. |
| 18:06:34 | → | johnw joins (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) |
| 18:06:44 | <[exa]> | whatif: you may use conda for haskell packages |
| 18:06:48 | <monochrom> | v2-install --lib does not have v1 problems. |
| 18:06:49 | <whatif> | monochrom: why after `cabal v2-build`, the package is still not found? |
| 18:07:12 | <whatif> | [exa]: are we saying the same "conda"? |
| 18:07:25 | <whatif> | python's conda? |
| 18:07:54 | <[exa]> | conda is pretty generic, bioinformatics people use it to install R and julia packages |
| 18:08:00 | <whatif> | cabal repl can found the compiled package, why ghc and cabal install can't? |
| 18:08:37 | <[exa]> | the point is that neither conda nor pip need to solve the dependencies of package compilation artifacts |
| 18:09:43 | <[exa]> | so the model of packages and versions that cabal works with is slightly more complicated and much less intuitive |
| 18:09:45 | <whatif> | they are very easy to use, just pip install package-name will do |
| 18:10:38 | <EvanR> | for some reason I'm better now for considering cabal to the build tool and whatever cabal install does as two separate things |
| 18:10:39 | <geekosaur> | sure, and then you're in trouble when you need a different version |
| 18:10:45 | <[exa]> | yep, luckily the packages there are extremely simple, thus the simple interface |
| 18:10:45 | <whatif> | I need to change four files in the cabal installation |
| 18:11:04 | <EvanR> | cabal build and manage deps, something else for installing packages |
| 18:11:16 | <EvanR> | or programs |
| 18:11:17 | <monochrom> | I use install --lib for a few libraries (but not all). An example is hmatrix. I just want to fire up ghci and :m Numeric.LinearAlgebra and find the eignenvectors of a matrix, and that's it. Everything does not need a "cabal init" rite. |
| 18:11:18 | <EvanR> | or libs |
| 18:11:54 | <whatif> | what's your suggestion to use the compiled package after `cabal v2-build`? |
| 18:11:57 | <EvanR> | whatif, which 4? |
| 18:12:20 | <[exa]> | whatif: cabal run ? |
| 18:12:21 | <monochrom> | And I do have actual projects and of course I don't do "install --lib" for their dependencies. |
| 18:12:42 | <whatif> | EvanR two files add ghc feature, one file add the context in type constrain, one change the build depend in the cabal file |
| 18:13:04 | <whatif> | [exa]: cabal run exaple/Simple.hs, still not found the compiled module |
| 18:13:12 | <whatif> | [exa]: no cabal runghc? |
| 18:13:13 | <[exa]> | EvanR: that is a good point btw, I wish we could have the building and package maintainership concerns very separate |
| 18:13:23 | <[exa]> | whatif: you can't run a source file right? |
| 18:13:25 | <whatif> | [exa]: cabal repl can find the compiled module |
| 18:13:41 | <[exa]> | whatif: type `cabal run [your executable name here]` |
| 18:13:56 | <whatif> | [exa]: ghc exaple/Simple.hs can't the compiled module too, after `cabla v2-install --lib`, ghc can find it |
| 18:13:59 | <[exa]> | do you have an "executable" section specified in the cabal file? |
| 18:14:10 | <whatif> | [exa]: no |
| 18:14:24 | <EvanR> | one does not simply run without an executable |
| 18:14:25 | <[exa]> | how can cabal know what to execute then? |
| 18:14:39 | <whatif> | [exa]: the author doesn't config it |
| 18:14:48 | <whatif> | and I don't know how to config it |
| 18:15:24 | <[exa]> | uuuuh so there's some kindof package that has source code of the library and a few adhoc "executable-like" source files that people are supposed to try |
| 18:15:29 | <[exa]> | and they are not really packaged |
| 18:15:31 | <[exa]> | right? |
| 18:15:41 | <whatif> | [exa]: now can I compile the whole module into one library to copy for my vps? |
| 18:16:45 | <[exa]> | in that case, do `cabal install` in the package directory (that will make the package available for ghc), then you can compile the examples with ghc using `ghc -package yourpackagename example/Simple.hs -o simple` or so |
| 18:16:50 | <whatif> | my vps only has 1GB RAM, can't compile this |
| 18:17:05 | <[exa]> | uh oh |
| 18:17:15 | × | cosimone quits (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 18:17:24 | <EvanR> | are we now about to get into cross compilation |
| 18:17:37 | <[exa]> | add swap |
| 18:17:41 | <whatif> | EvanR still haskell |
| 18:18:44 | <whatif> | [exa]: it's a vps, how do you suppose to get a swap partition |
| 18:19:01 | × | acowley quits (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Ping timeout: 240 seconds) |
| 18:19:46 | <whatif> | if you mean a swap file, and config kernel, that's hard |
| 18:19:48 | <[exa]> | `umask 066; truncate -s 4G /myswap; mkswap /myswap; swapon /myswap` |
| 18:19:51 | × | ardell quits (~ardell@user/ardell) (Quit: Konversation terminated!) |
| 18:19:57 | <[exa]> | the hard part ^ |
| 18:20:15 | <whatif> | will-try |
| 18:20:25 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 18:20:34 | → | cosimone joins (~user@93-47-231-147.ip115.fastwebnet.it) |
| 18:21:18 | → | alx741 joins (~alx741@157.100.93.160) |
| 18:21:21 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds) |
| 18:21:47 | <whatif> | [exa]: swapon: /myswap: skipping - it appears to have holes. |
| 18:22:07 | <whatif> | free -h Swap: 0B 0B 0B |
| 18:22:09 | × | mbuf quits (~Shakthi@122.174.198.26) (Quit: Leaving) |
| 18:22:09 | <[exa]> | oh noes |
| 18:22:31 | → | acowley joins (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 18:22:48 | <whatif> | [exa]: someting wrong? |
| 18:22:51 | <[exa]> | try fixing it with something like `dd bs=1M count=4096 if=/dev/zero of=/myswap` |
| 18:23:23 | <[exa]> | I didn't realize it's linux |
| 18:24:44 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 18:25:05 | <whatif> | [exa]: done, then what? swapon /myswap? |
| 18:26:25 | <whatif> | aha, mkswap /myswap; swapon /myswap worked |
| 18:27:17 | <[exa]> | great |
| 18:27:25 | <monochrom> | Haha the irony that the "truncate" command can also expand. :) |
| 18:29:10 | <whatif> | [exa]: monochrom that truncate doesn't work? |
| 18:29:11 | <EvanR> | negative truncation |
| 18:29:50 | <geekosaur> | unix has the concept of file holes |
| 18:30:03 | <geekosaur> | so truncate set the file size but didn't fill it in |
| 18:30:17 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 240 seconds) |
| 18:30:18 | <geekosaur> | whoich doesn't work for swap files, they need real data blocks |
| 18:30:24 | <[exa]> | :( |
| 18:30:38 | <[exa]> | btw I never used truncate for really truncating stuff, everytime for making it bigger |
| 18:31:09 | × | Codaraxis quits (~Codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
| 18:31:15 | <[exa]> | geekosaur: is that common for all unixes? I recall there was a system where this actually allocated |
| 18:31:19 | <[exa]> | (and it wasn't windows) |
| 18:31:26 | → | Codaraxis joins (~Codaraxis@user/codaraxis) |
| 18:32:20 | <geekosaur> | holes were in 7th research edition |
| 18:32:37 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 18:32:47 | <geekosaur> | ftruncate, the syscall it uses, wasn't in all unixes |
| 18:33:35 | × | Codaraxis quits (~Codaraxis@user/codaraxis) (Read error: Connection reset by peer) |
| 18:37:20 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
| 18:37:51 | <whatif> | now the package is compiled on my local machine, how can it be used on vps without compiled again? copy the whole compile directory to vps? |
| 18:38:10 | × | coot quits (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 18:38:14 | <whatif> | compile it to a package, and install the package on vps? |
| 18:38:27 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 18:40:25 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 18:40:37 | × | deadmarshal quits (~deadmarsh@95.38.119.69) (Ping timeout: 240 seconds) |
| 18:41:57 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 18:42:54 | → | alx741 joins (~alx741@157.100.93.160) |
| 18:43:19 | <[exa]> | whatif: is the VPS the same architecture? |
| 18:43:43 | → | kaph joins (~kaph@net-2-47-208-144.cust.vodafonedsl.it) |
| 18:43:45 | <[exa]> | if so you might compile statically (use ghc -static) and then the chances are pretty high that it's just gonna work |
| 18:43:47 | <whatif> | [exa]: yes, amd64 |
| 18:43:56 | <[exa]> | by just compiling the executable there |
| 18:44:06 | × | boxscape_ quits (~boxscape_@p4ff0b9d5.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 18:44:10 | <[exa]> | that's in fact a pretty common way to deploy haskell stuff |
| 18:44:43 | <whatif> | [exa]: you compile my code and the compile code on my machine, pass the binary to vps? |
| 18:45:04 | <whatif> | or just compile the package, and use it on vps with my code |
| 18:45:14 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 18:45:30 | <whatif> | I don't know ghc -static to compile which code? |
| 18:45:41 | <[exa]> | to compile the example you want to run |
| 18:45:55 | <[exa]> | if you add -static, it's going to pack up the libraries |
| 18:46:05 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 256 seconds) |
| 18:46:28 | <ix> | joeyh: ping |
| 18:46:35 | <polyphem> | whatif: compile static and copy the executable to vps |
| 18:47:00 | <whatif> | [exa]: could it be compiled to a deb package? only the github code, not my code? |
| 18:47:25 | → | xkuru joins (~xkuru@user/xkuru) |
| 18:47:49 | <[exa]> | yes, check out how e.g. pandoc is compiled in debian |
| 18:48:35 | → | deadmarshal joins (~deadmarsh@95.38.119.69) |
| 18:48:51 | <whatif> | oh, I need pack a deb package |
| 18:48:57 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 18:53:02 | <whatif> | that's hard, I don't know where cabal v2-install will install those needed file, for dpkg-deb --build Path to generate the deb package |
| 18:55:04 | → | retroid_ joins (~retro@2e40edd9.skybroadband.com) |
| 18:56:09 | × | gehmehgeh quits (~user@user/gehmehgeh) (Ping timeout: 276 seconds) |
| 18:56:56 | → | ProfSimm joins (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 18:57:16 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 19:00:36 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 19:01:44 | <turlando> | I'm experimenting with PatternSynonym and I'm writing a test for a pattern using HSpec. Is there a way to have the test succeed if a pattern matches? |
| 19:02:02 | → | alx741 joins (~alx741@157.100.93.160) |
| 19:02:38 | → | dsrt^ joins (~dsrt@207.182.73.202) |
| 19:04:04 | → | econo joins (uid147250@user/econo) |
| 19:08:21 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 19:08:55 | → | alp joins (~alp@user/alp) |
| 19:09:16 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 19:09:19 | × | benin quits (~benin@183.82.31.24) (Quit: Ping timeout (120 seconds)) |
| 19:09:37 | → | benin joins (~benin@183.82.31.24) |
| 19:10:58 | → | coot joins (~coot@89-64-85-93.dynamic.chello.pl) |
| 19:14:37 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 19:14:59 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 256 seconds) |
| 19:16:13 | → | kjak joins (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 19:18:04 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:18:36 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 19:20:43 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 19:23:26 | × | fryguybob quits (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) (Quit: leaving) |
| 19:24:15 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 19:24:15 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 19:24:15 | → | wroathe joins (~wroathe@user/wroathe) |
| 19:25:07 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 19:26:49 | → | alx741 joins (~alx741@157.100.93.160) |
| 19:27:02 | × | xff0x quits (~xff0x@2001:1a81:52f4:b00:df96:89e3:722a:400f) (Ping timeout: 240 seconds) |
| 19:27:41 | × | lispy quits (~lispy3@84.69.59.93) (Quit: Leaving) |
| 19:28:17 | → | xff0x joins (~xff0x@2001:1a81:52f4:b00:92cd:1cec:76b4:462b) |
| 19:29:21 | × | deadmarshal quits (~deadmarsh@95.38.119.69) (Ping timeout: 256 seconds) |
| 19:29:56 | → | yauhsien joins (~yauhsien@61-231-58-250.dynamic-ip.hinet.net) |
| 19:31:20 | <energizer> | how to make a Day? I tried `import Data.Time.Calendar.OrdinalDate` followed by `Day` |
| 19:32:34 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 19:33:49 | <geekosaur> | there are multiple smart constructors; you can't make one directly |
| 19:34:25 | <geekosaur> | see for example fromOrdinalDate |
| 19:35:14 | <polyphem> | ♫ Daaaaaaaaaay oh, Dahahay oh ♫ |
| 19:36:17 | × | yauhsien quits (~yauhsien@61-231-58-250.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 19:39:02 | <geekosaur> | if you want to be able to specify a Day from a string, see Data.Time.Format |
| 19:40:06 | → | tfeb joins (~tfb@195.213.60.52) |
| 19:40:29 | <energizer> | `fromGregorian 2021 1 1` seems to be what i was looking for |
| 19:40:31 | <energizer> | thanks |
| 19:41:55 | → | johnjaye joins (~pi@173.209.65.233) |
| 19:42:30 | <energizer> | er fromGregorianValid |
| 19:42:41 | <EvanR> | wait... there's an invalid version? |
| 19:42:49 | <EvanR> | why |
| 19:42:49 | <energizer> | https://hackage.haskell.org/package/time-1.13/docs/Data-Time-Calendar.html |
| 19:43:09 | <byorgey> | Should it worry me that when someone asks "how to make a Day?" the first think I think of is https://hackage.haskell.org/package/kan-extensions-5.2.3/docs/Data-Functor-Day.html ? |
| 19:43:26 | <EvanR> | oh returns a Maybe |
| 19:43:33 | <geekosaur> | EvanR, so you can be sloppy. like adding 1 to the last day of a month |
| 19:43:58 | <EvanR> | > fromGregorian 2022 1 31 |
| 19:43:59 | <lambdabot> | error: |
| 19:43:59 | <lambdabot> | Variable not in scope: fromGregorian :: t0 -> t1 -> t2 -> t |
| 19:43:59 | <geekosaur> | oh. still wonder if it does that (I think the corresponding unix utils do) |
| 19:44:20 | <geekosaur> | @let import Data.Time.Gregorian |
| 19:44:20 | <lambdabot> | /sandbox/tmp/.L.hs:122:1: error: |
| 19:44:20 | <lambdabot> | Could not find module ‘Data.Time.Gregorian’ |
| 19:44:20 | <lambdabot> | Use -v (or `:set -v` in ghci) to see a list of the files searched for. |
| 19:45:12 | <energizer> | i wish things would be called fooValid and fooInvalid instead of foo and fooValid |
| 19:45:18 | <geekosaur> | @let import Data.Time.Calendar |
| 19:45:19 | <lambdabot> | /sandbox/tmp/.L.hs:122:1: error: |
| 19:45:19 | <lambdabot> | Data.Time.Calendar: Can't be safely imported! |
| 19:45:19 | <lambdabot> | The package (time-1.9.3) the module resides in isn't trusted. |
| 19:45:33 | <geekosaur> | % import Data.Time.Calendar |
| 19:45:33 | <yahb> | geekosaur: |
| 19:45:43 | <geekosaur> | % fromGregorian 2022 1 31 |
| 19:45:44 | <yahb> | geekosaur: 2022-01-31 |
| 19:46:07 | <geekosaur> | % fromGregorian 2022 1 32 |
| 19:46:07 | <yahb> | geekosaur: 2022-01-31 |
| 19:46:51 | <EvanR> | there's a utility somewhere in there that lets you do that |
| 19:46:57 | <EvanR> | wrap or truncate |
| 19:47:05 | <EvanR> | er, rollover or truncate |
| 19:47:22 | <energizer> | +1 for addGregorianMonthsRollOver and addGregorianYearsClip |
| 19:48:05 | <geekosaur> | but not for loading one up directly |
| 19:48:07 | <geekosaur> | ah well |
| 19:48:18 | × | johnjaye quits (~pi@173.209.65.233) (Quit: WeeChat 3.3) |
| 19:48:37 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 19:49:16 | <EvanR> | I too from time to time tell people calendar dates such as January 32nd and expect them to know wtf I'm saying |
| 19:49:52 | <geekosaur> | first company I worked for would occasionally "extend" a month like that to "avoid" deadlines |
| 19:49:58 | <EvanR> | lol |
| 19:50:32 | → | alx741 joins (~alx741@157.100.93.160) |
| 19:50:57 | <geekosaur> | pervasive computers kinda killed that |
| 19:51:18 | <c_wraith> | eh, accountant time is still a thing. Years always start on Mondays, to accountants. |
| 19:53:21 | × | ProfSimm quits (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
| 19:53:41 | → | ProfSimm joins (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 19:54:18 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 19:58:03 | × | ProfSimm quits (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Ping timeout: 256 seconds) |
| 20:00:16 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5d8e:db89:f241:b6e3) |
| 20:01:57 | × | tfeb quits (~tfb@195.213.60.52) (Quit: died) |
| 20:03:43 | <energizer> | I guess a way to handle bounded addition in general is to first have three functions addSaturate addWrap addErr and then a generic add and three instances that implement it, like SaturatingDate WrappingDate ErringDate |
| 20:05:27 | → | wyrd joins (~wyrd@gateway/tor-sasl/wyrd) |
| 20:05:31 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 20:05:58 | <c_wraith> | I recall edwardk making a comment about GHC's GC once - that it would apply selectors to values if their constructor was already evaluated, as a way to make any unused field collectable slightly earlier. Am I remembering that right? Are there any details written up anywhere? |
| 20:08:10 | <awpr> | sounds like this mechanism https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/rts/storage/heap-objects#selector-thunks |
| 20:09:35 | <joeyh> | ix: pong |
| 20:09:51 | <c_wraith> | awpr: yep, that looks like exactly it. thanks |
| 20:09:53 | <gaze___> | what's the modern way to use cabal? I only see v1-sandbox and v1 commands are deprecated right? |
| 20:10:23 | <c_wraith> | gaze___: everything functions as if it was sandboxed in the v2 (default) commands |
| 20:10:30 | <gaze___> | a ha! |
| 20:10:42 | <c_wraith> | It's not, actually - it shares behind the scenes. |
| 20:10:51 | <c_wraith> | It can do that safely now |
| 20:12:06 | → | alx741 joins (~alx741@157.100.93.160) |
| 20:12:17 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 20:13:13 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 20:13:22 | <ix> | joeyh: did you see my note from last night? |
| 20:13:22 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 20:13:57 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 20:16:19 | <joeyh> | no, I missed it |
| 20:17:25 | <ix> | joeyh: "" hey, im fiddling with your propellor :) trying to add another OS, so i'm looking for a way to generalize `pickOS`. Unfortunately i've never used Sing or Type families before so I'm so lost here... any pointers? |
| 20:18:29 | <joeyh> | ix: so you kind of need to learn about dependant types, basically, although not all of it just a subset of singletons and type families |
| 20:18:46 | <joeyh> | I am not a good person to teach that, but <gestures at find minds on this channel> |
| 20:19:15 | × | hololeap quits (~hololeap@user/hololeap) (Excess Flood) |
| 20:20:12 | geekosaur | wonders if that means hololeap just tried to teach it :þ |
| 20:20:37 | → | hololeap joins (~hololeap@user/hololeap) |
| 20:20:50 | <joeyh> | but I would be surprised if you need to change pickOS itself, it's generic. Have you gotten into the Propellor.Types.MetaTypes module yet? |
| 20:20:57 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 20:20:57 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 20:20:57 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:20:58 | <ix> | joeyh: would it not make sense to just use an effect system? It seems like what you've implemented is limited w.r.t type-level sorting, and with fused-effects/polysemy now a thing those seem more powerful? |
| 20:21:17 | <ix> | I have a peripheral understanding o |
| 20:21:43 | <ix> | ..f dependent types, just not TF |
| 20:21:53 | <joeyh> | oh yeah, there's all kind of probably better ways to do what it's doing. It's contrained by wanting to run on old versions of ghc though, eg 8.0.1 |
| 20:21:54 | → | pavonia joins (~user@user/siracusa) |
| 20:22:03 | <ix> | Oh right |
| 20:22:05 | <ix> | Hm |
| 20:22:26 | <joeyh> | this is why it has its own Propellor.Types.Singletons, cut down from the real library |
| 20:22:41 | <ix> | Why that constraint, ooi? |
| 20:23:27 | <joeyh> | using an effect system is probably an excellent idea |
| 20:24:05 | <ix> | Ah ok, maybe i'll implement that, so i can add gentoo much more tidily |
| 20:24:31 | <ix> | Right now i had to add a pickOS3 to get it to typecheck |
| 20:24:32 | → | CiaoSen joins (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 20:24:56 | <ix> | Inference breaks down with multiple pickOS |
| 20:25:00 | <joeyh> | hmm, I might be able to help with that if you want to email me a patch to look at |
| 20:25:01 | geekosaur | . o O { had wondered at first how you were going to get ghc running on Pick } |
| 20:25:19 | <ix> | I'll see where i get |
| 20:25:46 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 20:25:47 | <joeyh> | oh, you mean foo `pickOS` bar `pickOS` baz? |
| 20:25:51 | <ix> | Global poll: fused-effects or polysemy, which is more favoured these days? |
| 20:25:56 | <ix> | joeyh: yep |
| 20:25:58 | <joeyh> | ... that's a wart for sure! |
| 20:26:22 | <ix> | The design seems loose anyway, im itching to reimplement it :p |
| 20:27:43 | <joeyh> | I've been kind of wanting to redo it to generate shell code (eg with shell-monad or whatever); very little of it seems to need complex IO |
| 20:27:57 | <joeyh> | and this would let it not need to build on the remote host necessarily |
| 20:28:50 | <ix> | Hmm, cool idea |
| 20:29:30 | → | jonathanx joins (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 20:30:09 | × | jonathanx quits (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Client Quit) |
| 20:32:09 | → | alx741 joins (~alx741@157.100.93.160) |
| 20:32:46 | × | max22- quits (~maxime@2a01cb088335980008f67ae5de220faa.ipv6.abo.wanadoo.fr) (Ping timeout: 268 seconds) |
| 20:33:15 | <joeyh> | oh, and withOS is an alternative to pickOS that does support more options |
| 20:33:32 | → | burnsidesLlama joins (~burnsides@dhcp168-027.wadham.ox.ac.uk) |
| 20:33:53 | <joeyh> | gotta run |
| 20:36:32 | × | wombat875 quits (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 20:36:54 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
| 20:37:25 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 20:37:25 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 20:37:25 | → | wroathe joins (~wroathe@user/wroathe) |
| 20:38:17 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 240 seconds) |
| 20:41:33 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 20:42:02 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 20:43:59 | × | coot quits (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 20:44:15 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 20:44:19 | → | deadmarshal joins (~deadmarsh@95.38.119.69) |
| 20:49:25 | × | deadmarshal quits (~deadmarsh@95.38.119.69) (Ping timeout: 268 seconds) |
| 20:50:08 | → | max22- joins (~maxime@2a01cb0883359800b9c0eef0c2aecb73.ipv6.abo.wanadoo.fr) |
| 20:51:47 | → | enoch joins (~enochthec@115-188-139-239-vdsl.sparkbb.co.nz) |
| 20:51:53 | × | enoch quits (~enochthec@115-188-139-239-vdsl.sparkbb.co.nz) (Changing host) |
| 20:51:53 | → | enoch joins (~enochthec@user/enochthechronoco) |
| 20:52:34 | × | alp quits (~alp@user/alp) (Remote host closed the connection) |
| 20:52:55 | → | alp joins (~alp@user/alp) |
| 20:55:06 | <ix> | I did try withOS but hit other type errors that i couldn't figure out due to not being familiar |
| 20:57:53 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:59:40 | → | alx741 joins (~alx741@157.100.93.160) |
| 21:00:52 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 21:01:17 | × | enoch quits (~enochthec@user/enochthechronoco) (Ping timeout: 240 seconds) |
| 21:02:15 | → | wombat875 joins (~wombat875@pool-72-89-24-154.nycmny.fios.verizon.net) |
| 21:04:14 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 21:06:09 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds) |
| 21:07:18 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 21:08:03 | → | pieguy128 joins (~pieguy128@bras-base-mtrlpq5031w-grc-37-70-24-250-33.dsl.bell.ca) |
| 21:08:39 | → | coot joins (~coot@89-64-85-93.dynamic.chello.pl) |
| 21:08:55 | × | fendor quits (~fendor@91.141.78.76.wireless.dyn.drei.com) (Read error: Connection reset by peer) |
| 21:14:07 | × | _ht quits (~quassel@2a02:a468:b619:1:aa62:dbcc:166b:da6a) (Remote host closed the connection) |
| 21:18:24 | → | lispy joins (~lispy3@84.69.59.93) |
| 21:21:36 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 21:22:12 | → | alx741 joins (~alx741@157.100.93.160) |
| 21:24:56 | → | mcgroin joins (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 21:25:25 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 21:31:50 | <EvanR> | hmm, having trouble using an emoji as the name of a function |
| 21:32:09 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 21:32:25 | <EvanR> | is that not supported |
| 21:32:35 | <EvanR> | has emojihaskell twitter been lying to me all these years |
| 21:32:44 | ix | resists the urge to say "good" |
| 21:33:52 | <ix> | joeyh: second suggestion, would it be ok to shift your config outside the "Propellor" Module? I feel like that's the very wrong place for it |
| 21:35:34 | <geekosaur> | > generalCategory '😀' |
| 21:35:36 | <lambdabot> | OtherSymbol |
| 21:36:08 | <geekosaur> | > let x 😀 y = x * 2 + 5 * y in 3 😀 7 |
| 21:36:10 | <lambdabot> | 41 |
| 21:37:38 | → | Topsi joins (~Tobias@dyndsl-095-033-026-019.ewe-ip-backbone.de) |
| 21:37:47 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 21:37:47 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 21:37:47 | finn_elija | is now known as FinnElija |
| 21:38:02 | <pavonia> | Let's put even more fun in functional programming |
| 21:38:12 | × | coot quits (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 21:38:30 | × | shapr quits (~user@2601:7c0:c37c:46d0:e679:6b02:49c:44ab) (Remote host closed the connection) |
| 21:38:46 | → | shapr joins (~user@2601:7c0:c37c:46d0:e679:6b02:49c:44ab) |
| 21:40:41 | → | fr33domlover joins (~fr33@2.55.162.28) |
| 21:41:15 | × | shapr quits (~user@2601:7c0:c37c:46d0:e679:6b02:49c:44ab) (Remote host closed the connection) |
| 21:41:29 | → | shapr joins (~user@2601:7c0:c37c:46d0:e679:6b02:49c:44ab) |
| 21:42:17 | × | myShoggoth quits (~myShoggot@97-120-67-120.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 21:43:47 | → | alx741 joins (~alx741@157.100.93.160) |
| 21:44:00 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 21:45:20 | → | merijn joins (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 21:46:41 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 21:48:00 | × | benin quits (~benin@183.82.31.24) (Quit: The Lounge - https://thelounge.chat) |
| 21:49:16 | → | themc47 joins (~mc47@xmonad/TheMC47) |
| 21:51:32 | × | mc47 quits (~mc47@xmonad/TheMC47) (Ping timeout: 240 seconds) |
| 21:52:30 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:53:05 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 21:55:08 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 22:01:06 | <hpc> | pavonia: lisp puts defun in functional programming :D |
| 22:03:53 | <ix> | i asked earlier, nobody responded, thoughts on fused-effects vs polysemy preferences? |
| 22:03:53 | <monochrom> | haha |
| 22:04:05 | <ix> | lol |
| 22:04:17 | → | alx741 joins (~alx741@157.100.93.160) |
| 22:05:40 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 22:08:13 | × | lispy quits (~lispy3@84.69.59.93) (Quit: Leaving) |
| 22:09:25 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5d8e:db89:f241:b6e3) (Remote host closed the connection) |
| 22:09:36 | <byorgey> | ix: the very high-level view is that fused-effects is the better choice if performance is important, but polysemy is much more flexible. |
| 22:09:57 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 22:10:16 | <byorgey> | with polysemy it is very easy to define your own new effects, and to do things like dispatch selected effects locally, reinterpret effects in terms of other effects, etc. |
| 22:10:34 | <ix> | and it's not easy to do that with fused-effects? |
| 22:11:25 | <ix> | (i have used polysemy once before, i just saw the new note about f-e being more performant and wondered if the hype had shifted to that) |
| 22:14:36 | <ix> | tbh i might just use f-e anyway, to gain the experience |
| 22:18:24 | <byorgey> | It might be possible to do local dispatch and reinterpreting with f-e, I'm not 100% sure. I just know it is very easy to do those things with polysemy, and for some projects that really matters. But for others it doesn't so much. |
| 22:18:52 | <byorgey> | We do use f-e in https://github.com/byorgey/swarm/ but someone else did the work to port it to f-e so I'm not super familiar with it. |
| 22:19:40 | <byorgey> | It seems that 'capability' may be even faster than f-e, but is definitely more limited in what it can do. |
| 22:19:43 | × | merijn quits (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 22:20:25 | <EvanR> | is f-e like free monads on acid |
| 22:21:06 | × | DNH quits (~DNH@2a02:8108:1100:16d8:58a2:2ee7:7301:3a35) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 22:21:55 | × | max22- quits (~maxime@2a01cb0883359800b9c0eef0c2aecb73.ipv6.abo.wanadoo.fr) (Quit: Leaving) |
| 22:22:56 | → | DNH joins (~DNH@2a02:8108:1100:16d8:58a2:2ee7:7301:3a35) |
| 22:26:22 | → | alx741 joins (~alx741@157.100.93.160) |
| 22:26:27 | <byorgey> | EvanR: yeah, pretty much |
| 22:30:49 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 22:31:58 | × | shapr quits (~user@2601:7c0:c37c:46d0:e679:6b02:49c:44ab) (Remote host closed the connection) |
| 22:32:16 | → | shapr joins (~user@2601:7c0:c37c:46d0:e679:6b02:49c:44ab) |
| 22:34:49 | → | nattiestnate joins (~nate@2001:448a:20a0:2d74:df0e:2d0:816:6977) |
| 22:43:53 | <hololeap> | it looks like a cabal file extracted directly from a tarball from hackage.haskell.org uses unix line terminators, but the same cabal file, extracted using `cabal unpack`, uses dos line terminators. any ideas why this is? |
| 22:44:27 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 22:44:27 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 22:44:27 | → | wroathe joins (~wroathe@user/wroathe) |
| 22:44:36 | <hololeap> | the specific package I'm looking at is: fourmolu-0.4.0.0 |
| 22:45:26 | <hololeap> | oh, maybe I should mention that I'm using an old Cabal: 3.2 |
| 22:45:54 | × | themc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 22:46:23 | → | lavaman joins (~lavaman@98.38.249.169) |
| 22:48:15 | <geekosaur> | I note there's a revision, which exists as a separate cabal file. cabal unpack uses the revision, but iirc if you just get a raw tarball from hackage it's on you to get the revision separately. (see https://hackage.haskell.org/package/fourmolu-0.4.0.0/revisions/ and check the shasum) |
| 22:49:07 | → | alx741 joins (~alx741@157.100.93.160) |
| 22:49:33 | <geekosaur> | (nice. cabal unpack isn't documented…) |
| 22:50:53 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 22:51:05 | <byorgey> | geekosaur: I think 'unpack' is just an alias for 'get' |
| 22:51:40 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 22:52:15 | × | mmhat quits (~mmh@55d4e57c.access.ecotel.net) (Quit: WeeChat 3.4) |
| 22:54:54 | <geekosaur> | yeh, I also had to allow access to the search js as it turned out |
| 22:56:04 | → | Pickchea joins (~private@user/pickchea) |
| 22:56:27 | <geekosaur> | forgot I'd only allowed access for v3.6 |
| 22:58:10 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 22:58:44 | × | shapr quits (~user@2601:7c0:c37c:46d0:e679:6b02:49c:44ab) (Remote host closed the connection) |
| 22:58:55 | × | chomwitt quits (~chomwitt@2a02:587:dc03:8b00:12c3:7bff:fe6d:d374) (Ping timeout: 268 seconds) |
| 22:59:00 | → | shapr joins (~user@2601:7c0:c37c:46d0:e679:6b02:49c:44ab) |
| 23:06:18 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:06:53 | × | cosimone quits (~user@93-47-231-147.ip115.fastwebnet.it) (Quit: ERC (IRC client for Emacs 27.1)) |
| 23:09:48 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:5d8e:db89:f241:b6e3) |
| 23:11:15 | → | alx741 joins (~alx741@157.100.93.160) |
| 23:12:34 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:13:42 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 23:13:57 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:5d8e:db89:f241:b6e3) (Ping timeout: 240 seconds) |
| 23:14:56 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Read error: Connection reset by peer) |
| 23:15:02 | → | Morrow_ joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 23:16:16 | × | qhong quits (~qhong@rescomp-21-400677.stanford.edu) (Quit: ZNC 1.8.2 - https://znc.in) |
| 23:16:26 | → | qhong joins (~qhong@rescomp-21-400677.stanford.edu) |
| 23:16:35 | → | Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 23:19:13 | × | Morrow_ quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 256 seconds) |
| 23:19:25 | × | mcgroin quits (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 23:20:55 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 256 seconds) |
| 23:21:28 | × | burnsidesLlama quits (~burnsides@dhcp168-027.wadham.ox.ac.uk) (Remote host closed the connection) |
| 23:21:31 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:24:43 | → | coot joins (~coot@89-64-85-93.dynamic.chello.pl) |
| 23:25:30 | × | shapr quits (~user@2601:7c0:c37c:46d0:e679:6b02:49c:44ab) (Remote host closed the connection) |
| 23:25:43 | → | shapr joins (~user@2601:7c0:c37c:46d0:e679:6b02:49c:44ab) |
| 23:29:49 | → | myShoggoth joins (~myShoggot@97-120-67-120.ptld.qwest.net) |
| 23:30:19 | → | alx741 joins (~alx741@157.100.93.160) |
| 23:30:38 | <d34df00d> | Is there a way to use ghc 9.2 with a stack-based project? |
| 23:31:06 | <d34df00d> | IIRC there is a repo with resolvers for newer ghc versions for which no official stackage resolvers were released, but I can't find that. |
| 23:31:08 | Hash_ | is now known as Hash |
| 23:31:21 | → | son0p joins (~ff@181.136.122.143) |
| 23:31:33 | → | AlexNoo_ joins (~AlexNoo@178.34.150.81) |
| 23:32:59 | × | tromp quits (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:33:35 | × | Alex_test quits (~al_test@94.233.241.14) (Ping timeout: 256 seconds) |
| 23:33:53 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 23:34:16 | × | AlexZenon quits (~alzenon@94.233.241.14) (Ping timeout: 250 seconds) |
| 23:34:33 | × | harveypwca quits (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 23:34:37 | × | AlexNoo quits (~AlexNoo@94.233.241.14) (Ping timeout: 240 seconds) |
| 23:38:02 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 23:38:02 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 23:38:05 | allbery_b | is now known as geekosaur |
| 23:38:14 | × | DNH quits (~DNH@2a02:8108:1100:16d8:58a2:2ee7:7301:3a35) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:39:02 | → | Alex_test joins (~al_test@178.34.150.81) |
| 23:39:09 | → | AlexZenon joins (~alzenon@178.34.150.81) |
| 23:40:57 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 23:41:25 | → | burnsidesLlama joins (~burnsides@dhcp168-027.wadham.ox.ac.uk) |
| 23:46:00 | → | Guest|8 joins (~Guest|8@47.211.207.56) |
| 23:46:06 | × | Guest|8 quits (~Guest|8@47.211.207.56) (Client Quit) |
| 23:47:44 | × | alx741 quits (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 23:48:38 | → | Constraintegic joins (~thomasbul@2001:a61:1300:6601:cc3f:6a1f:a742:f56f) |
| 23:52:41 | × | shapr quits (~user@2601:7c0:c37c:46d0:e679:6b02:49c:44ab) (Remote host closed the connection) |
| 23:52:54 | → | shapr joins (~user@2601:7c0:c37c:46d0:e679:6b02:49c:44ab) |
| 23:56:17 | × | alp quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 23:56:35 | × | dudek quits (~dudek@185.150.236.105) (Read error: Connection reset by peer) |
All times are in UTC on 2022-01-22.