Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 .. 5022
— 502,152 events total
2020-11-05 12:14:07 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-11-05 12:14:25 <lortabac> in other words the problem is not 'G t', but 'Bool'
2020-11-05 12:15:51 <ski> % let f g = (case g of G1 -> True) :: Bool
2020-11-05 12:15:51 <yahb> ski:
2020-11-05 12:16:47 → urodna joins (~urodna@unaffiliated/urodna)
2020-11-05 12:17:31 hackage th-lego 0.2.3 - Template Haskell construction utilities https://hackage.haskell.org/package/th-lego-0.2.3 (NikitaVolkov)
2020-11-05 12:18:52 × mmohammadi9812 quits (~mmohammad@188.210.113.223) (Ping timeout: 272 seconds)
2020-11-05 12:18:59 → fendor joins (~fendor@178.115.129.187.wireless.dyn.drei.com)
2020-11-05 12:18:59 × hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 256 seconds)
2020-11-05 12:20:36 <lortabac> TBH I find it remarkable that GHC can at least preserve *some* type inference when using rank-n types, type families, GADTs etc.
2020-11-05 12:20:37 × fendor_ quits (~fendor@77.119.128.54.wireless.dyn.drei.com) (Ping timeout: 264 seconds)
2020-11-05 12:20:40 × fendor__ quits (~fendor@77.119.128.54.wireless.dyn.drei.com) (Ping timeout: 258 seconds)
2020-11-05 12:20:50 → hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net)
2020-11-05 12:21:11 × dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Read error: Connection reset by peer)
2020-11-05 12:21:37 → dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be)
2020-11-05 12:24:01 hackage ukrainian-phonetics-basic 0.1.8.0 - A library to work with the basic Ukrainian phonetics and syllable segmentation. https://hackage.haskell.org/package/ukrainian-phonetics-basic-0.1.8.0 (OleksandrZhabenko)
2020-11-05 12:24:25 <tomsmeding> yes the fact that the problem is the Bool surprised me too
2020-11-05 12:24:51 <tomsmeding> if it was the argument, I wouldn't have had trouble in my actual code because the 'g' argument would've had an inferred type from elsewhere
2020-11-05 12:26:35 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep)
2020-11-05 12:26:53 <tomsmeding> (ah but in fact after I fixed something else the argument has an inferred type from elsewhere too, so I don't actually need a type signature. yay!)
2020-11-05 12:27:00 <tomsmeding> s/argument/result/
2020-11-05 12:27:09 <lortabac> 'f :: G Int -> _; f G1 = True' typechecks
2020-11-05 12:27:20 <tomsmeding> so it's the case?
2020-11-05 12:27:23 <lortabac> it looks like it needs at least one of the two
2020-11-05 12:27:48 <lortabac> yes I removed the case syntax here for brevity
2020-11-05 12:27:49 × dmiles quits (dmiles@c-73-67-179-188.hsd1.wa.comcast.net) (Ping timeout: 264 seconds)
2020-11-05 12:28:14 <tomsmeding> oh it works because you put 'G Int'
2020-11-05 12:28:20 × carlomagno quits (~cararell@148.87.23.11) (Ping timeout: 258 seconds)
2020-11-05 12:28:21 <lortabac> yes
2020-11-05 12:29:07 → mmohammadi9812 joins (~mmohammad@188.210.113.223)
2020-11-05 12:30:30 hackage morpheus-graphql-core 0.16.0 - Morpheus GraphQL Core https://hackage.haskell.org/package/morpheus-graphql-core-0.16.0 (nalchevanidze)
2020-11-05 12:31:31 hackage morpheus-graphql 0.16.0, morpheus-graphql-subscriptions 0.16.0, morpheus-graphql-client 0.16.0 (nalchevanidze)
2020-11-05 12:32:56 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 258 seconds)
2020-11-05 12:34:56 → Sanchayan joins (~Sanchayan@223.226.118.59)
2020-11-05 12:35:26 × berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds)
2020-11-05 12:36:01 hackage yaml-unscrambler 0.1 - Flexible declarative YAML parsing toolkit https://hackage.haskell.org/package/yaml-unscrambler-0.1 (NikitaVolkov)
2020-11-05 12:36:28 → berberman joins (~berberman@unaffiliated/berberman)
2020-11-05 12:38:24 → Entertainment joins (~entertain@104.246.132.210)
2020-11-05 12:39:01 hackage servant-swagger-ui 0.3.4.3.36.1 - Servant swagger ui https://hackage.haskell.org/package/servant-swagger-ui-0.3.4.3.36.1 (maksbotan)
2020-11-05 12:40:31 hackage domain-core 0.1 - Low-level API of "domain" https://hackage.haskell.org/package/domain-core-0.1 (NikitaVolkov)
2020-11-05 12:40:55 → asthasr joins (~asthasr@162.210.29.120)
2020-11-05 12:43:25 × bergsans quits (~bergsans@c80-217-8-29.bredband.comhem.se) (Remote host closed the connection)
2020-11-05 12:44:00 hackage yaml-unscrambler 0.1.0.1 - Flexible declarative YAML parsing toolkit https://hackage.haskell.org/package/yaml-unscrambler-0.1.0.1 (NikitaVolkov)
2020-11-05 12:50:10 → knupfer joins (~Thunderbi@200116b82c33ca00181e13fffead1b1e.dip.versatel-1u1.de)
2020-11-05 12:50:11 × knupfer quits (~Thunderbi@200116b82c33ca00181e13fffead1b1e.dip.versatel-1u1.de) (Client Quit)
2020-11-05 12:50:24 → knupfer joins (~Thunderbi@i59F7FF32.versanet.de)
2020-11-05 12:50:29 → Eason0210 joins (~user@101.85.10.81)
2020-11-05 12:55:51 → ZeroZiat joins (~ZeroZiat@192.30.89.67)
2020-11-05 12:57:08 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-11-05 13:05:59 × apoc quits (~apoc@bridge.mattzq.com) (Quit: WeeChat 2.8)
2020-11-05 13:06:00 → mdunnio joins (~mdunnio@208.59.170.5)
2020-11-05 13:12:02 → texasmynsted joins (~texasmyns@64.44.55.84)
2020-11-05 13:15:17 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-05 13:15:26 × mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 256 seconds)
2020-11-05 13:15:56 → AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl)
2020-11-05 13:16:40 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-11-05 13:18:07 → apoc joins (~apoc@49.12.13.193)
2020-11-05 13:22:04 → FreeBirdLjj joins (~freebirdl@101.228.42.108)
2020-11-05 13:23:13 → jakob_ joins (~textual@p200300f49f1622009dd67ec3b5219616.dip0.t-ipconnect.de)
2020-11-05 13:25:38 → bgamari_ joins (~bgamari@72.65.102.116)
2020-11-05 13:25:56 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-11-05 13:26:17 → Alleria joins (~AllahuAkb@zrcout.mskcc.org)
2020-11-05 13:26:17 × bgamari quits (~bgamari@2001:470:e438::1) (Ping timeout: 246 seconds)
2020-11-05 13:26:40 Alleria is now known as Guest8524
2020-11-05 13:30:48 → Deide joins (~Deide@217.155.19.23)
2020-11-05 13:32:26 × ZeroZiat quits (~ZeroZiat@192.30.89.67) (Remote host closed the connection)
2020-11-05 13:33:31 hackage ukrainian-phonetics-basic 0.1.9.0 - A library to work with the basic Ukrainian phonetics and syllable segmentation. https://hackage.haskell.org/package/ukrainian-phonetics-basic-0.1.9.0 (OleksandrZhabenko)
2020-11-05 13:43:16 → obihann joins (~jhann@156.34.160.69)
2020-11-05 13:44:01 × yinfeng quits (~yinfeng@122.96.106.57) (Ping timeout: 264 seconds)
2020-11-05 13:44:52 → yinfeng joins (~yinfeng@58.212.52.57)
2020-11-05 13:46:47 × obihann quits (~jhann@156.34.160.69) (Client Quit)
2020-11-05 13:47:12 → obihann joins (~jhann@156.34.160.69)
2020-11-05 13:47:12 × obihann quits (~jhann@156.34.160.69) (Client Quit)
2020-11-05 13:47:27 → timCF joins (511495c6@198-149-20-81.sta.estpak.ee)
2020-11-05 13:47:39 → obihann joins (~jhann@156.34.160.69)
2020-11-05 13:47:50 → lucasb joins (uid333435@gateway/web/irccloud.com/x-sdppmllrnolsxyhi)
2020-11-05 13:49:52 × timCF quits (511495c6@198-149-20-81.sta.estpak.ee) (Remote host closed the connection)
2020-11-05 13:51:00 hackage domain 0.1 - Codegen helping you define domain models https://hackage.haskell.org/package/domain-0.1 (NikitaVolkov)
2020-11-05 13:53:37 × solonarv quits (~solonarv@astrasbourg-653-1-263-62.w92-161.abo.wanadoo.fr) (Ping timeout: 256 seconds)
2020-11-05 13:54:28 × Eason0210 quits (~user@101.85.10.81) (Quit: ERC (IRC client for Emacs 28.0.50))
2020-11-05 14:02:32 → Schicko joins (nicotymatr@gateway/shell/matrix.org/x-tpbzfbweaijhyvxh)
2020-11-05 14:03:32 × jorj quits (~jorj@162.220.240.216) (Quit: .)
2020-11-05 14:03:51 → machinedgod joins (~machinedg@142.169.78.227)
2020-11-05 14:04:21 → MarcelineVQ joins (~anja@198.254.202.72)
2020-11-05 14:05:24 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-11-05 14:06:37 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:b093:9754:189c:f0eb)
2020-11-05 14:07:31 → twopoint718 joins (~cjw@fsf/member/twopoint718)
2020-11-05 14:07:51 × T0pH4t quits (~josh@c-73-53-48-224.hsd1.wa.comcast.net) (Quit: bye...)
2020-11-05 14:07:52 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-11-05 14:10:27 → whatisRT joins (~whatisRT@2002:5b41:6a33:0:dea6:32ff:fe5b:d45f)
2020-11-05 14:10:52 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:b093:9754:189c:f0eb) (Client Quit)
2020-11-05 14:11:46 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2020-11-05 14:15:32 → ClaudiusMaximus joins (~claude@198.123.199.146.dyn.plus.net)
2020-11-05 14:15:40 × ClaudiusMaximus quits (~claude@198.123.199.146.dyn.plus.net) (Changing host)
2020-11-05 14:15:40 → ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus)
2020-11-05 14:17:44 ← Schicko parts (nicotymatr@gateway/shell/matrix.org/x-tpbzfbweaijhyvxh) ("User left")
2020-11-05 14:19:50 × alp quits (~alp@88.126.45.36) (Ping timeout: 264 seconds)
2020-11-05 14:20:30 → alp joins (~alp@88.126.45.36)
2020-11-05 14:22:53 → PacoV joins (~pcoves@16.194.31.93.rev.sfr.net)
2020-11-05 14:22:57 <PacoV> Hi there.
←Prev  Next→
Page 1 .. 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 .. 5022

All times are in UTC.