Logs: liberachat/#haskell
| 2021-05-26 09:05:47 | → | xerox joins (~edi@user/edi) |
| 2021-05-26 09:06:02 | × | aasirc quits (~aasirc@91.193.5.10) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-26 09:06:13 | → | igghibu joins (~igghibu@91.193.5.10) |
| 2021-05-26 09:06:15 | × | sondre quits (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) (Ping timeout: 264 seconds) |
| 2021-05-26 09:06:51 | × | Erutuon quits (~Erutuon@97-116-14-180.mpls.qwest.net) (Ping timeout: 264 seconds) |
| 2021-05-26 09:07:42 | × | igghibu quits (~igghibu@91.193.5.10) (Client Quit) |
| 2021-05-26 09:08:06 | × | chele quits (~chele@user/chele) (Ping timeout: 264 seconds) |
| 2021-05-26 09:09:37 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-05-26 09:10:33 | Guest97 | is now known as FreeVariable |
| 2021-05-26 09:11:17 | × | FreeVariable quits (~Guest97@31-10-165-72.cgn.dynamic.upc.ch) (Quit: Connection closed) |
| 2021-05-26 09:11:54 | → | FreeVariable joins (~FreeVaria@31-10-165-72.cgn.dynamic.upc.ch) |
| 2021-05-26 09:12:14 | × | FreeVariable quits (~FreeVaria@31-10-165-72.cgn.dynamic.upc.ch) (Client Quit) |
| 2021-05-26 09:12:36 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-26 09:12:50 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2021-05-26 09:12:54 | × | fabfianda quits (~fabfianda@net-93-148-125-174.cust.dsl.teletu.it) (Read error: Connection reset by peer) |
| 2021-05-26 09:13:03 | → | fabfianda joins (~fabfianda@net-93-148-125-174.cust.dsl.teletu.it) |
| 2021-05-26 09:15:22 | → | sondre joins (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) |
| 2021-05-26 09:15:35 | → | guest0123 joins (~aaron@2601:602:a080:fa0:745b:c700:b4c:aac3) |
| 2021-05-26 09:15:50 | <tomsmeding> | arahael: perhaps you landed in freenode##haskell? |
| 2021-05-26 09:16:06 | <tomsmeding> | (mind the double #) |
| 2021-05-26 09:16:49 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 2021-05-26 09:16:54 | → | jalonso joins (~user@90.106.128.3) |
| 2021-05-26 09:17:06 | × | Toast52 quits (~Toast52@151.192.167.120) (Quit: Leaving) |
| 2021-05-26 09:17:14 | <arahael> | tomsmeding: Nope, the single-hash. |
| 2021-05-26 09:17:21 | <arahael> | Let me try again. |
| 2021-05-26 09:17:34 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 2021-05-26 09:17:37 | → | ddellacosta joins (~ddellacos@86.106.121.52) |
| 2021-05-26 09:17:41 | tomsmeding | left a few minutes ago, but when I did there were still 400+ users there (all non-voiced so unable to speak since the forced move) |
| 2021-05-26 09:17:57 | <arahael> | Ah, found it. Yep, you're right - auto-forwards to ##haskell now. |
| 2021-05-26 09:19:26 | → | tonyz joins (~tonyz@2a02:587:2805:3d8f:5dcc:c286:46bb:54f7) |
| 2021-05-26 09:19:31 | → | Dykam joins (Dykam@dykam.nl) |
| 2021-05-26 09:20:02 | × | horex539 quits (~horex539@2a02:a03f:6aa5:a00:94:234b:587f:cd53) () |
| 2021-05-26 09:20:11 | × | SanchayanM quits (~Sanchayan@136.185.150.127) (Quit: SanchayanM) |
| 2021-05-26 09:20:28 | → | SanchayanM joins (~Sanchayan@136.185.150.127) |
| 2021-05-26 09:20:29 | × | sondre quits (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) (Ping timeout: 272 seconds) |
| 2021-05-26 09:21:12 | → | minoru_shiraeesh joins (~shiraeesh@109.166.57.151) |
| 2021-05-26 09:22:09 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-26 09:22:22 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Ping timeout: 264 seconds) |
| 2021-05-26 09:22:23 | × | ddellacosta quits (~ddellacos@86.106.121.52) (Ping timeout: 272 seconds) |
| 2021-05-26 09:24:13 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Changing host) |
| 2021-05-26 09:24:13 | → | v01d4lph4 joins (~v01d4lph4@user/v01d4lph4) |
| 2021-05-26 09:24:47 | × | m1dnight quits (~christoph@188.ip-51-91-158.eu) (Quit: WeeChat 3.1) |
| 2021-05-26 09:25:01 | → | m1dnight joins (~christoph@188.ip-51-91-158.eu) |
| 2021-05-26 09:25:56 | × | m1dnight quits (~christoph@188.ip-51-91-158.eu) (Client Quit) |
| 2021-05-26 09:26:11 | → | m1dnight joins (~christoph@188.ip-51-91-158.eu) |
| 2021-05-26 09:27:36 | × | MidAutumnMoon quits (~MidAutumn@user/midautumnmoon) (Quit: Quit 啾) |
| 2021-05-26 09:28:13 | → | MidAutumnMoon joins (~MidAutumn@user/midautumnmoon) |
| 2021-05-26 09:28:25 | → | sondre joins (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) |
| 2021-05-26 09:30:52 | <curiousgay> | is there a boolean xor in base Haskell? |
| 2021-05-26 09:31:54 | <wz1000> | curiousgay: (/=) |
| 2021-05-26 09:31:55 | <Taneb> | curiousgay: (/=) |
| 2021-05-26 09:32:17 | <curiousgay> | haha, right, thanks |
| 2021-05-26 09:32:48 | <Taneb> | Data.Bits.xor also works since base 4.7 |
| 2021-05-26 09:33:14 | <Taneb> | Which... is older than I thought (was bundled with GHC 7.8) |
| 2021-05-26 09:33:18 | × | sondre quits (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) (Ping timeout: 264 seconds) |
| 2021-05-26 09:34:41 | × | tonyz quits (~tonyz@2a02:587:2805:3d8f:5dcc:c286:46bb:54f7) (Changing host) |
| 2021-05-26 09:34:41 | → | tonyz joins (~tonyz@user/tonyz) |
| 2021-05-26 09:35:29 | → | ddellacosta joins (~ddellacos@86.106.121.58) |
| 2021-05-26 09:40:27 | × | ddellacosta quits (~ddellacos@86.106.121.58) (Ping timeout: 264 seconds) |
| 2021-05-26 09:41:36 | chele_ | is now known as chele |
| 2021-05-26 09:41:42 | <curiousgay> | are there flags for GHC to print type errors more clearly? |
| 2021-05-26 09:41:58 | → | sondre joins (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) |
| 2021-05-26 09:41:59 | → | nschoe joins (~quassel@2a01:e0a:8e:a190:8975:38ef:9ac6:6498) |
| 2021-05-26 09:42:11 | <curiousgay> | there is a type error, I know where it is, but I don't why it is there |
| 2021-05-26 09:42:22 | × | simmsb quits (~ben@2a02:c7f:343a:6d00:69bb:9905:870a:6538) (Ping timeout: 265 seconds) |
| 2021-05-26 09:44:24 | × | tonyz quits (~tonyz@user/tonyz) (Quit: Leaving) |
| 2021-05-26 09:45:22 | <bfrk> | curiousgay: I am sure if you paste the error somewhere and provide a link someone can explain to you how to parse it |
| 2021-05-26 09:45:43 | <bfrk> | s/error/err message/ |
| 2021-05-26 09:46:06 | → | Toast52 joins (~Toast52@151.192.167.120) |
| 2021-05-26 09:46:29 | → | bradparker joins (sid262931@id-262931.highgate.irccloud.com) |
| 2021-05-26 09:46:41 | → | ksqsf joins (~textual@67.209.186.120.16clouds.com) |
| 2021-05-26 09:47:05 | × | sondre quits (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) (Ping timeout: 272 seconds) |
| 2021-05-26 09:47:30 | → | mankyKitty joins (uid31287@id-31287.brockwell.irccloud.com) |
| 2021-05-26 09:47:57 | <curiousgay> | bfrk: alright, here are the error and code: https://pastebin.com/raw/ktuPjqjH https://pastebin.com/raw/1VRm4KMX |
| 2021-05-26 09:48:57 | <merijn> | curiousgay: Ah |
| 2021-05-26 09:49:02 | <merijn> | curiousgay: You messed up the $ |
| 2021-05-26 09:50:14 | <merijn> | hmm, or not, |
| 2021-05-26 09:50:35 | <merijn> | I would say you should simplify it anyway to get something more readable :p |
| 2021-05-26 09:50:41 | <curiousgay> | merijn: the code I've sent is a conversion of the previous working code I've written; https://pastebin.com/raw/KY3ZMHvT |
| 2021-05-26 09:50:41 | <merijn> | For one: |
| 2021-05-26 09:50:43 | <merijn> | :t mapMaybe |
| 2021-05-26 09:50:44 | <lambdabot> | (a -> Maybe b) -> [a] -> [b] |
| 2021-05-26 09:50:54 | <merijn> | Can replace the map + filter |
| 2021-05-26 09:51:40 | <merijn> | curiousgay: findLetters returns a list, presumably? |
| 2021-05-26 09:51:40 | → | ddellacosta joins (~ddellacos@86.106.121.43) |
| 2021-05-26 09:51:57 | <curiousgay> | yes |
| 2021-05-26 09:52:58 | → | xnbya joins (~xnbya@2a01:4f8:c17:cbdd::1) |
| 2021-05-26 09:53:17 | <merijn> | curiousgay: Here's an easy way to start: Try adding type signatures for everything in the where block |
| 2021-05-26 09:53:44 | <merijn> | (one, because I'm too lazy to figure them out and two, you will get more precise errors) |
| 2021-05-26 09:54:33 | Gurkenglas_ | is now known as Gurkenglas |
| 2021-05-26 09:55:33 | → | sondre joins (~sondrelun@eduroam-193-157-179-99.wlan.uio.no) |
| 2021-05-26 09:56:24 | → | Guest7438 joins (~Guest74@185.11.25.251) |
| 2021-05-26 09:56:35 | × | ddellacosta quits (~ddellacos@86.106.121.43) (Ping timeout: 272 seconds) |
| 2021-05-26 09:56:39 | × | siers quits (~ij@2a03:b0c0:1:e0::366:f001) (Changing host) |
| 2021-05-26 09:56:39 | → | siers joins (~ij@user/ij) |
| 2021-05-26 09:56:49 | ← | Guest7438 parts (~Guest74@185.11.25.251) () |
| 2021-05-26 09:57:58 | → | Franciman joins (~francesco@host-80-180-196-134.pool80180.interbusiness.it) |
| 2021-05-26 09:59:08 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 244 seconds) |
| 2021-05-26 09:59:10 | <bfrk> | Well, the error message tells us the (inferred) type of some local bindings (findLetters, coords). |
| 2021-05-26 09:59:38 | → | agumonke` joins (~user@88.160.31.174) |
All times are in UTC.