Logs: freenode/#haskell
| 2021-04-22 18:04:23 | → | solidus-river joins (~mike@174.127.249.180) |
| 2021-04-22 18:04:41 | <monochrom> | And it is still possible that you can build but you can't use the build production. |
| 2021-04-22 18:04:46 | <monochrom> | s/production/product/ |
| 2021-04-22 18:04:47 | <geekosaur> | so if you want 8.10.4 the oldest ghc that can build it is 8.6.5 |
| 2021-04-22 18:05:14 | <monochrom> | If a GHC exe doesn't support -fvia-C then it doesn't. It doesn't matter who built it. |
| 2021-04-22 18:05:33 | <geekosaur> | I think you will have problems getting ghc onto DOS in any way |
| 2021-04-22 18:05:36 | <solidus-river> | hey all, i'm getting a cryptic error from stack that i don't understand. I've read the available docs and bug reports and they all seem old and i can't understand the answers. I'm building a app that has one executable and a test suite using hspec |
| 2021-04-22 18:05:44 | <solidus-river> | when i try to see coverage it says no code is considered |
| 2021-04-22 18:06:21 | <monochrom> | Well, it is 32-bit extended DOS since DJGPP is brought up. |
| 2021-04-22 18:06:27 | × | LKoen quits (~LKoen@11.160.9.109.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-22 18:06:42 | <monochrom> | Oh right, the RTS doesn't know DOS syscalls. Nevermind. |
| 2021-04-22 18:06:54 | <monochrom> | Or DJGPP syscalls for that matter. |
| 2021-04-22 18:07:48 | <monochrom> | It doesn't even know how to ask the OS for memory. (Answer: "don't worry about that" >:) ) |
| 2021-04-22 18:08:18 | <monochrom> | Once again your best bet is with Hugs. |
| 2021-04-22 18:08:41 | <monochrom> | This is becoming a trend. Everyday, some problem can be easily solved by going Hugs. |
| 2021-04-22 18:09:20 | <geekosaur> | …provided it's compatible, since it's barely maintained these days |
| 2021-04-22 18:09:24 | monochrom | hugs Hugs |
| 2021-04-22 18:09:57 | <monochrom> | Yes I imagine whether GHC or Hugs, you will have to hack on them first. But much easier in the case of Hugs. |
| 2021-04-22 18:11:12 | <monochrom> | Is there a javascript-capable web browser on DOS? You would go GHCJS... |
| 2021-04-22 18:11:13 | → | LKoen joins (~LKoen@11.160.9.109.rev.sfr.net) |
| 2021-04-22 18:11:23 | <monochrom> | s/would/could/ |
| 2021-04-22 18:12:07 | → | band joins (~band@104-57-176-102.lightspeed.austtx.sbcglobal.net) |
| 2021-04-22 18:12:13 | → | mcglk joins (~textual@131.191.49.120) |
| 2021-04-22 18:12:23 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-04-22 18:12:30 | × | nut quits (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-04-22 18:15:24 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-22 18:15:52 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-poljwzteeqldftix) (Quit: Connection closed for inactivity) |
| 2021-04-22 18:16:23 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-22 18:16:26 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-04-22 18:16:41 | × | band quits (~band@104-57-176-102.lightspeed.austtx.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-04-22 18:17:08 | → | pthariensflame joins (~pthariens@2600:6c52:727f:4200:f91c:1561:8a9d:5bd1) |
| 2021-04-22 18:17:22 | × | philderbeast quits (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-22 18:17:28 | × | pthariensflame quits (~pthariens@2600:6c52:727f:4200:f91c:1561:8a9d:5bd1) (Client Quit) |
| 2021-04-22 18:19:36 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-22 18:20:54 | → | redmp joins (~redmp@172.58.22.204) |
| 2021-04-22 18:21:24 | × | falsifia1 quits (~falsifian@exoco.falsifian.org) (Quit: leaving) |
| 2021-04-22 18:21:44 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Quit: WeeChat 3.1) |
| 2021-04-22 18:21:44 | → | band joins (~band@104-57-176-102.lightspeed.austtx.sbcglobal.net) |
| 2021-04-22 18:22:19 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-ggwmryvnqwlsouwu) (Quit: Connection closed for inactivity) |
| 2021-04-22 18:22:35 | → | falsifian joins (~falsifian@exoco.falsifian.org) |
| 2021-04-22 18:24:07 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:64af:faf0:9188:52bf) |
| 2021-04-22 18:26:07 | × | band quits (~band@104-57-176-102.lightspeed.austtx.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-04-22 18:27:20 | → | epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-04-22 18:30:19 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 252 seconds) |
| 2021-04-22 18:30:56 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 2021-04-22 18:31:17 | <invaser> | Hi guys! Is there a way to do the thing on screenshot without writing the expression twice? https://i.imgur.com/wGPuDio.png |
| 2021-04-22 18:31:51 | <invaser> | The only way I see now is to make a boolean function that will return true on pattern-matches with App and Lam |
| 2021-04-22 18:32:48 | <invaser> | And if I understand correctly, with pattern guards I can only match several patterns separated by comma, and it essentialy works as && while I need || |
| 2021-04-22 18:33:35 | → | jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-04-22 18:36:14 | <monochrom> | showP ctx t | theBooleanFunction t = |
| 2021-04-22 18:36:57 | <monochrom> | In this particular case, there is one more factoring you can do. |
| 2021-04-22 18:37:25 | → | minoru_shiraeesh joins (~shiraeesh@46.34.207.53) |
| 2021-04-22 18:37:27 | <monochrom> | parenthesize :: Bool -> String -> String |
| 2021-04-22 18:37:28 | <solidus-river> | or showP ctx t; | (x _ _) <- t, t `elem` [Lam, App] = blah |
| 2021-04-22 18:37:43 | → | remby joins (~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca) |
| 2021-04-22 18:37:45 | <monochrom> | parenthesize True s = "(" ++ s ++ ")"; parenthesize False s = s |
| 2021-04-22 18:38:25 | <monochrom> | showP ctx t = parenthesize (theBooleanFunction t) (show' ctx t) |
| 2021-04-22 18:38:56 | <monochrom> | No, solidus-river, there is no "(x _ _)" pattern. |
| 2021-04-22 18:39:43 | <invaser> | yeah, I also don't think that (x _ _) is possible |
| 2021-04-22 18:40:11 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-04-22 18:41:13 | <invaser> | thanks for the suggestion with parenthesize, didn't know it exists |
| 2021-04-22 18:41:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-22 18:41:45 | <invaser> | but with the new boolean function, I don't know. Seems to me that it won't make code easier to read in this case |
| 2021-04-22 18:42:08 | <monochrom> | s/theBooleanFunction/lamOrApp/ |
| 2021-04-22 18:42:20 | <invaser> | yeah, I got it |
| 2021-04-22 18:42:24 | <monochrom> | in which the only unreadability is due to the camel case religion |
| 2021-04-22 18:42:25 | × | darjeeling_ quits (~darjeelin@122.245.209.158) (Ping timeout: 260 seconds) |
| 2021-04-22 18:42:35 | × | ezzieyguywuf quits (~Unknown@unaffiliated/ezzieyguywuf) (Read error: No route to host) |
| 2021-04-22 18:42:36 | <monochrom> | Yes that's right it's a religion. |
| 2021-04-22 18:42:43 | <monochrom> | lam_or_app is more readable. |
| 2021-04-22 18:43:06 | → | ezzieyguywuf joins (~Unknown@unaffiliated/ezzieyguywuf) |
| 2021-04-22 18:43:07 | <invaser> | I mean, that introducing a new function only for it to be used one time seems like an overkill |
| 2021-04-22 18:43:21 | <monochrom> | Make it a local function. |
| 2021-04-22 18:44:18 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-22 18:45:55 | → | band joins (~band@104-57-176-102.lightspeed.austtx.sbcglobal.net) |
| 2021-04-22 18:46:00 | <band> | quit |
| 2021-04-22 18:46:04 | × | band quits (~band@104-57-176-102.lightspeed.austtx.sbcglobal.net) (Client Quit) |
| 2021-04-22 18:47:28 | × | Sorna quits (~Sornaensi@077213200034.dynamic.telenor.dk) (Ping timeout: 268 seconds) |
| 2021-04-22 18:49:43 | × | minoru_shiraeesh quits (~shiraeesh@46.34.207.53) (Ping timeout: 265 seconds) |
| 2021-04-22 18:50:15 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-22 18:53:27 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:d5ef:86b3:afc4:9258) |
| 2021-04-22 18:56:50 | → | darjeeling_ joins (~darjeelin@122.245.216.145) |
| 2021-04-22 19:00:17 | → | minoru_shiraeesh joins (~shiraeesh@46.34.207.53) |
| 2021-04-22 19:02:58 | → | electricityZZZZ joins (~electrici@135-180-3-82.static.sonic.net) |
| 2021-04-22 19:05:32 | <dmj`> | quit |
| 2021-04-22 19:06:05 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-04-22 19:06:06 | <geekosaur> | nope |
| 2021-04-22 19:06:48 | × | fendor quits (~fendor@178.165.129.61.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-04-22 19:08:15 | → | fendor joins (~fendor@178.165.129.61.wireless.dyn.drei.com) |
| 2021-04-22 19:09:46 | → | forgottenone joins (~forgotten@176.42.21.81) |
| 2021-04-22 19:10:31 | <maerwald> | please stay |
| 2021-04-22 19:11:55 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-04-22 19:13:19 | <dmj`> | okay |
| 2021-04-22 19:15:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-04-22 19:15:45 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-04-22 19:17:32 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-04-22 19:23:05 | × | elfets_ quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds) |
| 2021-04-22 19:23:48 | × | DavidEichmann quits (~david@147.136.46.217.dyn.plus.net) (Remote host closed the connection) |
| 2021-04-22 19:24:52 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-22 19:26:31 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
All times are in UTC.