Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 753 754 755 756 757 758 759 760 761 762 763 .. 5022
— 502,152 events total
2020-10-20 12:58:52 <Taneb> > (,,,) <$> ZipList "hello" <*> ZipList [1..5] <*> ZipList "world" <*> ZipList [6..10]
2020-10-20 12:58:54 <lambdabot> ZipList {getZipList = [('h',1,'w',6),('e',2,'o',7),('l',3,'r',8),('l',4,'l',...
2020-10-20 12:59:02 <Taneb> I can definitely count commas no problem
2020-10-20 13:00:05 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2020-10-20 13:00:42 → invaser joins (~Thunderbi@31.148.23.125)
2020-10-20 13:01:50 × thir quits (~thir@p200300f27f0b040039cda3b6fce8e5af.dip0.t-ipconnect.de) (Ping timeout: 244 seconds)
2020-10-20 13:06:16 × dhil quits (~dhil@195.213.192.122) (Ping timeout: 246 seconds)
2020-10-20 13:06:40 × Lord_of_Life quits (~Lord@46.217.197.229) (Changing host)
2020-10-20 13:06:40 → Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2020-10-20 13:08:23 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-20 13:09:24 → CUR53 joins (~CUR53@196.245.9.37)
2020-10-20 13:11:12 <ski> > zipWith ($) (zipWith ($) (zipWith (,,,) "hello" [0 .. 4]) "world") [5 .. 9]
2020-10-20 13:11:15 <lambdabot> [('h',0,'w',5),('e',1,'o',6),('l',2,'r',7),('l',3,'l',8),('o',4,'d',9)]
2020-10-20 13:11:48 <ski> > let with = zipWith ($) in repeat (,,,) `with` "hello" `with` [0 .. 4] `with` "world" `with` [5 .. 9]
2020-10-20 13:11:51 <lambdabot> [('h',0,'w',5),('e',1,'o',6),('l',2,'r',7),('l',3,'l',8),('o',4,'d',9)]
2020-10-20 13:12:11 → texasmyn_ joins (~texasmyns@104.140.53.123)
2020-10-20 13:12:35 → solonarv joins (~solonarv@astrasbourg-552-1-23-6.w90-13.abo.wanadoo.fr)
2020-10-20 13:12:44 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-20 13:12:51 × whatisRT quits (~whatisRT@2002:5b41:6a33:0:85b0:5e47:1897:223c) (Ping timeout: 246 seconds)
2020-10-20 13:14:03 <dminuoso> Pattern match checker exceeded (2000000) iterations in a case alternative. (Use -fmax-pmcheck-iterations=n to set the maximun number of iterations to n)
2020-10-20 13:14:06 <dminuoso> I should feel bad
2020-10-20 13:14:16 <dminuoso> Also, that typo in maximun :>
2020-10-20 13:14:16 × texasmyn_ quits (~texasmyns@104.140.53.123) (Read error: Connection reset by peer)
2020-10-20 13:15:04 <dminuoso> Perhaps I should stop doing case-of here, and just use non-inlined top level maps..
2020-10-20 13:15:33 <ski> is it checking exhaustiveness and non-overlap ?
2020-10-20 13:15:49 <dminuoso> Probably, yes.
2020-10-20 13:16:24 → ildar_ joins (~ildar@broadband-46-242-15-177.ip.moscow.rt.ru)
2020-10-20 13:16:30 <dminuoso> I mean this is a 2,000 constructor coproduct type.
2020-10-20 13:16:40 <dminuoso> It's reasonable that GHC has some limits.
2020-10-20 13:17:45 → djcaston joins (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net)
2020-10-20 13:18:55 → carlomagno1 joins (~cararell@148.87.23.6)
2020-10-20 13:18:55 × carlomagno quits (~cararell@inet-hqmc01-o.oracle.com) (Remote host closed the connection)
2020-10-20 13:18:55 <ski> yea
2020-10-20 13:19:29 → octavius joins (6ee39366@gateway/web/cgi-irc/kiwiirc.com/ip.110.227.147.102)
2020-10-20 13:20:15 <phadej> if the code is generated, you can (and maybe even should) disable pattern-match checks
2020-10-20 13:20:41 <phadej> you should rathere test that codegenerator makes sensible code on smaller examples :)
2020-10-20 13:20:58 <phadej> i.e. "if you generate code, generate code which is fast to compile"
2020-10-20 13:21:23 <dminuoso> phadej: Honestly, had I done that, I wouldn't have discovered a nasty bug that only occured in one of those large data types. :)
2020-10-20 13:21:32 <dminuoso> So Im keeping this on.
2020-10-20 13:21:40 <merijn> dminuoso: pfft, amateur
2020-10-20 13:21:43 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds)
2020-10-20 13:21:45 <merijn> dminuoso: Just don't write bugs
2020-10-20 13:21:54 <dminuoso> I didn't write a bug. My code generator did!
2020-10-20 13:22:03 → carldd joins (~carldd@90-224-49-113-no56.tbcn.telia.com)
2020-10-20 13:22:05 <phadej> what kind of bug, why only in larger datatypes?
2020-10-20 13:22:28 <dminuoso> Oh, it wasn't even the size. The problem only manifested with a particular data type that also happened to be very large.
2020-10-20 13:22:51 <phadej> then you didn't test your codegen properly
2020-10-20 13:22:55 <dminuoso> heh
2020-10-20 13:23:05 <dminuoso> Yeah this is all very adhoc
2020-10-20 13:23:12 <dminuoso> And Im being punished badly for it
2020-10-20 13:23:48 <dminuoso> to be fair, ghc diagnostics *are* tests for my codegen
2020-10-20 13:24:34 × shafox quits (~shafox@106.51.234.111) (Ping timeout: 260 seconds)
2020-10-20 13:25:24 <phadej> yes, but they run faster on the smaller datatypes :)
2020-10-20 13:25:48 × SanchayanM quits (~Sanchayan@122.167.98.111) (Quit: leaving)
2020-10-20 13:26:56 <dminuoso> phadej: Very roughly, I was building up a `Map String Int` where strings correspond to constructors, and the Map represents an Enum instance. I failed to check whether this was injective or not.
2020-10-20 13:27:14 <dminuoso> And in some particular degenerate case, the source data had duplicate data.
2020-10-20 13:27:55 <phadej> heh. something similar happend with tzdata just recently
2020-10-20 13:28:02 <phadej> they mangle timezonenames into constructor names
2020-10-20 13:28:23 <phadej> and that mangling failed to be injective with recent additions of timezones in IANA db
2020-10-20 13:28:27 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-10-20 13:29:58 ← CUR53 parts (~CUR53@196.245.9.37) ()
2020-10-20 13:30:47 × cristi_ quits (~cristi@82.76.158.82) (Quit: cristi_)
2020-10-20 13:31:02 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-10-20 13:33:46 → texasmynsted joins (~texasmyns@104.140.53.123)
2020-10-20 13:34:46 → raichoo_ joins (~raichoo@213.240.178.58)
2020-10-20 13:34:46 × knupfer quits (~Thunderbi@dynamic-046-114-146-209.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2020-10-20 13:34:48 × raichoo quits (~raichoo@213.240.178.58) (Read error: Connection reset by peer)
2020-10-20 13:34:49 × Buntspecht quits (~user@unaffiliated/siracusa) (Quit: Bye!)
2020-10-20 13:35:05 × texasmynsted quits (~texasmyns@104.140.53.123) (Read error: Connection reset by peer)
2020-10-20 13:36:00 → shafox joins (~shafox@106.51.234.111)
2020-10-20 13:41:36 <remexre> ghoulguy: yeah, looks like that works; I'll try and see if hoistFree will work for my case too
2020-10-20 13:43:25 × carldd quits (~carldd@90-224-49-113-no56.tbcn.telia.com) (Ping timeout: 264 seconds)
2020-10-20 13:45:14 → whald joins (~trem@2a02:810a:8100:11a6:a51d:28a2:1c9:853d)
2020-10-20 13:45:34 × karanlikmadde quits (~karanlikm@2a01:c23:5c46:6a00:4c42:fac3:eff4:bce3) (Quit: karanlikmadde)
2020-10-20 13:46:13 → carldd joins (~carldd@90-224-49-113-no56.tbcn.telia.com)
2020-10-20 13:47:05 → ystael joins (~ystael@209.6.50.55)
2020-10-20 13:48:13 × drbean quits (~drbean@TC210-63-209-185.static.apol.com.tw) (Ping timeout: 264 seconds)
2020-10-20 13:51:59 → Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-20 13:54:49 × mirrorbird quits (~psutcliff@m83-187-163-53.cust.tele2.se) (Ping timeout: 264 seconds)
2020-10-20 13:55:48 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 256 seconds)
2020-10-20 13:55:50 → GyroW_ joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-20 13:55:50 × GyroW_ quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-20 13:55:50 → GyroW_ joins (~GyroW@unaffiliated/gyrow)
2020-10-20 13:57:25 × fendor quits (~fendor@212095005156.public.telering.at) (Read error: Connection reset by peer)
2020-10-20 13:58:55 × octavius quits (6ee39366@gateway/web/cgi-irc/kiwiirc.com/ip.110.227.147.102) (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client)
2020-10-20 13:59:00 × codygman quits (~codygman@47-184-107-46.dlls.tx.frontiernet.net) (Ping timeout: 265 seconds)
2020-10-20 13:59:18 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-20 14:00:11 → codygman joins (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459)
2020-10-20 14:00:34 × djcaston quits (~djcaston@pool-71-188-85-134.cmdnnj.east.verizon.net) (Quit: djcaston)
2020-10-20 14:00:46 × codygman quits (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459) (Read error: Connection reset by peer)
2020-10-20 14:01:06 → texasmyn_ joins (~texasmyns@104.140.53.123)
2020-10-20 14:01:10 → codygman joins (~codygman@2600:380:f939:3d2d:1763:ec2f:9c5c:6459)
2020-10-20 14:03:38 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-20 14:03:44 × Gerula quits (~Gerula@unaffiliated/gerula) (Quit: Leaving)
2020-10-20 14:06:51 <DigitalKiwi> what's injective mean
2020-10-20 14:07:06 <Uniaika> like for sets
2020-10-20 14:08:19 × lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Ping timeout: 260 seconds)
2020-10-20 14:08:47 → fendor joins (~fendor@e237-037.eduroam.tuwien.ac.at)
2020-10-20 14:09:21 → JetNoBrains joins (bc12e18b@188.18.225.139)
2020-10-20 14:09:39 <Cheery> DigitalKiwi: it means that you can figure from the output what the input was.
←Prev  Next→
Page 1 .. 753 754 755 756 757 758 759 760 761 762 763 .. 5022

All times are in UTC.