Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 196 197 198 199 200 201 202 203 204 205 206 .. 5022
— 502,152 events total
2020-09-25 06:53:21 → polyrain joins (~polyrain@203.51.166.163)
2020-09-25 06:54:20 → banner_ joins (~banner@116-255-17-140.ip4.superloop.com)
2020-09-25 06:54:57 <dminuoso> MarcelineVQ: The Haskell report formally calls them labeled patterns in the general case.
2020-09-25 06:55:21 × banner_ quits (~banner@116-255-17-140.ip4.superloop.com) (Client Quit)
2020-09-25 06:56:36 → josh_ joins (~josh@c-67-164-104-206.hsd1.ca.comcast.net)
2020-09-25 06:57:53 × josh_ quits (~josh@c-67-164-104-206.hsd1.ca.comcast.net) (Remote host closed the connection)
2020-09-25 07:01:02 <glguy> > isJust Just{}
2020-09-25 07:01:04 <lambdabot> True
2020-09-25 07:01:13 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-09-25 07:01:15 <glguy> > isJust Nothing {}
2020-09-25 07:01:17 <lambdabot> False
2020-09-25 07:01:56 <glguy> Not really pattern-specific. It's record notation
2020-09-25 07:02:02 × ruffianeo quits (~ruffianeo@p200300e5271f093e83bdb6806dd36cfc.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-25 07:04:00 × ahri quits (~ahri@178.209.40.84) (Quit: Ping timeout (120 seconds))
2020-09-25 07:04:44 → ahri joins (~ahri@178.209.40.84)
2020-09-25 07:04:56 × balbirs quits (~balbirs__@ozlabs.org) (Quit: ZNC 1.7.5+deb1 - https://znc.in)
2020-09-25 07:05:41 → balbirs joins (~balbirs__@ozlabs.org)
2020-09-25 07:05:49 <dminuoso> Mmm, this does seem a bit inconsistent. Usually a pattern matches values constructed in the same fashion
2020-09-25 07:05:59 <dminuoso> But Just{} does *not* match values exactly constructed by Just{}
2020-09-25 07:07:36 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-25 07:12:05 × sagax quits (~sagax_nb@213.138.71.146) (Read error: Connection reset by peer)
2020-09-25 07:12:14 <solonarv> this is already not true for record patterns
2020-09-25 07:12:25 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-09-25 07:12:43 <solonarv> @let data Two = Two { two1 :: Int, two2 :: Int } deriving (Show, Eq, Ord)
2020-09-25 07:12:45 <lambdabot> Defined.
2020-09-25 07:13:11 <solonarv> > case Two { two1 = 1, two2 = 2 } of Two {two1 = 1} -> "ok"
2020-09-25 07:13:13 <lambdabot> "ok"
2020-09-25 07:14:50 → thir joins (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de)
2020-09-25 07:15:19 × alexm_ quits (~alexm_@161.8.233.138) (Remote host closed the connection)
2020-09-25 07:15:41 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-25 07:17:11 × Turmfalke quits (~user@unaffiliated/siracusa) (Quit: Bye!)
2020-09-25 07:17:39 → oish joins (~charlie@228.25.169.217.in-addr.arpa)
2020-09-25 07:17:48 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Client Quit)
2020-09-25 07:19:13 × mpereira quits (~mpereira@2a02:810d:f40:d96:5151:9344:10a3:da64) (Ping timeout: 272 seconds)
2020-09-25 07:21:33 → Sanchayan joins (~Sanchayan@171.76.101.244)
2020-09-25 07:21:55 <Axman6> > let x = x { two1 = 1 } in case x of Two{two1 = 1} -> "ok"
2020-09-25 07:21:58 <lambdabot> "*Exception: <<loop>>
2020-09-25 07:22:12 × thir quits (~thir@p200300f27f0fc60094e773283d7bf825.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-09-25 07:23:27 → Dablyon joins (~godel@173.171.157.121)
2020-09-25 07:27:27 × danvet quits (~danvet@2a02:168:57f4:0:5f80:650d:c6e6:3453) (Quit: Leaving)
2020-09-25 07:28:06 × mmohammadi9812 quits (~mmohammad@188.210.98.27) (Quit: I quit (╯°□°）╯︵ ┻━┻)
2020-09-25 07:31:15 → mirrorbird joins (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2)
2020-09-25 07:31:38 <solonarv> interesting, I sort of expected x = Two 1 _|_ here
2020-09-25 07:34:03 → raichoo joins (~raichoo@213.240.178.58)
2020-09-25 07:36:52 → alexm_ joins (~alexm_@161.8.233.138)
2020-09-25 07:38:25 → alexm__ joins (~alexm_@161.8.233.138)
2020-09-25 07:38:28 GyroW_ is now known as GyroW
2020-09-25 07:38:30 × GyroW quits (~GyroW@ptr-48ujrfb8c7gfd2lu92q.18120a2.ip6.access.telenet.be) (Changing host)
2020-09-25 07:38:30 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-09-25 07:39:04 → chaosmasttter joins (~chaosmast@p200300c4a7105f013091658b0e650c79.dip0.t-ipconnect.de)
2020-09-25 07:39:35 → TooDifficult joins (~TooDiffic@139.59.59.230)
2020-09-25 07:39:43 × alexm_ quits (~alexm_@161.8.233.138) (Read error: Connection reset by peer)
2020-09-25 07:39:44 × alexm__ quits (~alexm_@161.8.233.138) (Read error: Connection reset by peer)
2020-09-25 07:40:14 → alexm_ joins (~alexm_@161.8.233.138)
2020-09-25 07:40:53 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-09-25 07:40:54 × alexm_ quits (~alexm_@161.8.233.138) (Read error: Connection reset by peer)
2020-09-25 07:40:57 hackage sized 0.8.0.0 - Sized sequence data-types https://hackage.haskell.org/package/sized-0.8.0.0 (HiromiIshii)
2020-09-25 07:41:21 GyroW is now known as GyroW_
2020-09-25 07:41:56 GyroW_ is now known as GyroW__
2020-09-25 07:42:17 GyroW__ is now known as GyroW
2020-09-25 07:43:27 hackage mmsyn6ukr 0.8.1.0 - A musical instrument synthesizer or a tool for Ukrainian language listening https://hackage.haskell.org/package/mmsyn6ukr-0.8.1.0 (OleksandrZhabenko)
2020-09-25 07:43:34 → John20 joins (~John@82.46.59.122)
2020-09-25 07:45:13 × Dablyon quits (~godel@173.171.157.121) (Ping timeout: 260 seconds)
2020-09-25 07:45:58 → mpereira joins (~mpereira@2a02:810d:f40:d96:5151:9344:10a3:da64)
2020-09-25 07:46:48 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-25 07:47:23 → sagax joins (~sagax_nb@213.138.71.146)
2020-09-25 07:48:28 → chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de)
2020-09-25 07:50:42 × xerox_ quits (~xerox@unaffiliated/xerox) (Quit: leaving)
2020-09-25 07:51:08 × irc_user quits (uid423822@gateway/web/irccloud.com/x-jnkonfduxhfcxiya) (Quit: Connection closed for inactivity)
2020-09-25 07:52:00 × mirrorbird quits (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Quit: Leaving)
2020-09-25 07:55:00 → kritzefitz joins (~kritzefit@fw-front.credativ.com)
2020-09-25 07:55:13 → Tops2 joins (~Tobias@dyndsl-095-033-024-124.ewe-ip-backbone.de)
2020-09-25 07:56:19 × polyrain quits (~polyrain@203.51.166.163) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-09-25 07:57:01 × berberman quits (~berberman@2408:8207:2565:18d0:584e:a9ff:fe9b:d3fe) (Quit: ZNC 1.7.5 - https://znc.in)
2020-09-25 07:57:41 → berberman joins (~berberman@2408:8207:2565:18d0::a44)
2020-09-25 07:57:58 × Tops21 quits (~Tobias@dyndsl-095-033-089-153.ewe-ip-backbone.de) (Ping timeout: 272 seconds)
2020-09-25 07:58:13 → crobbins joins (~crobbins@2601:2c1:380:ec40:d96c:72da:8879:7899)
2020-09-25 07:58:52 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-09-25 07:58:57 hackage phonetic-languages-ukrainian 0.2.1.0 - Prepares Ukrainian text to be used as a phonetic language text https://hackage.haskell.org/package/phonetic-languages-ukrainian-0.2.1.0 (OleksandrZhabenko)
2020-09-25 08:02:55 × shad0w_ quits (~shad0w_@160.202.37.157) (Ping timeout: 272 seconds)
2020-09-25 08:03:16 → Dolly joins (585fd1fd@ti0203q160-5312.bb.online.no)
2020-09-25 08:03:17 × crobbins quits (~crobbins@2601:2c1:380:ec40:d96c:72da:8879:7899) (Ping timeout: 260 seconds)
2020-09-25 08:03:52 × tzh quits (~tzh@2601:448:c500:5300::82b3) (Quit: zzz)
2020-09-25 08:08:49 × kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection)
2020-09-25 08:11:45 × oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 240 seconds)
2020-09-25 08:12:46 × atraii quits (~atraii@c-98-32-64-84.hsd1.ut.comcast.net) (Quit: ZNC 1.7.5 - https://znc.in)
2020-09-25 08:12:47 × adamwesp_ quits (~adam_wesp@209.6.42.110) (Remote host closed the connection)
2020-09-25 08:13:08 → atraii joins (~atraii@c-98-32-64-84.hsd1.ut.comcast.net)
2020-09-25 08:13:25 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-09-25 08:13:54 → oish joins (~charlie@228.25.169.217.in-addr.arpa)
2020-09-25 08:14:09 → adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-25 08:17:03 → dhil joins (~dhil@11.29.39.217.dyn.plus.net)
2020-09-25 08:21:44 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-09-25 08:23:21 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-09-25 08:25:27 hackage uniqueness-periods-vector-examples 0.6.0.0 - Examples of usage for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.6.0.0 (OleksandrZhabenko)
2020-09-25 08:28:02 → LKoen joins (~LKoen@81.255.219.130)
2020-09-25 08:28:16 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-09-25 08:31:11 × Axman6 quits (~Axman6@pdpc/supporter/student/Axman6) (Remote host closed the connection)
2020-09-25 08:31:30 → Axman6 joins (~Axman6@pdpc/supporter/student/Axman6)
2020-09-25 08:32:21 × asan quits (~yan4138@58.37.8.8) (Ping timeout: 258 seconds)
←Prev  Next→
Page 1 .. 196 197 198 199 200 201 202 203 204 205 206 .. 5022

All times are in UTC.