Logs: liberachat/#haskell
| 2021-08-09 12:50:13 | <merijn> | Only on *some* errors |
| 2021-08-09 12:50:57 | <kuribas> | merijn: "This a" will stop he computation right? |
| 2021-08-09 12:51:16 | <kuribas> | but ([1], Nothing) doesn't |
| 2021-08-09 12:51:16 | <merijn> | kuribas: Yes, errors should be "These a defaultValue" |
| 2021-08-09 12:51:24 | → | __monty__ joins (~toonn@user/toonn) |
| 2021-08-09 12:51:53 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 268 seconds) |
| 2021-08-09 12:52:21 | <kuribas> | There is no default value |
| 2021-08-09 12:52:36 | <kuribas> | result is Nothing if there is a single error. |
| 2021-08-09 12:52:52 | <kuribas> | But still all original csv rows need to be aggregated. |
| 2021-08-09 12:53:46 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-08-09 13:00:18 | × | jneira quits (~jneira@212.8.115.226) (Quit: Client closed) |
| 2021-08-09 13:01:04 | → | alx741 joins (~alx741@181.196.68.21) |
| 2021-08-09 13:05:30 | × | henninb quits (~henninb@63-228-51-113.mpls.qwest.net) (Quit: leaving) |
| 2021-08-09 13:08:47 | × | mousey quits (~skymouse@gateway/tor-sasl/mousey) (Ping timeout: 244 seconds) |
| 2021-08-09 13:09:38 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-08-09 13:09:40 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-08-09 13:11:00 | × | cheater quits (~Username@user/cheater) (Ping timeout: 268 seconds) |
| 2021-08-09 13:11:40 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 2021-08-09 13:14:38 | × | qbt quits (~edun@user/edun) (Ping timeout: 252 seconds) |
| 2021-08-09 13:20:04 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 2021-08-09 13:20:28 | × | mei quits (~mei@user/mei) (Read error: Connection reset by peer) |
| 2021-08-09 13:20:56 | → | mei joins (~mei@user/mei) |
| 2021-08-09 13:23:29 | × | maerwald quits (~maerwald@mail.hasufell.de) (Quit: gone) |
| 2021-08-09 13:23:52 | → | maerwald joins (~maerwald@mail.hasufell.de) |
| 2021-08-09 13:23:58 | × | nckx quits (~nckx@tobias.gr) (Ping timeout: 272 seconds) |
| 2021-08-09 13:24:38 | → | nckx joins (~nckx@tobias.gr) |
| 2021-08-09 13:25:11 | × | m4lvin quits (~m4lvin@w4eg.de) (Ping timeout: 268 seconds) |
| 2021-08-09 13:27:12 | × | xff0x quits (~xff0x@2001:1a81:5378:e300:6a47:5d73:b3fa:4d3c) (Ping timeout: 245 seconds) |
| 2021-08-09 13:28:24 | → | xff0x joins (~xff0x@2001:1a81:5378:e300:775f:2c72:eed7:a05a) |
| 2021-08-09 13:28:45 | → | markpythonicbitc joins (~markpytho@50.228.44.6) |
| 2021-08-09 13:28:51 | → | m4lvin joins (~m4lvin@w4eg.de) |
| 2021-08-09 13:34:58 | → | notzmv joins (~zmv@user/notzmv) |
| 2021-08-09 13:40:14 | → | lavaman joins (~lavaman@98.38.249.169) |
| 2021-08-09 13:41:41 | × | pe200012 quits (~pe200012@113.105.10.33) (Quit: Konversation terminated!) |
| 2021-08-09 13:43:04 | → | pe200012 joins (~pe200012@218.107.49.28) |
| 2021-08-09 13:43:36 | × | jneira_ quits (~jneira_@28.red-80-28-169.staticip.rima-tde.net) (Ping timeout: 272 seconds) |
| 2021-08-09 13:44:33 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 2021-08-09 13:47:37 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-08-09 13:48:37 | → | burnsidesLlama joins (~burnsides@dhcp168-023.wadham.ox.ac.uk) |
| 2021-08-09 13:53:02 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 2021-08-09 13:54:45 | × | burnsidesLlama quits (~burnsides@dhcp168-023.wadham.ox.ac.uk) (Ping timeout: 276 seconds) |
| 2021-08-09 13:57:06 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-08-09 14:00:44 | × | azeem quits (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) (Ping timeout: 258 seconds) |
| 2021-08-09 14:01:55 | → | azeem joins (~azeem@176.201.12.128) |
| 2021-08-09 14:03:04 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-09 14:04:12 | → | qbt joins (~edun@user/edun) |
| 2021-08-09 14:07:25 | × | azeem quits (~azeem@176.201.12.128) (Read error: Connection reset by peer) |
| 2021-08-09 14:07:38 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 2021-08-09 14:07:43 | → | Pickchea joins (~private@user/pickchea) |
| 2021-08-09 14:09:06 | → | cheater joins (~Username@user/cheater) |
| 2021-08-09 14:09:20 | → | azeem joins (~azeem@dynamic-adsl-84-220-236-17.clienti.tiscali.it) |
| 2021-08-09 14:10:50 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2021-08-09 14:21:01 | × | lechner quits (~lechner@debian/lechner) (Quit: WeeChat 3.0) |
| 2021-08-09 14:21:24 | → | lechner joins (~lechner@debian/lechner) |
| 2021-08-09 14:21:40 | × | Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2021-08-09 14:22:57 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 248 seconds) |
| 2021-08-09 14:23:04 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 2021-08-09 14:23:04 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-08-09 14:23:33 | → | hendursaga joins (~weechat@user/hendursaga) |
| 2021-08-09 14:24:14 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 2021-08-09 14:24:31 | × | lechner quits (~lechner@debian/lechner) (Client Quit) |
| 2021-08-09 14:24:55 | → | lechner joins (~lechner@debian/lechner) |
| 2021-08-09 14:26:21 | × | qbt quits (~edun@user/edun) (Quit: Leaving) |
| 2021-08-09 14:29:10 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 2021-08-09 14:29:46 | × | acidjnk quits (~acidjnk@p200300d0c72b9517f81283fc8b5e04b5.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2021-08-09 14:32:33 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2021-08-09 14:32:51 | <kuribas> | I'll take "Writer [CSV] (Maybe a)", as merijn Suggested, since it's more descriptive then (CSV, Maybe a) |
| 2021-08-09 14:35:45 | <maerwald[m]> | how does viewpattern desugar in an argument `foo (fun -> a) = ...`? |
| 2021-08-09 14:40:28 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 2021-08-09 14:42:12 | × | waleee quits (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 245 seconds) |
| 2021-08-09 14:43:14 | <kuribas> | foo fa = case fun fa of a -> ... |
| 2021-08-09 14:44:20 | × | markpythonicbitc quits (~markpytho@50.228.44.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-09 14:44:31 | <merijn> | That's what I'd assume, yes |
| 2021-08-09 14:45:03 | <merijn> | Although I wonder why it'd matter? Because that seems like it'd only matter in very contrived situations |
| 2021-08-09 14:46:02 | × | lbseale quits (~lbseale@user/ep1ctetus) (Ping timeout: 256 seconds) |
| 2021-08-09 14:47:23 | → | markpythonicbitc joins (~markpytho@50.228.44.6) |
| 2021-08-09 14:50:18 | → | Guest56 joins (~Guest56@n220246223066.netvigator.com) |
| 2021-08-09 14:51:04 | <maerwald[m]> | I was wondering if it could affect inlining |
| 2021-08-09 14:51:15 | × | markpythonicbitc quits (~markpytho@50.228.44.6) (Client Quit) |
| 2021-08-09 14:52:16 | <merijn> | Probably |
| 2021-08-09 14:52:26 | <merijn> | Everything can affect inlining xD |
| 2021-08-09 14:52:33 | <maerwald[m]> | ... |
| 2021-08-09 14:54:29 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-08-09 14:57:42 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-08-09 14:59:23 | × | Akronymus quits (~Akronymus@85.31.8.181) (Quit: Client closed) |
| 2021-08-09 15:01:05 | <kuribas> | > traverse Compose [([1::Int], Just (1::Int)), ([2], Nothing), ([3], Just 3)] |
| 2021-08-09 15:01:06 | <lambdabot> | error: |
| 2021-08-09 15:01:06 | <lambdabot> | • Data constructor not in scope: |
| 2021-08-09 15:01:06 | <lambdabot> | Compose :: ([Int], Maybe Int) -> f b |
| 2021-08-09 15:01:17 | <kuribas> | lambdabot: you disappoint me... |
| 2021-08-09 15:01:36 | <kuribas> | > import Data.Functor.Compose |
| 2021-08-09 15:01:37 | <lambdabot> | <hint>:1:1: error: parse error on input ‘import’ |
| 2021-08-09 15:01:42 | × | wallymathieu quits (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-08-09 15:01:54 | <geekosaur> | @let import Data.Functor.Compose |
| 2021-08-09 15:01:56 | <lambdabot> | Defined. |
| 2021-08-09 15:02:20 | <geekosaur> | although yahb might work better here |
| 2021-08-09 15:03:02 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-09 15:03:39 | <raehik> | Is there a way to run the C preprocessor on a Happy .y file *before* Happy processes it? In a Stack or Cabal project |
| 2021-08-09 15:03:50 | → | wallymathieu joins (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-08-09 15:03:53 | <geekosaur> | > traverse Compose [([1::Int], Just (1::Int)), ([2], Nothing), ([3], Just 3)] |
All times are in UTC.