Logs: liberachat/#haskell
| 2021-08-13 01:20:17 | → | alx741 joins (~alx741@181.196.68.193) |
| 2021-08-13 01:20:24 | → | DoYouKnow joins (~DoYouKnow@75-28-180-206.lightspeed.bnsvil.sbcglobal.net) |
| 2021-08-13 01:24:23 | × | retroid_ quits (~retro@5ec19a54.skybroadband.com) (Ping timeout: 258 seconds) |
| 2021-08-13 01:25:33 | → | ormaaj joins (~ormaaj@user/ormaaj) |
| 2021-08-13 01:25:33 | → | polykernel joins (~polykerne@user/polykernel) |
| 2021-08-13 01:27:21 | → | Deide joins (~deide@user/deide) |
| 2021-08-13 01:28:36 | × | OscarH_ quits (~OscarH@97e48a81.skybroadband.com) (Ping timeout: 258 seconds) |
| 2021-08-13 01:29:37 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 248 seconds) |
| 2021-08-13 01:32:58 | → | dualinverter[m] joins (~dualinver@2001:470:69fc:105::16a7) |
| 2021-08-13 01:33:11 | → | OscarH joins (~OscarH@97e48a81.skybroadband.com) |
| 2021-08-13 01:33:40 | × | DoYouKnow quits (~DoYouKnow@75-28-180-206.lightspeed.bnsvil.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-08-13 01:35:02 | → | SimonWeiss[m] joins (~weiss-dma@2001:470:69fc:105::bebd) |
| 2021-08-13 01:35:51 | → | bryan[m] joins (~bchreekat@2001:470:69fc:105::16b5) |
| 2021-08-13 01:37:26 | → | ixlun joins (~ixlun@2001:470:69fc:105::41b3) |
| 2021-08-13 01:37:32 | × | Guest9451 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-13 01:38:09 | <Cajun> | Guest35: do you have HLS installed? |
| 2021-08-13 01:38:34 | <Cajun> | use `ghcup tui` and install the recommended HLS version |
| 2021-08-13 01:39:02 | <Cajun> | then `ctrl+shift+p` -> "restart Haskell LSP server" |
| 2021-08-13 01:39:08 | <Cajun> | *in vscode |
| 2021-08-13 01:39:58 | → | fakehacker[m] joins (~fakehacke@2001:470:69fc:105::b5f0) |
| 2021-08-13 01:40:05 | <Cajun> | and yeah im not sure why haskell hasnt moved to discord lol |
| 2021-08-13 01:40:16 | → | JavierNeira[m] joins (~jneiramat@2001:470:69fc:105::d729) |
| 2021-08-13 01:40:34 | → | wallymathieu[m] joins (~wallymath@2001:470:69fc:105::16ae) |
| 2021-08-13 01:41:13 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-13 01:41:16 | chris | is now known as Guest4291 |
| 2021-08-13 01:41:28 | × | Guest4291 quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-08-13 01:42:47 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-08-13 01:46:11 | → | CyrusT[m] joins (~cyrustcru@2001:470:69fc:105::306e) |
| 2021-08-13 01:48:00 | → | Homeopath joins (~Homeopath@70.red-88-31-191.dynamicip.rima-tde.net) |
| 2021-08-13 01:48:05 | <Homeopath> | Hi |
| 2021-08-13 01:49:16 | × | kor1 quits (~kor1@user/kor1) (Quit: Leaving.) |
| 2021-08-13 01:50:10 | → | jesser[m] joins (~jessermat@2001:470:69fc:105::d5ae) |
| 2021-08-13 01:51:13 | → | srid[m] joins (~sridmatri@2001:470:69fc:105::1c2) |
| 2021-08-13 01:51:29 | → | maralorn joins (~maralorn@2001:470:69fc:105::251) |
| 2021-08-13 01:52:38 | × | Homeopath quits (~Homeopath@70.red-88-31-191.dynamicip.rima-tde.net) (Quit: Client closed) |
| 2021-08-13 01:52:58 | → | infinisil joins (~infinisil@2001:470:69fc:105::ff8) |
| 2021-08-13 01:53:08 | → | afotgkmnzj7asv3r joins (~afotgkmnz@2001:470:69fc:105::c24b) |
| 2021-08-13 01:53:44 | × | xff0x quits (~xff0x@2001:1a81:5238:9600:abd9:7ea2:c2a4:a5eb) (Ping timeout: 272 seconds) |
| 2021-08-13 01:54:25 | <Cajun> | hello! |
| 2021-08-13 01:55:01 | → | rednaZ[m] joins (~r3dnazmat@2001:470:69fc:105::ba70) |
| 2021-08-13 01:55:09 | → | xff0x joins (~xff0x@2001:1a81:5278:5300:d62b:c7db:34dc:535c) |
| 2021-08-13 01:55:43 | → | reza[m] joins (~rezaphone@2001:470:69fc:105::3eda) |
| 2021-08-13 01:56:00 | → | maerwald[m] joins (~maerwaldm@2001:470:69fc:105::1ee) |
| 2021-08-13 01:56:03 | → | chris joins (~chris@81.96.113.213) |
| 2021-08-13 01:56:06 | chris | is now known as Guest8544 |
| 2021-08-13 01:56:12 | → | ru0mad[m] joins (~ru0madmat@2001:470:69fc:105::9b2) |
| 2021-08-13 01:56:19 | → | soft joins (~soft-matr@2001:470:69fc:105::c75) |
| 2021-08-13 01:56:20 | → | stoicswe[m] joins (~deadlette@2001:470:69fc:105::d277) |
| 2021-08-13 01:56:20 | → | yin[m] joins (~zwromatri@2001:470:69fc:105::1d4) |
| 2021-08-13 01:56:26 | × | alx741 quits (~alx741@181.196.68.193) (Quit: alx741) |
| 2021-08-13 01:56:43 | → | MatrixTravelerbo joins (~voyagert2@2001:470:69fc:105::22) |
| 2021-08-13 01:57:08 | → | sm joins (~sm@plaintextaccounting/sm) |
| 2021-08-13 01:57:45 | → | jchia[m] joins (~jchiamatr@2001:470:69fc:105::c50b) |
| 2021-08-13 01:58:20 | <Axman6> | Cajun: we haven't moved to discord because this channel has been around for a very long time, and has a very good reputation as being the best and kindest place to ask questions. We like our simplicity =) |
| 2021-08-13 01:59:09 | <Cajun> | makes sense. i figured it was because discord would be overkill, as it seems 2 channels (on- and off-topic) was plenty and moving a community to a new platform always loses members |
| 2021-08-13 02:00:35 | → | carmysilna joins (~brightly-@2001:470:69fc:105::2190) |
| 2021-08-13 02:03:34 | → | cdsmith joins (~cdsmithma@2001:470:69fc:105::284) |
| 2021-08-13 02:04:14 | × | markpythonicbitc quits (~markpytho@2601:647:5a00:35:e049:539d:ba89:3861) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-13 02:04:41 | → | markpythonicbitc joins (~markpytho@2601:647:5a00:35:e049:539d:ba89:3861) |
| 2021-08-13 02:05:07 | → | unclechu joins (~unclechu@2001:470:69fc:105::354) |
| 2021-08-13 02:05:20 | → | jakefromstatefar joins (~jakefroms@2001:470:69fc:105::15ef) |
| 2021-08-13 02:07:20 | → | oak- joins (~oakuniver@2001:470:69fc:105::fcd) |
| 2021-08-13 02:08:21 | <yushyin> | with the downfall of freenode some communities have switched to matrix, and i doubt many here would be pleased with a discord server and would start an irc channel anyway |
| 2021-08-13 02:09:08 | → | euouae joins (~euouae@user/euouae) |
| 2021-08-13 02:09:18 | <euouae> | Hello |
| 2021-08-13 02:09:20 | <Axman6> | yeah - at least matreix has irc integration... but I tried matrix and couldn't for the life of me figure out what was going on, very confusing |
| 2021-08-13 02:09:33 | <euouae> | How can I check `recheck (Size 0) (Seed 1821521901577062835 7364151469196693399) prop_shrink_limit` with Hedgehog? This is from the hedgehog log when I ran `cabal test` |
| 2021-08-13 02:10:34 | → | lwe[m] joins (~dendrumat@2001:470:69fc:105::2f9b) |
| 2021-08-13 02:10:34 | → | jkachmar joins (~jkachmar@2001:470:69fc:105::c72d) |
| 2021-08-13 02:10:41 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 248 seconds) |
| 2021-08-13 02:10:41 | <euouae> | Do I have to load some module in GHCi and do the sfrom ghci? |
| 2021-08-13 02:10:51 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 2021-08-13 02:11:06 | <Axman6> | you should be able to pass that in via command line args to the test executable |
| 2021-08-13 02:11:21 | → | marinelli[m] joins (~marinelli@2001:470:69fc:105::2d8) |
| 2021-08-13 02:11:25 | → | Drew[m]1 joins (~drewefenw@2001:470:69fc:105::c8c4) |
| 2021-08-13 02:11:34 | → | jophish joins (~jophish@2001:470:69fc:105::670) |
| 2021-08-13 02:11:34 | <Axman6> | try cabal test --test-option=--help |
| 2021-08-13 02:12:01 | <Axman6> | then cabal test --test-option=-option-for-test-framework --test-option=-another or something like that |
| 2021-08-13 02:12:03 | <euouae> | One thing that worked is `cabal repl Test.Example.Basic` followed by `> recheck (Size 0) (Seed 1821521901577062835 7364151469196693399) prop_shrink_limit` |
| 2021-08-13 02:12:43 | <euouae> | I'm not sure if that's the workflow |
| 2021-08-13 02:13:09 | <Axman6> | no, the command line args probably are the way to go |
| 2021-08-13 02:13:45 | <euouae> | ok |
| 2021-08-13 02:13:47 | → | thomasjm[m] joins (~thomasjmm@2001:470:69fc:105::c6d9) |
| 2021-08-13 02:13:50 | → | hughjfchen[m] joins (~hughjfche@2001:470:69fc:105::c29d) |
| 2021-08-13 02:15:04 | → | fabfianda[m] joins (~fabfianda@2001:470:69fc:105::6db) |
| 2021-08-13 02:15:20 | <euouae> | what to make of this? https://paste.tomsmeding.com/SoiKliO8 |
| 2021-08-13 02:15:28 | → | hsek[m] joins (~hsekmatri@2001:470:69fc:105::d18f) |
| 2021-08-13 02:15:43 | <euouae> | Should I read the cabal configuration file to find out what the targets are? |
| 2021-08-13 02:16:05 | <Axman6> | proably |
| 2021-08-13 02:16:11 | → | Deewiant joins (~deewiant@2001:470:69fc:105::2fd3) |
| 2021-08-13 02:16:15 | <Axman6> | and maybe the cabal documentation ;) |
| 2021-08-13 02:16:20 | × | waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2021-08-13 02:16:54 | <euouae> | % cabal test hedgehog-example --test-option=--help |
| 2021-08-13 02:16:55 | <yahb> | euouae: ; <interactive>:9:1: error: Variable not in scope: cabal :: t0 -> t1 -> a; <interactive>:9:7: error:; * Variable not in scope: test; * Perhaps you meant one of these: `text' (imported from Text.PrettyPrint.HughesPJ), `nest' (imported from Text.PrettyPrint.HughesPJ); <interactive>:9:12: error: Variable not in scope: hedgehog; <interactive>:9:21: error:; * Variable not in scope: example; |
| 2021-08-13 02:17:07 | <euouae> | Oh sorry about this. The above just runs the test suite, no options showed |
| 2021-08-13 02:17:24 | × | td_ quits (~td@94.134.91.94) (Ping timeout: 268 seconds) |
| 2021-08-13 02:17:29 | <Axman6> | O think you should read the cabal docs |
| 2021-08-13 02:17:31 | <Axman6> | I* |
| 2021-08-13 02:17:35 | <euouae> | Alright |
| 2021-08-13 02:18:34 | → | td_ joins (~td@muedsl-82-207-238-005.citykom.de) |
All times are in UTC.