Newest at the top
2024-04-29 18:26:57 +0200 | <famubu> | Hi again. I am trying to write a regex parser with megaparsec. Am trying to make a parser to deal with `r{2,3}` where the corresponding constructor is `Rep Re Integer Integer`. How would I do this using operator table? I guess we need the parser to take a regex and 2 integers as argument? But all arguments need to be same type, right? Then that isn't it, right? |
2024-04-29 18:24:29 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-29 18:24:12 +0200 | euleritian | (~euleritia@dynamic-176-007-169-212.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-04-29 18:23:50 +0200 | euleritian | (~euleritia@dynamic-176-007-169-212.176.7.pool.telefonica.de) |
2024-04-29 18:23:46 +0200 | gaff | (~gaff@49.207.216.126) |
2024-04-29 18:23:44 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
2024-04-29 18:23:43 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2024-04-29 18:22:00 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
2024-04-29 18:07:15 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-04-29 18:06:53 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 268 seconds) |
2024-04-29 18:06:37 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) |
2024-04-29 18:05:01 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2024-04-29 18:04:42 +0200 | jumper149 | (~jumper149@base.felixspringer.xyz) (Ping timeout: 252 seconds) |
2024-04-29 18:03:28 +0200 | hiredman | (~hiredman@frontier1.downey.family) |
2024-04-29 17:56:35 +0200 | <shapr> | next step is to see if I can extract the tix files with their counts so I can get raw coverage before it's stuffed into HPC's html output |
2024-04-29 17:54:38 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
2024-04-29 17:54:07 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 256 seconds) |
2024-04-29 17:52:47 +0200 | <shapr> | I thought it was enough to have "coverage: True" but cabal gave me this cabal.project.local: ignore-project: False \n tests: True \n coverage: True \n library-coverage: True |
2024-04-29 17:52:43 +0200 | <shapr> | hm |
2024-04-29 17:50:36 +0200 | <shapr> | on the good side, cabal configure told me that I had an existing cabal.project.local and it made a backup and wrote the correct combination of options into the new cabal.project.local |
2024-04-29 17:50:04 +0200 | <shapr> | int-e: does feel like that sometimes |
2024-04-29 17:49:54 +0200 | <shapr> | I could create props in QuickCheck and run them with both QC and HH? |
2024-04-29 17:49:54 +0200 | <int-e> | This is HNN reporting live from the scene where we can observe a developer uncovering the mysteries of a nefarious cabal that has made it their mission to drive 42.765% of its users insane. |
2024-04-29 17:49:34 +0200 | <shapr> | I'm working on Kudzu again, and I'd like to compare QuickCheck and HedgeHog tests, if I can create equivalent properties. |
2024-04-29 17:48:47 +0200 | <shapr> | but at least I figured out why I wasn't seeing any coverage from the tests |
2024-04-29 17:48:27 +0200 | <shapr> | ok, it's not exciting |
2024-04-29 17:48:24 +0200 | <shapr> | this is live coverage of this exciting news event |
2024-04-29 17:48:15 +0200 | <shapr> | I dunno |
2024-04-29 17:47:24 +0200 | <EvanR> | cabal test vs cabal run tests... what |
2024-04-29 17:46:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 268 seconds) |
2024-04-29 17:46:36 +0200 | <shapr> | you will *not* find success with: cabal run tests --enable-coverage # THIS DOES NOT DO WHAT YOU WANT |
2024-04-29 17:46:06 +0200 | <shapr> | In case anyone wants to enable code coverage for tests, you will find success with: cabal clean && cabal configure --enable-coverage --enable-tests && cabal test |
2024-04-29 17:43:11 +0200 | pyooque | puke |
2024-04-29 17:43:11 +0200 | puke | (~puke@user/puke) (Killed (lithium.libera.chat (Nickname regained by services))) |
2024-04-29 17:43:11 +0200 | pyooque | (~puke@user/puke) |
2024-04-29 17:41:41 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 272 seconds) |
2024-04-29 17:37:45 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 252 seconds) |
2024-04-29 17:33:46 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
2024-04-29 17:29:21 +0200 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
2024-04-29 17:25:42 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-04-29 17:18:22 +0200 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
2024-04-29 17:07:52 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-29 17:07:35 +0200 | euleritian | (~euleritia@dynamic-176-007-169-212.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
2024-04-29 17:05:57 +0200 | famubu | is going afk |
2024-04-29 17:05:17 +0200 | <famubu> | It at least gives something to build on. |
2024-04-29 17:05:04 +0200 | <famubu> | 😬 |
2024-04-29 17:04:27 +0200 | <EvanR> | an inaccurate cheatsheet is definitely hazardous |
2024-04-29 17:03:26 +0200 | euleritian | (~euleritia@dynamic-176-007-169-212.176.7.pool.telefonica.de) |
2024-04-29 17:02:58 +0200 | <famubu> | Don't know how accurate. |
2024-04-29 17:02:52 +0200 | <famubu> | Well.. I have started: https://rawtext.club/~famubu/wiki/haskell/general.html |