Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4830 4831 4832 4833 4834 4835 4836 4837 4838 4839 4840 .. 5022
— 502,152 events total
2021-05-11 14:49:10 × stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds)
2021-05-11 14:49:16 → thunderrd joins (~thunderrd@183.182.115.120)
2021-05-11 14:49:55 <raehik> I have to keep recompiling a project that takes a few minutes to do so. I figure a quick solution would be to make a Cabal flag that skips some modules and the code that uses them. But I can't find any info on how to use flags in code. Do I need to also use CPP?
2021-05-11 14:50:11 <geekosaur> yes
2021-05-11 14:50:41 × minoru_shiraeesh quits (~shiraeesh@109.166.58.80) (Ping timeout: 260 seconds)
2021-05-11 14:50:50 → nineonine joins (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90)
2021-05-11 14:51:08 → fendor joins (~fendor@178.165.129.215.wireless.dyn.drei.com)
2021-05-11 14:51:59 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-05-11 14:52:27 <wz1000> raehik: you need to add something like `if flag(my-flag) cpp-options: -DMY_FLAG` to your cabal file and then use `#ifdef MY_FLAG` and so on
2021-05-11 14:52:27 → Tops21 joins (~Tobias@dyndsl-095-033-090-210.ewe-ip-backbone.de)
2021-05-11 14:52:36 <geekosaur> and you still can't use them directly... that
2021-05-11 14:53:11 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-05-11 14:53:12 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-05-11 14:53:29 <raehik> wz1000: so you do have to, dang. It'd save me some tedium, but maybe too much effort given I'd have to keep applying and removing the patch to make commits
2021-05-11 14:53:56 <raehik> Thanks!
2021-05-11 14:53:56 → Tops22 joins (~Tobias@dyndsl-095-033-090-210.ewe-ip-backbone.de)
2021-05-11 14:55:26 × nineonine quits (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 258 seconds)
2021-05-11 14:55:53 × Tops2 quits (~Tobias@dyndsl-095-033-090-210.ewe-ip-backbone.de) (Ping timeout: 240 seconds)
2021-05-11 14:56:14 × frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds)
2021-05-11 14:57:11 × Tops21 quits (~Tobias@dyndsl-095-033-090-210.ewe-ip-backbone.de) (Ping timeout: 240 seconds)
2021-05-11 15:00:52 → frozenErebus joins (~frozenEre@37.231.244.249)
2021-05-11 15:01:39 × gemmaro_ja quits (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) (Ping timeout: 245 seconds)
2021-05-11 15:01:47 → stree joins (~stree@68.36.8.116)
2021-05-11 15:04:48 × electricityZZZZ quits (~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Remote host closed the connection)
2021-05-11 15:04:51 × jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-05-11 15:05:45 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:692a:95b:a9cd:2f9)
2021-05-11 15:06:32 → jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-05-11 15:07:11 × sphi quits (~sphi@unaffiliated/sphi) (Remote host closed the connection)
2021-05-11 15:07:59 × geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed)
2021-05-11 15:08:23 → geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com)
2021-05-11 15:10:44 → minoru_shiraeesh joins (~shiraeesh@109.166.58.80)
2021-05-11 15:11:04 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2021-05-11 15:11:51 × jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection)
2021-05-11 15:13:25 → jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-05-11 15:14:15 × ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection)
2021-05-11 15:15:01 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds)
2021-05-11 15:15:03 → ukari joins (~ukari@unaffiliated/ukari)
2021-05-11 15:17:37 × mateusz quits (~mateusz@77-254-3-194.adsl.inetia.pl) (Remote host closed the connection)
2021-05-11 15:17:46 × noctux quits (~noctux@unaffiliated/noctux) (Read error: Connection reset by peer)
2021-05-11 15:18:02 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-05-11 15:19:55 → Ishutin joins (~ishutin@94-21-157-151.pool.digikabel.hu)
2021-05-11 15:20:32 → idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-05-11 15:22:32 <dminuoso> raehik: Also, you can set -O0, that can speed up compilation by quite a lot.
2021-05-11 15:22:47 × idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection)
2021-05-11 15:22:48 <dminuoso> In addition, if you want to recompile just for type checking, you can disable code generation, speeding it up even further
2021-05-11 15:23:37 <raehik> dminuoso: Thanks. I like to jump into ghci regularly but there's 5 variant Alex parsers that build themselves and it takes Too Long
2021-05-11 15:23:38 × yogani quits (sid42623@gateway/web/irccloud.com/x-bnhacqijyxmiyyae) (Remote host closed the connection)
2021-05-11 15:23:38 × integral quits (sid296274@p3m/member/integral) (Remote host closed the connection)
2021-05-11 15:23:39 × howdoi quits (uid224@gateway/web/irccloud.com/x-sfhlcsgoerbublmd) (Remote host closed the connection)
2021-05-11 15:23:39 × hendi quits (sid489601@gateway/web/irccloud.com/x-tofwispyijhkkmkf) (Remote host closed the connection)
2021-05-11 15:23:39 × Adeon quits (sid418992@gateway/web/irccloud.com/x-gymdfseqxtsglqmg) (Remote host closed the connection)
2021-05-11 15:23:39 × teehemkay quits (sid14792@gateway/web/irccloud.com/x-xuibphqfjsbzklag) (Remote host closed the connection)
2021-05-11 15:23:39 × pent quits (sid313808@gateway/web/irccloud.com/x-cpxermbqpxsktgud) (Remote host closed the connection)
2021-05-11 15:23:39 × billstclair quits (sid77830@gateway/web/irccloud.com/x-olfxcxrqivvdbbbh) (Remote host closed the connection)
2021-05-11 15:23:39 × chessai quits (sid225296@gateway/web/irccloud.com/x-ldpypglktrbopvgw) (Remote host closed the connection)
2021-05-11 15:23:39 × sclv quits (sid39734@haskell/developer/sclv) (Remote host closed the connection)
2021-05-11 15:23:39 × kip quits (sid71464@gateway/web/irccloud.com/x-ejmdxvkprgoyfvds) (Remote host closed the connection)
2021-05-11 15:23:39 × NemesisD quits (sid24071@gateway/web/irccloud.com/x-dzmyzafvcbeydbqy) (Remote host closed the connection)
2021-05-11 15:23:39 × PotatoGim quits (sid99505@gateway/web/irccloud.com/x-stkdlziizvdtczpk) (Remote host closed the connection)
2021-05-11 15:23:48 → chessai joins (sid225296@gateway/web/irccloud.com/x-vvuucfyypayfysmg)
2021-05-11 15:23:48 → yogani joins (sid42623@gateway/web/irccloud.com/x-hizjjgvhcvqlyrba)
2021-05-11 15:23:49 → NemesisD joins (sid24071@gateway/web/irccloud.com/x-jqwffsdoepykblkn)
2021-05-11 15:23:49 → integral joins (sid296274@p3m/member/integral)
2021-05-11 15:23:50 → teehemkay joins (sid14792@gateway/web/irccloud.com/x-vulvlvrrnfdfvahd)
2021-05-11 15:23:50 → hendi joins (sid489601@gateway/web/irccloud.com/x-uqohcpzerdjcsbjn)
2021-05-11 15:23:51 → kip joins (sid71464@gateway/web/irccloud.com/x-mznormuiqdnkhwze)
2021-05-11 15:23:51 → billstclair joins (sid77830@gateway/web/irccloud.com/x-xwklscchjhngjwjd)
2021-05-11 15:23:51 → pent joins (sid313808@gateway/web/irccloud.com/x-gthllmzsbacdlose)
2021-05-11 15:23:57 → Adeon joins (sid418992@gateway/web/irccloud.com/x-tfbfzpiudsomqpvb)
2021-05-11 15:24:02 → PotatoGim joins (sid99505@gateway/web/irccloud.com/x-kguolsobtmitgwzj)
2021-05-11 15:24:04 → sclv joins (sid39734@haskell/developer/sclv)
2021-05-11 15:24:05 → idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net)
2021-05-11 15:24:10 → howdoi joins (uid224@gateway/web/irccloud.com/x-skpmotuzajgkfppr)
2021-05-11 15:24:14 <raehik> I know to :r, but occasionally I can't (in this case I was building the test suite)
2021-05-11 15:24:15 × idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Client Quit)
2021-05-11 15:24:37 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-05-11 15:24:42 → bollu joins (~bollu@139.59.46.74)
2021-05-11 15:25:28 × bahamas quits (~lucian@unaffiliated/bahamas) (Quit: leaving)
2021-05-11 15:26:19 <catern> an offhand comment in an unrelated paper just pointed out that, by curry-howard, typeclass resolution is proof search, which blew my mind
2021-05-11 15:26:34 <catern> anyone know any papers on this?
2021-05-11 15:28:57 → carlomagno joins (~cararell@148.87.23.13)
2021-05-11 15:28:59 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-11 15:29:03 × jame_227 quits (519fdca5@host81-159-220-165.range81-159.btcentralplus.com) (Ping timeout: 240 seconds)
2021-05-11 15:30:02 → vicfred joins (vicfred@gateway/vpn/mullvad/vicfred)
2021-05-11 15:30:45 × chele quits (~chele@78.128.94.174) (Remote host closed the connection)
2021-05-11 15:31:57 → ADG1089 joins (~aditya@27.58.160.217)
2021-05-11 15:32:57 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-05-11 15:33:18 → Iceland_jack joins (~user@95.147.45.92)
2021-05-11 15:33:47 × ADG1089 quits (~aditya@27.58.160.217) (Client Quit)
2021-05-11 15:33:59 <c_wraith> It's a very limited form of proof search.
2021-05-11 15:34:05 <c_wraith> It doesn't do any backtracking
2021-05-11 15:34:12 → a6a45081-2b83-4b joins (~aditya@27.58.160.217)
2021-05-11 15:34:27 hackage Z-Botan 0.1.1.2 - Crypto for Haskell https://hackage.haskell.org/package/Z-Botan-0.1.1.2 (winterland)
2021-05-11 15:35:04 → noctux joins (~noctux@unaffiliated/noctux)
2021-05-11 15:36:49 × a6a45081-2b83-4b quits (~aditya@27.58.160.217) (Client Quit)
2021-05-11 15:37:10 → a6a45081-2b83-4b joins (~aditya@27.58.160.217)
2021-05-11 15:37:13 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 258 seconds)
2021-05-11 15:37:22 <a6a45081-2b83-4b> hi guys
2021-05-11 15:37:23 → oxide joins (~lambda@unaffiliated/mclaren)
2021-05-11 15:37:52 × a6a45081-2b83-4b quits (~aditya@27.58.160.217) (Client Quit)
←Prev  Next→
Page 1 .. 4830 4831 4832 4833 4834 4835 4836 4837 4838 4839 4840 .. 5022

All times are in UTC.