Logs: freenode/#haskell
| 2020-11-03 17:30:00 | × | miladz68 quits (~manjaro-u@46.248.60.86) (Remote host closed the connection) |
| 2020-11-03 17:30:39 | <monochrom> | I was less certain about that. |
| 2020-11-03 17:30:56 | <davean> | Could have been more explicite I guess |
| 2020-11-03 17:32:27 | <monochrom> | Actually, it's like this. Suppose you look at "f (MyCtor x y) = 0", then WHNF is relevant. But suppose it's "g _ = 0", then you don't even get to the point of WHNF. |
| 2020-11-03 17:32:48 | <monochrom> | And (>>) is like "x >>= \_ -> y" |
| 2020-11-03 17:32:51 | <dolio> | :t (>>) |
| 2020-11-03 17:32:52 | <lambdabot> | Monad m => m a -> m b -> m b |
| 2020-11-03 17:33:02 | <dolio> | (>>) cannot do pattern matching on () |
| 2020-11-03 17:34:46 | <monochrom> | Now, that is true or false depending on this trolling: Does "seq x ()" count as pattern-matching on x? >:) |
| 2020-11-03 17:35:07 | × | kuribas quits (~user@ptr-25vy0i7uknzjtc6w9zh.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2020-11-03 17:36:03 | <monochrom> | i.e., evilthen x y = x >>= \a -> seq a y |
| 2020-11-03 17:36:46 | <ulidtko> | I actually tried () <- maybeReportTimings suspecting exactly that, but then it simply didn't compile due to the MTL wrappers garbage :/ |
| 2020-11-03 17:37:18 | <ulidtko> | monochrom, why is that evilthen ? sorry i don't get it |
| 2020-11-03 17:37:41 | <monochrom> | Because I'm the author and I'm evil. |
| 2020-11-03 17:38:01 | <ulidtko> | whoooosh, that's indeed pretty evil |
| 2020-11-03 17:40:30 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-03 17:41:02 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-03 17:43:03 | × | revtintin quits (~revtintin@158.140.144.34) (Quit: WeeChat 2.9) |
| 2020-11-03 17:43:04 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-03 17:43:37 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-03 17:45:03 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 2020-11-03 17:45:51 | → | thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) |
| 2020-11-03 17:49:57 | × | chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2020-11-03 17:49:57 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-03 17:50:04 | × | thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2020-11-03 17:50:16 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-03 17:51:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2020-11-03 17:52:55 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-glpnpeqsowfdqxrb) (Quit: Connection closed for inactivity) |
| 2020-11-03 17:55:08 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-03 17:55:38 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-03 17:56:03 | → | chaosmasttter joins (~chaosmast@p200300c4a7117c017972e6cd644c1b14.dip0.t-ipconnect.de) |
| 2020-11-03 17:59:03 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-03 17:59:33 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-03 18:00:01 | × | jackgassett quits (~jackgasse@185.163.110.116) () |
| 2020-11-03 18:02:37 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-03 18:03:56 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-03 18:05:08 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 2020-11-03 18:06:45 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-11-03 18:07:19 | × | borne quits (~fritjof@200116b86457d500641bd1d418d012e1.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 2020-11-03 18:07:32 | × | alp quits (~alp@2a01:e0a:58b:4920:d16f:132:b740:cc6e) (Ping timeout: 246 seconds) |
| 2020-11-03 18:12:01 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-03 18:12:18 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-03 18:14:29 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-03 18:15:00 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-03 18:16:25 | × | machinedgod quits (~machinedg@207.253.244.210) (Ping timeout: 258 seconds) |
| 2020-11-03 18:19:00 | → | jlamothe joins (~jlamothe@198.251.55.207) |
| 2020-11-03 18:20:04 | → | machinedgod joins (~machinedg@142.169.78.163) |
| 2020-11-03 18:21:45 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2020-11-03 18:25:32 | × | u0_a298 quits (~user@47.206.148.226) (Remote host closed the connection) |
| 2020-11-03 18:25:57 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-03 18:27:32 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 258 seconds) |
| 2020-11-03 18:28:01 | <tomsmeding> | davean: over 3 years _contributing to GHC_? That's quite a tall order |
| 2020-11-03 18:28:07 | → | CodeKiwi joins (~kiwi@unaffiliated/digitalkiwi) |
| 2020-11-03 18:28:32 | × | DigitalKiwi quits (~kiwi@unaffiliated/digitalkiwi) (Read error: Connection reset by peer) |
| 2020-11-03 18:29:04 | × | dragestil quits (~quassel@185.137.175.104) (Ping timeout: 256 seconds) |
| 2020-11-03 18:29:17 | → | dragestil joins (~quassel@185.137.175.104) |
| 2020-11-03 18:29:21 | <tomsmeding> | monochrom: you're not even a monsterchrom anymore |
| 2020-11-03 18:29:56 | <koz_> | How do you add kind signatures to type variables in type class definitions? |
| 2020-11-03 18:30:38 | <dminuoso> | koz_: What do you mean? |
| 2020-11-03 18:31:04 | <dminuoso> | % class Functor' (f :: * -> *) -- this? |
| 2020-11-03 18:31:04 | <yahb> | dminuoso: |
| 2020-11-03 18:31:11 | <koz_> | Yes that. Thanks! |
| 2020-11-03 18:31:38 | × | Franciman quits (~francesco@host-79-36-167-172.retail.telecomitalia.it) (Quit: Leaving) |
| 2020-11-03 18:32:06 | <tomsmeding> | ghc will probably ask you to use Type from Data.Kind, not * |
| 2020-11-03 18:32:15 | <koz_> | tomsmeding: Yeah, that's all fine. |
| 2020-11-03 18:32:31 | tomsmeding | actually likes * better for aesthetic reasons |
| 2020-11-03 18:33:33 | <dminuoso> | tomsmeding: For what its worth, I think TypeOperators was a mistake. |
| 2020-11-03 18:34:05 | <koz_> | tomsmeding: I'm the opposite, but that's mostly because I prefer actual language words to APL. |
| 2020-11-03 18:34:18 | <dminuoso> | % :set -XNoTypeOperators |
| 2020-11-03 18:34:18 | <yahb> | dminuoso: |
| 2020-11-03 18:34:23 | <dminuoso> | % type T (+) = ((+), (+)) |
| 2020-11-03 18:34:23 | <yahb> | dminuoso: ; <interactive>:48:8: error:; Unexpected type `(+)'; In the type declaration for `T'; A type declaration should have form; type T a = ... |
| 2020-11-03 18:34:30 | <dminuoso> | https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#type-operators |
| 2020-11-03 18:34:32 | <dminuoso> | Is this a documentation bug? |
| 2020-11-03 18:34:58 | <dminuoso> | Or did Haskell2010 get rid of operators as type variables? |
| 2020-11-03 18:35:02 | <tomsmeding> | % :Set -XHaskell98 |
| 2020-11-03 18:35:02 | <yahb> | tomsmeding: unknown command ':Set'; use :? for help. |
| 2020-11-03 18:35:04 | <tomsmeding> | % :set -XHaskell98 |
| 2020-11-03 18:35:05 | <yahb> | tomsmeding: |
| 2020-11-03 18:35:11 | <dminuoso> | % type T (+) = ((+), (+)) |
| 2020-11-03 18:35:11 | <yahb> | dminuoso: ; <interactive>:51:8: error:; Unexpected type `(+)'; In the type declaration for `T'; A type declaration should have form; type T a = ... |
| 2020-11-03 18:35:17 | <tomsmeding> | awwww |
| 2020-11-03 18:35:18 | <dminuoso> | Apparently a documentation bug then |
| 2020-11-03 18:35:33 | <tomsmeding> | or ghc stubbornly refuses to implement it |
| 2020-11-03 18:38:09 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-03 18:38:35 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-03 18:38:43 | → | alp joins (~alp@2a01:e0a:58b:4920:dc87:a0db:f731:9e0c) |
| 2020-11-03 18:41:00 | × | u0_a298 quits (~user@47.206.148.226) (Read error: Connection reset by peer) |
| 2020-11-03 18:41:16 | → | u0_a298 joins (~user@47.206.148.226) |
| 2020-11-03 18:41:25 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 2020-11-03 18:41:32 | × | alp quits (~alp@2a01:e0a:58b:4920:dc87:a0db:f731:9e0c) (Remote host closed the connection) |
| 2020-11-03 18:41:36 | <tomsmeding> | it's indeed a documentation bug; from Haskell98 at https://www.haskell.org/onlinereport : `"type" <simpletype> "=" <type>`; `<simpletype> -> <tycon> <tyvar_1> ... <tyvar_k>`; `<tyvar> -> <varid>`; `<varid> -> (small {small | large | digit | ' })_<reservedid>` |
| 2020-11-03 18:41:50 | → | alp joins (~alp@2a01:e0a:58b:4920:7d22:2550:1d45:febd) |
| 2020-11-03 18:42:14 | <tomsmeding> | and a parenthesised operator does not match the unicode version of [a-z]([a-zA-Z0-9']*) |
| 2020-11-03 18:42:31 | <dminuoso> | Well Im confident that this was legal in GHC up until 8.x I think? |
| 2020-11-03 18:42:54 | <dminuoso> | It seems like an odd bug |
| 2020-11-03 18:43:23 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 2020-11-03 18:44:09 | <tomsmeding> | my above argument holds unchanged for haskell2010 :p |
| 2020-11-03 18:44:21 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) |
| 2020-11-03 18:44:23 | <jle`> | i remember it was true at one point |
All times are in UTC.