Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 715 716 717 718 719 720 721 722 723 724 725 .. 5022
— 502,152 events total
2020-10-18 17:11:11 <monochrom> :set implies :seti
2020-10-18 17:11:26 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2020-10-18 17:11:44 <monochrom> :seti is useful when you want the option for your hand-entered things but not for the code you will :load
2020-10-18 17:13:07 <texasmynsted> I was using `other-extensions` rather than `default-extensions`. When I use `default-extensions` it works as I would have expected.
2020-10-18 17:13:08 <texasmynsted> :-)
2020-10-18 17:14:31 → nbloomf joins (~nbloomf@76.217.43.73)
2020-10-18 17:14:55 <c_wraith> ah, yes. other-extensions is purely documentation. I don't even know why it's there, really. If there were compilers other than GHC practically available, it might matter...
2020-10-18 17:15:56 <geekosaur> supposedly so it can verify that other extensions used in individual source files are supported by the selected compiler before building the project, as I recall it
2020-10-18 17:16:22 × nbloomf quits (~nbloomf@76.217.43.73) (Client Quit)
2020-10-18 17:17:43 <monochrom> Another is as in the user guide "In Cabal-1.24 the dependency solver will use [other-extensions] and default-extensions information"
2020-10-18 17:18:01 <c_wraith> ... for what?
2020-10-18 17:18:14 <monochrom> Heh I don't actually know.
2020-10-18 17:18:53 → dwt joins (~dwt@c-98-200-58-177.hsd1.tx.comcast.net)
2020-10-18 17:19:35 × GyroW quits (~GyroW@unaffiliated/gyrow) (Remote host closed the connection)
2020-10-18 17:19:50 → GyroW joins (~GyroW@d54c03e98.access.telenet.be)
2020-10-18 17:19:50 × GyroW quits (~GyroW@d54c03e98.access.telenet.be) (Changing host)
2020-10-18 17:19:50 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-18 17:24:51 × conal quits (~conal@172.255.125.154) (Quit: Computer has gone to sleep.)
2020-10-18 17:26:20 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-18 17:26:22 <merijn> c_wraith: You know, for other non-GHC compilers
2020-10-18 17:26:38 → christo joins (~chris@81.96.113.213)
2020-10-18 17:27:10 <merijn> (tbh, I'm in favour of not tying all out tooling to hard to GHC, because that only makes the challenge of making a non-GHC competitor that much more challenging)
2020-10-18 17:27:18 <monochrom> But the "dependency solver" thing doesn't seems to be about other compilers.
2020-10-18 17:27:58 → conal joins (~conal@172.255.125.154)
2020-10-18 17:28:16 <merijn> Sure, no clue what that's about it
2020-10-18 17:28:57 <monochrom> "Cabal prior to 1.24 will abort compilation if the current compiler doesn’t provide the extensions"
2020-10-18 17:29:33 <monochrom> That begins to sound like since 1.24 they have stopped dreaming "there could be another compiler".
2020-10-18 17:29:40 × dwt quits (~dwt@c-98-200-58-177.hsd1.tx.comcast.net) (Ping timeout: 246 seconds)
2020-10-18 17:30:21 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-18 17:30:37 → christo joins (~chris@81.96.113.213)
2020-10-18 17:30:46 <monochrom> Darn. Hugs was so promising.
2020-10-18 17:30:58 × dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Quit: WeeChat 2.7)
2020-10-18 17:31:05 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-18 17:31:15 <c_wraith> and using it between versions of ghc doesn't make that much sense. ghc will fail fast if it encounters extensions it doesn't know anyway
2020-10-18 17:31:33 <geekosaur> how aboutother versions of the current compiler, which might have been considered at one point for dependency checking?
2020-10-18 17:31:43 × karanlikmadde quits (~karanlikm@dynamic-089-012-174-005.89.12.pool.telefonica.de) (Quit: karanlikmadde)
2020-10-18 17:31:47 <c_wraith> I mean, the first thing it has to do when compiling is a topological sort considering imports.
2020-10-18 17:31:55 <monochrom> I know right? It is not like "dependency solver says you need GHC 9.12 so let's download it right now".
2020-10-18 17:32:23 <c_wraith> since that's parsing anyway, it can fail on an unknown extension at that point.
2020-10-18 17:32:25 <geekosaur> stack...
2020-10-18 17:32:38 → nschoe joins (~quassel@2a01:e0a:3c4:c7b0:6d74:2078:bb8:b17d)
2020-10-18 17:33:19 <c_wraith> stack doesn't do anything like that, though. stack's philosophy is the opposite. it alone determines what to install, dependencies get no say
2020-10-18 17:33:30 <MarcelineVQ> is -XPackageImports relevant
2020-10-18 17:33:46 <monochrom> Yeah, stack, except stack is usually in the other direction "dependency solver says you need legacy GHC 4.6"
2020-10-18 17:34:19 <geekosaur> right, but I can imagine someone thinking "let's provide rough feature parity, but our way instead"
2020-10-18 17:34:22 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-18 17:34:35 × ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 260 seconds)
2020-10-18 17:35:03 → christo joins (~chris@81.96.113.213)
2020-10-18 17:35:19 <monochrom> MarcelineVQ: In what context?
2020-10-18 17:35:35 <MarcelineVQ> cabal caring about extensions during solving
2020-10-18 17:35:38 × phr0m3indh0v3n quits (~Android@84.241.205.21) (Read error: Connection reset by peer)
2020-10-18 17:35:46 <monochrom> I think no.
2020-10-18 17:35:58 → phr0m3indh0v3n joins (~Android@84.241.205.21)
2020-10-18 17:36:01 <monochrom> But I really don't know.
2020-10-18 17:37:47 → lucasb joins (uid333435@gateway/web/irccloud.com/x-jgpbbuburcbcxbsy)
2020-10-18 17:43:07 → abhixec joins (~abhixec@c-67-169-141-95.hsd1.ca.comcast.net)
2020-10-18 17:43:25 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds)
2020-10-18 17:44:57 → GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-18 17:44:57 × GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-18 17:44:57 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-18 17:45:28 <christo> hello
2020-10-18 17:45:53 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 258 seconds)
2020-10-18 17:45:55 <christo> what is hoogle?
2020-10-18 17:46:10 <christo> is it like: searchable haskell documentation or something?
2020-10-18 17:46:16 <christo> for libs on hackage?
2020-10-18 17:47:46 <geekosaur> yes. you can try an online version covering the standard libraries at hoogle.haskell.org
2020-10-18 17:48:17 <geekosaur> but you can also install it locally and index your own packages and their dependencies
2020-10-18 17:48:43 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-10-18 17:49:11 <merijn> @hoogle (a -> b) -> [a] -> [b]
2020-10-18 17:49:12 <lambdabot> Prelude map :: (a -> b) -> [a] -> [b]
2020-10-18 17:49:12 <lambdabot> Data.List map :: (a -> b) -> [a] -> [b]
2020-10-18 17:49:12 <lambdabot> GHC.Base map :: (a -> b) -> [a] -> [b]
2020-10-18 17:50:45 → albertus1 joins (~seb@x4db9b903.dyn.telefonica.de)
2020-10-18 17:53:47 → chaosmasttter joins (~chaosmast@p200300c4a710fa01f8ce4354cf8ba13b.dip0.t-ipconnect.de)
2020-10-18 17:54:58 → Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-18 18:00:01 × matp quits (~matp@185.163.110.116) ()
2020-10-18 18:00:44 → gioyik joins (~gioyik@190.67.155.46)
2020-10-18 18:04:24 xerox__ is now known as xerox_
2020-10-18 18:04:56 × chaosmasttter quits (~chaosmast@p200300c4a710fa01f8ce4354cf8ba13b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-18 18:05:35 × coot quits (~coot@37.30.52.68.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-18 18:06:41 <christo> ohhh
2020-10-18 18:07:17 <christo> thx
2020-10-18 18:08:23 → Tene joins (~tene@poipu/supporter/slacker/tene)
2020-10-18 18:08:23 × Tene quits (~tene@poipu/supporter/slacker/tene) (Client Quit)
2020-10-18 18:08:23 → knupfer joins (~Thunderbi@200116b82c6f4e00e9fd13aeb0014cbc.dip.versatel-1u1.de)
2020-10-18 18:08:36 → Tene joins (~tene@mail.digitalkingdom.org)
2020-10-18 18:08:36 × Tene quits (~tene@mail.digitalkingdom.org) (Changing host)
2020-10-18 18:08:36 → Tene joins (~tene@poipu/supporter/slacker/tene)
2020-10-18 18:09:44 → alp joins (~alp@2a01:e0a:58b:4920:546:64d9:5065:63aa)
2020-10-18 18:09:54 × urdh quits (~urdh@unaffiliated/urdh) (Ping timeout: 260 seconds)
2020-10-18 18:10:57 × texasmynsted quits (688c35c3@104.140.53.195) (Remote host closed the connection)
2020-10-18 18:11:32 × knupfer quits (~Thunderbi@200116b82c6f4e00e9fd13aeb0014cbc.dip.versatel-1u1.de) (Client Quit)
2020-10-18 18:11:41 → knupfer joins (~Thunderbi@200116b82c6f4e00e9fd13aeb0014cbc.dip.versatel-1u1.de)
2020-10-18 18:13:06 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 272 seconds)
2020-10-18 18:13:38 → kenran joins (~maier@mue-88-130-62-083.dsl.tropolys.de)
2020-10-18 18:14:13 → contiver joins (~contiver@84-115-65-99.wifi.dynamic.surfer.at)
2020-10-18 18:14:54 × Niamkik quits (~Niamkik@80.67.190.201) (Quit: WeeChat 2.6)
2020-10-18 18:15:03 × ephemera_ quits (~E@122.34.1.187) (Read error: Connection reset by peer)
2020-10-18 18:15:13 → Buntspecht joins (~user@unaffiliated/siracusa)
2020-10-18 18:16:58 → urdh joins (~urdh@unaffiliated/urdh)
←Prev  Next→
Page 1 .. 715 716 717 718 719 720 721 722 723 724 725 .. 5022

All times are in UTC.