Newest at the top
| 2025-01-15 20:30:50 +0100 | notzmv | (~umar@user/notzmv) notzmv |
| 2025-01-15 20:30:25 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-01-15 20:29:59 +0100 | Typedfern | (~Typedfern@104.red-83-37-43.dynamicip.rima-tde.net) typedfern |
| 2025-01-15 20:29:02 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-01-15 20:25:29 +0100 | akegalj | (~akegalj@142-231.dsl.iskon.hr) (Quit: leaving) |
| 2025-01-15 20:24:43 +0100 | lbseale | (~quassel@user/ep1ctetus) (Ping timeout: 264 seconds) |
| 2025-01-15 20:15:59 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) |
| 2025-01-15 20:15:25 +0100 | <yahb2> | <bye> |
| 2025-01-15 20:15:25 +0100 | <tomsmeding> | % :q |
| 2025-01-15 20:15:19 +0100 | <tomsmeding> | nah that ain't gonna work |
| 2025-01-15 20:15:05 +0100 | <tomsmeding> | oh hm |
| 2025-01-15 20:14:48 +0100 | Typedfern | (~Typedfern@85.red-83-37-40.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2025-01-15 20:14:40 +0100 | <yahb2> | <interactive>:51:33: error: [GHC-83865] ; • Couldn't match expected type: [a0] ; with actual type: NonEmpty a1 ; • In the pattern: n :| l ; In a case alternative: n ... |
| 2025-01-15 20:14:40 +0100 | <tomsmeding> | % case 1 :O of { n :O -> show n ; n :| l -> show (n, l) } |
| 2025-01-15 20:14:09 +0100 | <yahb2> | <no output> |
| 2025-01-15 20:14:09 +0100 | <tomsmeding> | % import Data.List.NonEmpty (NonEmpty(..)) |
| 2025-01-15 20:13:50 +0100 | <yahb2> | <no output> |
| 2025-01-15 20:13:50 +0100 | <tomsmeding> | % pattern O :: [a] ; pattern O = [] |
| 2025-01-15 20:13:46 +0100 | <tomsmeding> | oh |
| 2025-01-15 20:13:42 +0100 | <tomsmeding> | lol it's right there? |
| 2025-01-15 20:13:34 +0100 | <yahb2> | <interactive>:45:9: error: [GHC-44432] ; The pattern synonym signature for ‘O’ lacks an accompanying binding ; ; <interactive>:45:20: error: [GHC-76037] ; Not in scope: data constructor ‘O’ |
| 2025-01-15 20:13:34 +0100 | <tomsmeding> | % pattern O :: [a] ; O = [] |
| 2025-01-15 20:13:28 +0100 | <yahb2> | <no output> |
| 2025-01-15 20:13:28 +0100 | <tomsmeding> | % :set -XPatternSynonyms |
| 2025-01-15 20:13:14 +0100 | <tomsmeding> | oh as a pattern, yes |
| 2025-01-15 20:13:07 +0100 | <geekosaur> | need a patsyn, I think |
| 2025-01-15 20:12:51 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) __ |
| 2025-01-15 20:12:47 +0100 | <hellwolf> | hmm |
| 2025-01-15 20:12:44 +0100 | <hellwolf> | oh, it would. |
| 2025-01-15 20:12:37 +0100 | <hellwolf> | probably parser won't like that |
| 2025-01-15 20:11:54 +0100 | tomsmeding | . o O ( set `O = []`, then you have ":O" ) |
| 2025-01-15 20:11:32 +0100 | pie_ | (~pie_bnc@user/pie/x-2818909) (Quit: No Ping reply in 180 seconds.) |
| 2025-01-15 20:11:23 +0100 | hellwolf | comes here to comment on NonEmpty |
| 2025-01-15 20:11:11 +0100 | <hellwolf> | I just find ":|" and ":[]" to be a beautiful "duo". |
| 2025-01-15 20:02:48 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-01-15 20:00:38 +0100 | acidjnk_new | (~acidjnk@p200300d6e7283f02edd754543fe6660f.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-01-15 19:57:48 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-01-15 19:57:28 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-01-15 19:56:36 +0100 | biberu | (~biberu@user/biberu) biberu |
| 2025-01-15 19:55:54 +0100 | telser | (~quassel@user/telser) telser |
| 2025-01-15 19:55:16 +0100 | euandreh | (~Thunderbi@189.6.105.228) euandreh |
| 2025-01-15 19:53:39 +0100 | alp | (~alp@2001:861:8ca0:4940:ce40:7d58:7e03:52f5) (Ping timeout: 252 seconds) |
| 2025-01-15 19:49:04 +0100 | alp | (~alp@2001:861:8ca0:4940:ce40:7d58:7e03:52f5) |
| 2025-01-15 19:48:50 +0100 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:57f8:e679:8a1b:f20a) fun-safe-math |
| 2025-01-15 19:47:35 +0100 | fun-safe-math | (~fun-safe-@2601:1c2:1b7f:801f:9be8:50a:7d0a:fa49) (Quit: No Ping reply in 180 seconds.) |
| 2025-01-15 19:43:23 +0100 | alp | (~alp@2001:861:8ca0:4940:1e61:879a:b0ec:434f) (Ping timeout: 252 seconds) |
| 2025-01-15 19:42:47 +0100 | Guest12 | (~Guest12@94.7.192.138) (Remote host closed the connection) |
| 2025-01-15 19:41:53 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2025-01-15 19:40:40 +0100 | <EvanR> | if the list definitely is non-empty then you can use head. Or maybe NonEmpty if there's a way to prove it to GHC |
| 2025-01-15 19:40:35 +0100 | akegalj | (~akegalj@142-231.dsl.iskon.hr) |