Logs: freenode/#haskell
| 2021-03-09 21:29:10 | → | conal_ joins (~conal@66.115.157.49) |
| 2021-03-09 21:29:15 | → | xensky joins (~xensky@xengarden.xen.prgmr.com) |
| 2021-03-09 21:30:33 | × | cfvnhtsp^ quits (cfvnhtsp@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 264 seconds) |
| 2021-03-09 21:30:39 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-09 21:30:49 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-09 21:30:51 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 256 seconds) |
| 2021-03-09 21:31:35 | → | cfvnhtsp^ joins (cfvnhtsp@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-09 21:32:06 | × | idhugo_ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 2021-03-09 21:32:17 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-09 21:34:05 | <koz_> | Is there some kind of warning I can enable to yell at me for not specifying a derivation strategy? |
| 2021-03-09 21:34:16 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-03-09 21:34:35 | → | hoppfull joins (55e07729@c-2977e055.19-9-64736c10.bbcust.telenor.se) |
| 2021-03-09 21:35:26 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-03-09 21:37:39 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 2021-03-09 21:37:58 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Remote host closed the connection) |
| 2021-03-09 21:38:09 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 2021-03-09 21:39:03 | × | xensky quits (~xensky@xengarden.xen.prgmr.com) (Read error: Connection reset by peer) |
| 2021-03-09 21:41:42 | → | Cesdo joins (~cesdo@87.239.32.225) |
| 2021-03-09 21:41:55 | → | xensky joins (~xensky@xengarden.xen.prgmr.com) |
| 2021-03-09 21:43:01 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-09 21:44:43 | × | FortuneZero quits (3223b878@50.35.184.120) (Quit: Connection closed) |
| 2021-03-09 21:45:08 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-09 21:45:58 | → | kam1 joins (~kam1@83.123.154.198) |
| 2021-03-09 21:46:23 | × | kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-09 21:48:14 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) (Remote host closed the connection) |
| 2021-03-09 21:49:19 | <infinisil> | koz_: How about -Wderiving-defaults + -Werror |
| 2021-03-09 21:49:33 | <koz_> | infinisil: From which GHC version is that one available? |
| 2021-03-09 21:50:22 | <infinisil> | koz_: https://downloads.haskell.org/ghc/latest/docs/html/users_guide/using-warnings.html?highlight=deriving%20defaults#ghc-flag--Wderiving-defaults |
| 2021-03-09 21:50:25 | <infinisil> | I guess 8.10 |
| 2021-03-09 21:50:33 | <koz_> | Rats, I'm on 8.8 for this. |
| 2021-03-09 21:50:40 | <infinisil> | Though try out the snippet there |
| 2021-03-09 21:50:52 | <infinisil> | I feel like I got the warning from that before 8.10 |
| 2021-03-09 21:51:07 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ac82:e2ec:b3c9:5b56) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-09 21:51:27 | <infinisil> | Note that it only triggers for when you have both DeriveAnyClass and GeneralizedNewtypeDeriving and both could be used |
| 2021-03-09 21:51:52 | <infinisil> | (which makes me think that's the only case where such a warning is needed) |
| 2021-03-09 21:51:56 | <koz_> | Yeah, that's not quite as much as I'd like but it'd help. |
| 2021-03-09 21:52:56 | × | xensky quits (~xensky@xengarden.xen.prgmr.com) (Ping timeout: 265 seconds) |
| 2021-03-09 21:54:05 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:ac82:e2ec:b3c9:5b56) |
| 2021-03-09 21:55:10 | × | mmohammadi9812 quits (~mmohammad@80.210.50.109) (Ping timeout: 276 seconds) |
| 2021-03-09 21:56:03 | → | xensky joins (~xensky@xengarden.xen.prgmr.com) |
| 2021-03-09 22:01:05 | → | mmohammadi9812 joins (~mmohammad@2.178.147.15) |
| 2021-03-09 22:01:18 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 2021-03-09 22:02:09 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-03-09 22:04:09 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 2021-03-09 22:04:36 | × | xensky quits (~xensky@xengarden.xen.prgmr.com) (Remote host closed the connection) |
| 2021-03-09 22:06:03 | × | knupfer quits (~Thunderbi@200116b82c21c80070e1b703f12bd6d8.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2021-03-09 22:06:50 | → | xensky joins (~xensky@xengarden.xen.prgmr.com) |
| 2021-03-09 22:08:24 | → | redmp joins (~redmp@172.58.35.128) |
| 2021-03-09 22:09:46 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-09 22:10:09 | × | david__ quits (~david@234.109.45.217.dyn.plus.net) (Ping timeout: 260 seconds) |
| 2021-03-09 22:10:33 | × | LKoen quits (~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-03-09 22:10:40 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-09 22:11:31 | → | mimi_vx joins (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) |
| 2021-03-09 22:11:33 | → | krt7 joins (488a1c12@72.138.28.18) |
| 2021-03-09 22:11:54 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 2021-03-09 22:12:09 | × | jneira quits (5127aded@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.237) (Ping timeout: 245 seconds) |
| 2021-03-09 22:12:14 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-03-09 22:13:25 | → | subttle joins (~anonymous@unaffiliated/subttle) |
| 2021-03-09 22:13:31 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-09 22:15:03 | × | krt quits (488a1c12@72.138.28.18) (Ping timeout: 240 seconds) |
| 2021-03-09 22:15:19 | × | malumore quits (~malumore@151.62.118.68) (Ping timeout: 276 seconds) |
| 2021-03-09 22:16:19 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-09 22:16:32 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:ac82:e2ec:b3c9:5b56) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-09 22:18:18 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 246 seconds) |
| 2021-03-09 22:19:14 | × | xensky quits (~xensky@xengarden.xen.prgmr.com) (Ping timeout: 245 seconds) |
| 2021-03-09 22:20:04 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-09 22:20:08 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-09 22:22:55 | → | xensky joins (~xensky@xengarden.xen.prgmr.com) |
| 2021-03-09 22:24:27 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-09 22:25:43 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 276 seconds) |
| 2021-03-09 22:26:43 | × | mirrorbird quits (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Ping timeout: 245 seconds) |
| 2021-03-09 22:33:57 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-03-09 22:34:16 | × | mouseghost quits (~draco@wikipedia/desperek) (Remote host closed the connection) |
| 2021-03-09 22:39:25 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-03-09 22:39:37 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 272 seconds) |
| 2021-03-09 22:40:12 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-03-09 22:40:18 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:246b:c0a0:2c4b:51c3) |
| 2021-03-09 22:40:24 | <dmj`> | would be nice to have a statically enforced UUID library |
| 2021-03-09 22:40:32 | <dmj`> | did type level Char land yet |
| 2021-03-09 22:41:24 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 246 seconds) |
| 2021-03-09 22:44:15 | <Axman6> | What would it statically enforce? |
| 2021-03-09 22:44:20 | × | l8star__ quits (~l8star@business-90-187-113-149.pool2.vodafone-ip.de) (Quit: leaving) |
| 2021-03-09 22:44:20 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-09 22:44:33 | <Axman6> | global uniqueness? That might take a while :) |
| 2021-03-09 22:45:54 | × | mimi_vx quits (~mimi@2a01:490:16:1026:4525:56c0:a6ea:87c1) (Ping timeout: 258 seconds) |
| 2021-03-09 22:46:55 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-03-09 22:50:11 | <subttle> | Hi all, I have a question regarding some Data type with a Unicode name. I can't seem to import the data type from another file, I get the error "Module ‘Finite’ does not export ‘(🀰)’typecheck". Here is the Gist: https://gist.github.com/subttle/14de170221de98ca9abbc96a3f8f7cad Perhaps I should file a bug or is there something I'm missing? Any help would be appreciated. Thank you. |
| 2021-03-09 22:50:59 | <subttle> | haha oops, s/Finite/Dominoes/g in that error message :D |
| 2021-03-09 22:51:13 | gitgoood | is now known as gitgppd |
| 2021-03-09 22:51:15 | gitgppd | is now known as gitgood |
| 2021-03-09 22:51:58 | → | stree joins (~stree@68.36.8.116) |
| 2021-03-09 22:52:40 | <monochrom> | Huh, I merely :load it, and it's "(Enable the GADTs extension to allow this)" because the file is using GADT syntax. |
| 2021-03-09 22:53:01 | <Axman6> | That's horrific, I love it |
| 2021-03-09 22:53:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-09 22:53:50 | <subttle> | monochrom: ah, sorry I had that enabled globally in my cabal build-depends, updated the gist, thanks :) |
| 2021-03-09 22:53:54 | <Axman6> | do you need to enable UnicodeSyntax in the module importing it? |
| 2021-03-09 22:54:22 | × | Athas quits (~athas@2a01:7c8:aaac:1cf:89fc:c37b:7346:f63b) (Quit: ZNC - http://znc.sourceforge.net) |
| 2021-03-09 22:54:29 | <monochrom> | I bet yes for realistic uses. |
| 2021-03-09 22:54:32 | → | Athas_ joins (athas@2a01:7c8:aaac:1cf:89fc:c37b:7346:f63b) |
| 2021-03-09 22:54:32 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) (Remote host closed the connection) |
All times are in UTC.