Logs: freenode/#haskell
| 2021-05-10 10:16:57 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-05-10 10:20:00 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-10 10:20:11 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-05-10 10:21:51 | <safinaskar> | sclv: "just look on hackage" - hackage site is not handy. i need to manually click to every version to see its publication date. i want single table |
| 2021-05-10 10:22:07 | <safinaskar> | Athas: yes |
| 2021-05-10 10:23:32 | <sphi> | [exa]: tdammers: dminuoso: just ran my first servant program ! |
| 2021-05-10 10:23:38 | <sphi> | : D |
| 2021-05-10 10:24:09 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-05-10 10:24:56 | × | sphi quits (~sphi@unaffiliated/sphi) (Remote host closed the connection) |
| 2021-05-10 10:25:35 | → | sphi joins (~sphi@unaffiliated/sphi) |
| 2021-05-10 10:25:40 | × | Feuermagier quits (~Feuermagi@213.178.26.41) (Remote host closed the connection) |
| 2021-05-10 10:27:28 | × | m_shiraeeshi quits (~shiraeesh@46.34.206.81) (Ping timeout: 252 seconds) |
| 2021-05-10 10:30:44 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-10 10:32:41 | × | whatisRT quits (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2021-05-10 10:33:32 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-10 10:33:51 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-10 10:35:43 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2021-05-10 10:35:52 | × | xintron quits (~xintron@unaffiliated/xintron) (Quit: Ping timeout (120 seconds)) |
| 2021-05-10 10:36:15 | → | xintron joins (~xintron@unaffiliated/xintron) |
| 2021-05-10 10:36:17 | <[exa]> | sphi: ...a type-level or term-level program? :D |
| 2021-05-10 10:36:26 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-05-10 10:37:50 | × | pmj quits (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-05-10 10:38:13 | × | xff0x quits (~xff0x@2001:1a81:53c1:c00:52cf:4e:85e5:b0c5) (Ping timeout: 250 seconds) |
| 2021-05-10 10:38:23 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-05-10 10:38:57 | → | xff0x joins (~xff0x@2001:1a81:53c1:c00:bd4f:a74d:188b:aac8) |
| 2021-05-10 10:39:21 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-10 10:39:46 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-10 10:40:11 | → | LKoen joins (~LKoen@156.168.9.109.rev.sfr.net) |
| 2021-05-10 10:40:35 | × | plutoniix quits (~q@ppp-58-8-175-2.revip2.asianet.co.th) (Quit: Leaving) |
| 2021-05-10 10:45:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-10 10:45:21 | × | Guest67052 quits (~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-10 10:46:22 | → | m_shiraeeshi joins (~shiraeesh@46.34.206.81) |
| 2021-05-10 10:47:43 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-10 10:48:05 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-10 10:48:27 | hackage | phonetic-languages-phonetics-basics 0.6.2.0 - A library for working with generalized phonetic languages usage. https://hackage.haskell.org/package/phonetic-languages-phonetics-basics-0.6.2.0 (OleksandrZhabenko) |
| 2021-05-10 10:51:22 | → | timCF joins (~i.tkachuk@200-149-20-81.sta.estpak.ee) |
| 2021-05-10 10:53:17 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-10 10:53:23 | × | xff0x quits (~xff0x@2001:1a81:53c1:c00:bd4f:a74d:188b:aac8) (Ping timeout: 250 seconds) |
| 2021-05-10 10:54:09 | → | xff0x joins (~xff0x@2001:1a81:53c1:c00:be46:b01b:ca6b:895e) |
| 2021-05-10 10:54:36 | → | dpl_ joins (~dpl@77-121-78-163.chn.volia.net) |
| 2021-05-10 10:54:40 | ← | safinaskar parts (~user@109-252-90-136.nat.spd-mgts.ru) () |
| 2021-05-10 10:55:07 | <timCF> | Hello! Any Dhall users here? I'm thinking what is the easiest way to merge 2 records with `Optional` fields without overriding `Some x` values with `None` values. Default way `let res = foo // bar // buz` will produce record with `res.hello == None` in case where `buz.hello == None` regardless what `foo.hello` and `bar.hello` are. |
| 2021-05-10 10:58:56 | × | bennofs_ quits (~quassel@x4db709cf.dyn.telefonica.de) (Read error: Connection reset by peer) |
| 2021-05-10 10:59:20 | → | bennofs_ joins (~quassel@x4db709cf.dyn.telefonica.de) |
| 2021-05-10 10:59:59 | → | Alleria joins (~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com) |
| 2021-05-10 11:00:23 | Alleria | is now known as Guest99532 |
| 2021-05-10 11:02:32 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 246 seconds) |
| 2021-05-10 11:03:57 | hackage | phonetic-languages-simplified-generalized-properties-array 0.1.1.0 - Generalization of the functionality of the phonetic-languages-simplified-properties-array. https://hackage.haskell.org/package/phonetic-languages-simplified-generalized-properties-array-0.1.1.0 (OleksandrZhabenko) |
| 2021-05-10 11:04:09 | × | Guest99532 quits (~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-05-10 11:05:32 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-10 11:05:51 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-10 11:07:57 | hackage | phonetic-languages-simplified-generalized-examples-common 0.1.1.0 - Some common code for phonetic languages generalized functionality. https://hackage.haskell.org/package/phonetic-languages-simplified-generalized-examples-common-0.1.1.0 (OleksandrZhabenko) |
| 2021-05-10 11:08:36 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-05-10 11:08:37 | × | hyiltiz quits (~quassel@31.220.5.250) (Changing host) |
| 2021-05-10 11:08:37 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 2021-05-10 11:09:04 | → | poljar1 joins (~poljar@78-1-55-96.adsl.net.t-com.hr) |
| 2021-05-10 11:09:05 | → | superstar64 joins (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 2021-05-10 11:10:10 | → | puke joins (~vroom@217.138.252.196) |
| 2021-05-10 11:10:52 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds) |
| 2021-05-10 11:11:13 | × | poljar quits (~poljar@93-139-14-190.adsl.net.t-com.hr) (Ping timeout: 240 seconds) |
| 2021-05-10 11:13:52 | <Gurkenglas> | https://bpa.st/22KA what would cause https://github.com/antalsz/hs-to-coq#building-the-base-library to fail like this? https://github.com/antalsz/hs-to-coq/blob/master/base/GHC/Wf.v has 39 bytes so maybe make didn't expect the file to end where it did? (Is this the right channel?) |
| 2021-05-10 11:17:31 | × | urdh quits (~urdh@unaffiliated/urdh) (Ping timeout: 252 seconds) |
| 2021-05-10 11:19:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-10 11:19:44 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-10 11:20:50 | → | todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 2021-05-10 11:21:57 | hackage | phonetic-languages-simplified-generalized-examples-array 0.1.1.0 - Helps to create texts with the given phonetic properties (e. g. poetic). https://hackage.haskell.org/package/phonetic-languages-simplified-generalized-examples-array-0.1.1.0 (OleksandrZhabenko) |
| 2021-05-10 11:22:52 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2021-05-10 11:23:04 | → | safinaskar joins (~user@109-252-90-136.nat.spd-mgts.ru) |
| 2021-05-10 11:23:22 | <safinaskar> | i still unable to build old unmaintained package |
| 2021-05-10 11:23:40 | <safinaskar> | is it possible to download package, edit source manually |
| 2021-05-10 11:23:45 | <safinaskar> | and install? |
| 2021-05-10 11:23:56 | → | Benzi-Junior joins (~BenziJuni@dsl-149-64-251.hive.is) |
| 2021-05-10 11:24:01 | <safinaskar> | is there some guide? |
| 2021-05-10 11:24:27 | hackage | unicode-tricks 0.9.0.0 - Functions to work with unicode blocks more convenient. https://hackage.haskell.org/package/unicode-tricks-0.9.0.0 (wvanonsem90) |
| 2021-05-10 11:24:31 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-05-10 11:24:55 | Alleria | is now known as Guest30199 |
| 2021-05-10 11:25:31 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 2021-05-10 11:25:49 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 245 seconds) |
| 2021-05-10 11:29:08 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-05-10 11:29:16 | <sphi> | [exa]: the kind that serves JSON when i cURL it : P |
| 2021-05-10 11:29:33 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-05-10 11:31:33 | <[exa]> | (...type-level json?) |
| 2021-05-10 11:31:49 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-10 11:31:57 | × | thunderrd quits (~thunderrd@183.182.114.223) (Ping timeout: 268 seconds) |
| 2021-05-10 11:32:01 | <sphi> | [exa]: not sure : P |
| 2021-05-10 11:33:30 | <dminuoso> | safinaskar: Hard to say in general. Usually you'd identify the outdated bounds and try and bump them. |
| 2021-05-10 11:33:39 | <dminuoso> | Sometimes you might have to patch some packages |
| 2021-05-10 11:36:22 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds) |
| 2021-05-10 11:37:52 | × | xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 2021-05-10 11:42:31 | <safinaskar> | is there some tool, which installs package using brute force? i. e. tries one combinations of packages, if build fails, tries another etc. ideally ghc versions should be added to the mix, too. i have lot of time |
| 2021-05-10 11:43:05 | <dminuoso> | Well yeah, that's pretty much what cabal does. |
| 2021-05-10 11:44:51 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-05-10 11:44:59 | → | thunderrd joins (~thunderrd@183.182.115.120) |
| 2021-05-10 11:46:33 | <safinaskar> | dminuoso: no, i mean this: take some package versions, then actually build, if build fails, try another combination, etc |
| 2021-05-10 11:46:44 | <hpc> | like hackage's matrix thing? |
| 2021-05-10 11:47:09 | <dminuoso> | safinaskar: combination of what exactly? |
| 2021-05-10 11:47:30 | <dminuoso> | safinaskar: If its just the versions from hackage, then again, that's exactly what cabal does. |
| 2021-05-10 11:47:55 | <dminuoso> | cabal generates a build plan by, essentially, brute forcing all version combinations (it just always starts off with the most recent version) |
| 2021-05-10 11:48:19 | <dminuoso> | the first plan that matches all constraints (e.g. version constraints) is accepted |
| 2021-05-10 11:49:14 | <dminuoso> | the usually fixed variable is the base dependency, since that depends on which ghc version you have installed locally |
All times are in UTC.