Logs: freenode/#haskell
| 2021-03-04 13:40:25 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-04 13:40:28 | × | graf_blutwurst quits (~user@2001:171b:226e:adc0:441d:c551:5138:50ac) (Remote host closed the connection) |
| 2021-03-04 13:43:37 | → | chisui joins (58829809@88.130.152.9) |
| 2021-03-04 13:44:48 | <merijn> | Inconsistent program logic? :p |
| 2021-03-04 13:48:09 | <ezzieyguywuf> | lol probs |
| 2021-03-04 13:48:26 | <ezzieyguywuf> | also even though I set --reload=app in .ghcid, it doesn't reload when app/Main.hs changes |
| 2021-03-04 13:48:30 | <ezzieyguywuf> | :( |
| 2021-03-04 13:48:59 | <ezzieyguywuf> | oh wait, now it...does? |
| 2021-03-04 13:49:01 | <ezzieyguywuf> | *shrug* |
| 2021-03-04 13:49:08 | <ezzieyguywuf> | lol, excetp it's hung |
| 2021-03-04 13:49:52 | × | toorevitimirp quits (~tooreviti@117.182.182.60) (Ping timeout: 265 seconds) |
| 2021-03-04 13:50:50 | × | drbean quits (~drbean@TC210-63-209-31.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-03-04 13:51:12 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-04 13:51:19 | <ezzieyguywuf> | changing to --restart helps, but what the heck |
| 2021-03-04 13:51:30 | <ezzieyguywuf> | reload works for me on some projects, but this teeny tiny one and nah |
| 2021-03-04 13:58:34 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 265 seconds) |
| 2021-03-04 13:59:25 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 2021-03-04 13:59:28 | → | writenix joins (~quassel@193.126.143.50) |
| 2021-03-04 13:59:28 | × | danso quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 260 seconds) |
| 2021-03-04 13:59:41 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-04 14:00:27 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-uuniqtfysevxnvsh) |
| 2021-03-04 14:00:38 | → | hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-03-04 14:01:45 | × | vchlup_ quits (~vchlup@nat.brnet.cz) (Ping timeout: 264 seconds) |
| 2021-03-04 14:02:27 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:dd5f:6f4f:a50:215d) |
| 2021-03-04 14:02:48 | → | danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-03-04 14:03:35 | × | mirrorbird_ quits (~psutcliff@2a00:801:3f2:fa8e:16b2:2b3e:c801:a519) (Quit: Leaving) |
| 2021-03-04 14:05:38 | × | LKoen quits (~LKoen@185.61.176.203) (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-04 14:07:14 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:dd5f:6f4f:a50:215d) (Ping timeout: 264 seconds) |
| 2021-03-04 14:10:51 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-04 14:11:00 | × | writenix quits (~quassel@193.126.143.50) (Remote host closed the connection) |
| 2021-03-04 14:13:52 | × | notzmv quits (~zmv@unaffiliated/zmv) (Read error: Connection reset by peer) |
| 2021-03-04 14:15:30 | → | Guest44840 joins (~zmv@unaffiliated/zmv) |
| 2021-03-04 14:15:48 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-03-04 14:16:18 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:d6d:9e4a:ef90:7639) |
| 2021-03-04 14:18:34 | × | Guest44840 quits (~zmv@unaffiliated/zmv) (Remote host closed the connection) |
| 2021-03-04 14:18:49 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 245 seconds) |
| 2021-03-04 14:18:49 | × | kowodo quits (~kowodo@p57b33e73.dip0.t-ipconnect.de) (Quit: rcirc on GNU Emacs 28.0.50) |
| 2021-03-04 14:19:38 | → | notzmv- joins (~zmv@unaffiliated/zmv) |
| 2021-03-04 14:21:45 | × | egp__ quits (~egp_@2.95.74.168) (Quit: EXIT) |
| 2021-03-04 14:22:09 | → | egp_ joins (~egp_@2.95.74.168) |
| 2021-03-04 14:22:50 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 2021-03-04 14:25:06 | × | egp_ quits (~egp_@2.95.74.168) (Client Quit) |
| 2021-03-04 14:25:28 | → | JokerAscensionEx joins (~egp_@2.95.74.168) |
| 2021-03-04 14:26:19 | × | JokerAscensionEx quits (~egp_@2.95.74.168) (Remote host closed the connection) |
| 2021-03-04 14:26:37 | → | JokerAscensionEx joins (~egp_@2.95.74.168) |
| 2021-03-04 14:27:17 | × | chisui quits (58829809@88.130.152.9) (Quit: Connection closed) |
| 2021-03-04 14:27:41 | notzmv- | is now known as notzmv |
| 2021-03-04 14:31:33 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2021-03-04 14:33:59 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-03-04 14:34:20 | × | raym quits (~ray@45.64.220.3) (Quit: leaving) |
| 2021-03-04 14:37:13 | → | gitgood joins (~gitgood@82-132-225-188.dab.02.net) |
| 2021-03-04 14:37:23 | × | danso quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 260 seconds) |
| 2021-03-04 14:38:16 | → | danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-03-04 14:41:25 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:41d3:e796:cd7:d5b3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-04 14:41:36 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-04 14:42:11 | → | biomed joins (~biomed@subs01-103-10-64-18.three.co.id) |
| 2021-03-04 14:42:47 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-03-04 14:46:03 | → | zceejkr joins (~wintermut@cpe-62-84-236-30.dynamic.amis.net) |
| 2021-03-04 14:46:42 | × | biomed quits (~biomed@subs01-103-10-64-18.three.co.id) (Quit: Leaving) |
| 2021-03-04 14:46:48 | fendor_ | is now known as fendor |
| 2021-03-04 14:47:44 | × | rcdilorenzo quits (~rcdiloren@cpe-76-182-83-26.nc.res.rr.com) (Remote host closed the connection) |
| 2021-03-04 14:48:11 | <infinisi1> | Argh, I'm supposed to write an Arbitrary instance for an uninhabited type |
| 2021-03-04 14:48:20 | infinisi1 | is now known as infinisil |
| 2021-03-04 14:48:26 | <infinisil> | I guess I'll just `error`? |
| 2021-03-04 14:49:08 | <infinisil> | The test suite will probably fail then though |
| 2021-03-04 14:51:22 | → | pyx joins (~pyx@unaffiliated/pyx) |
| 2021-03-04 14:51:29 | × | pyx quits (~pyx@unaffiliated/pyx) (Client Quit) |
| 2021-03-04 14:52:34 | → | ph88 joins (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) |
| 2021-03-04 14:52:59 | → | romesrf joins (~romesrf@2001:818:dcef:c700:d53a:4836:b1c5:f3ae) |
| 2021-03-04 14:54:44 | <ezzieyguywuf> | how can I set -Wall for every target in the cabal file? |
| 2021-03-04 14:54:50 | <ezzieyguywuf> | do I have to do ghc-options in each stanza? |
| 2021-03-04 14:55:16 | <merijn> | ezzieyguywuf: You can have common stanzas in cabal >2.0 (iirc, maybe it's 2.4?) |
| 2021-03-04 14:55:54 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-03-04 14:55:56 | <merijn> | ezzieyguywuf: See: https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/benchmark-analysis.cabal#L34-L62 |
| 2021-03-04 14:56:01 | <merijn> | ezzieyguywuf: ANd then used here: https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/benchmark-analysis.cabal#L80 |
| 2021-03-04 14:56:17 | <ezzieyguywuf> | merijn: I"ll check it out thanks |
| 2021-03-04 14:56:18 | <merijn> | For just one flag it's not that useful, but if you have a bunch it helps |
| 2021-03-04 14:56:31 | <ezzieyguywuf> | *shrug* just would rather learn the easier way to do it now |
| 2021-03-04 14:56:34 | <merijn> | I'm using cabal-version 2.2 so it's available since *at least* then :) |
| 2021-03-04 14:56:34 | <ezzieyguywuf> | so I know it when I need it later |
| 2021-03-04 14:57:30 | <ezzieyguywuf> | lol, I have my min version at 3.0 so I should be good |
| 2021-03-04 14:58:04 | <int-e> | infinisil: wouldn't it be saner to not define that instance then |
| 2021-03-04 14:58:20 | → | ClaudiusMaximus joins (~claude@191.123.199.146.dyn.plus.net) |
| 2021-03-04 14:58:34 | <ski> | i guess it's needed as a parameter |
| 2021-03-04 14:58:53 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:41d3:e796:cd7:d5b3) |
| 2021-03-04 14:58:57 | <ski> | i wonder how one could design the generation so that that would work more nicely |
| 2021-03-04 14:59:08 | <int-e> | I guess this also comes up when you have Foo a b = A a | B b and somebody decides they don't need the A alternative... |
| 2021-03-04 14:59:13 | <ski> | say generating `Either Void Bool's, compositionally |
| 2021-03-04 14:59:23 | <int-e> | right |
| 2021-03-04 14:59:43 | <dolio> | Writing an Arbitrary instance for the empty type means your other instances are wrong somehow. |
| 2021-03-04 14:59:51 | <ski> | yea. or `Tree Void', for trees without leaves |
| 2021-03-04 14:59:53 | → | vchlup joins (~vchlup@nat.brnet.cz) |
| 2021-03-04 15:00:14 | <int-e> | Well, it doesn't fit with how QuickCheck works; Either's Arbitrary instance will pick a constructor first, with no way to take it back. |
| 2021-03-04 15:00:18 | × | ClaudiusMaximus quits (~claude@191.123.199.146.dyn.plus.net) (Changing host) |
| 2021-03-04 15:00:18 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 2021-03-04 15:00:41 | <ski> | the idea, i guess, would be to have some way to signal that you're trying to do something impossible, and so it should abandom the current attempt, and try another .. hm |
| 2021-03-04 15:03:29 | × | neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 2021-03-04 15:04:02 | <int-e> | But I guess the solution is to have a better QuickCheck that can signal emptiness in the Arbitrary type class somehow; providing a clearly broken Arbitrary instance for Void instead seems insane. |
| 2021-03-04 15:04:07 | <dolio> | You write a generator that takes an optional generator for one of the parameterized types. |
| 2021-03-04 15:04:19 | <dolio> | Then for the empty type, you pass Nothing. |
All times are in UTC.