Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 648 649 650 651 652 653 654 655 656 657 658 .. 5022
— 502,152 events total
2020-10-15 10:56:09 → nyd joins (~lpy@unaffiliated/elysian)
2020-10-15 10:57:07 → dhil joins (~dhil@195.213.192.122)
2020-10-15 11:00:23 → raehik joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net)
2020-10-15 11:00:38 → acidjnk_new joins (~acidjnk@p200300d0c7237816a89fd387a81e29da.dip0.t-ipconnect.de)
2020-10-15 11:01:07 → ensyde joins (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253)
2020-10-15 11:01:22 × cosimone quits (~cosimone@2001:b07:ae5:db26:9217:95c7:973d:d0ad) (Quit: cosimone)
2020-10-15 11:03:42 → Jajik joins (xchlup2@gateway/shell/fi.muni.cz/x-hhrtkuzapztvvdpl)
2020-10-15 11:03:43 × jedws quits (~jedws@121.209.161.98) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-15 11:06:09 × ensyde quits (~ensyde@2600:1702:2e30:1a40:f09c:a012:516e:b253) (Ping timeout: 272 seconds)
2020-10-15 11:07:45 × jophish quits (~jophish@2400:8901::f03c:91ff:fe39:7a9) (Quit: WeeChat 2.4)
2020-10-15 11:12:33 <tinga> f :: Complex Int -> Complex Int ;; f x = x + (1 :+ 0)
2020-10-15 11:12:39 <tinga> Why does this give No instance for (RealFloat Int) arising from a use of ‘+’ ?
2020-10-15 11:13:42 <phadej> % :t (+) @(Complex _)
2020-10-15 11:13:42 <yahb> phadej: RealFloat _ => Complex _ -> Complex _ -> Complex _
2020-10-15 11:13:54 <phadej> RealFloat a => Num (Complex a)
2020-10-15 11:14:08 <phadej> check the source, probably because of abs
2020-10-15 11:16:21 → xsarnik0 joins (xsarnik@gateway/shell/fi.muni.cz/x-atyswzwjgcedayoa)
2020-10-15 11:19:01 × xwvvvvwx quits (~xwvvvvwx@185.213.155.160) (Quit: ZNC 1.8.1 - https://znc.in)
2020-10-15 11:19:11 → xwvvvvwx joins (~xwvvvvwx@185.213.155.160)
2020-10-15 11:19:24 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 11:22:51 <tinga> Class Num does not have any type restrictions (I'm still a newbie, maybe class declarations never can have type restrictions anyway?) https://hackage.haskell.org/package/base-4.14.0.0/docs/src/GHC.Num.html#Num
2020-10-15 11:23:08 <tinga> Whereas the instance declarations all have the type restriction https://hackage.haskell.org/package/base-4.14.0.0/docs/src/Data.Complex.html
2020-10-15 11:23:52 <phadej> yes, to use an instance, you have to satisfy its constraints
2020-10-15 11:24:14 → machinedgod joins (~machinedg@24.105.81.50)
2020-10-15 11:24:20 <phadej> "Complex a is an instance of class Num when a is an instance of RealFloat"
2020-10-15 11:24:43 <tinga> yep, but I don't see why
2020-10-15 11:24:50 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds)
2020-10-15 11:25:42 <tinga> "I just want to add a real 1 to a complex number", and it appears that I can only do that if I instantiate Complex with Float, or write my own real number type?
2020-10-15 11:25:50 <phadej> https://hackage.haskell.org/package/base-4.14.0.0/docs/Data-Complex.html#t:Complex, whe nyou click Source next to Num (Complex a)
2020-10-15 11:25:53 <phadej> you are taken to https://hackage.haskell.org/package/base-4.14.0.0/docs/src/Data.Complex.html#line-132
2020-10-15 11:26:01 <phadej> and as I expected
2020-10-15 11:26:02 <phadej> abs z = magnitude z :+ 0
2020-10-15 11:26:04 → jophish joins (~jophish@2400:8901::f03c:91ff:fe39:7a9)
2020-10-15 11:26:05 → Guest_39 joins (92c79265@101.146.199.146.dyn.plus.net)
2020-10-15 11:26:29 <Guest_39> Hi, im having trouple installing haskell on my mac
2020-10-15 11:26:30 <phadej> and magnitude has type
2020-10-15 11:26:30 <phadej> magnitude :: (RealFloat a) => Complex a -> a
2020-10-15 11:26:34 × Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2020-10-15 11:26:46 <phadej> tinga: yes, Num is suboptimal type-class
2020-10-15 11:26:56 <Guest_39> is someone able to help?
2020-10-15 11:27:02 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-10-15 11:27:46 <Guest_39> im getting a digest error when installing ghcup
2020-10-15 11:28:07 <maerwald> Guest_39: which one
2020-10-15 11:28:17 <phadej> using Complex to play with gaussian integers would need you to write own "Complex"
2020-10-15 11:28:22 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-15 11:28:23 <tinga> OK, thanks phadej
2020-10-15 11:28:33 <Guest_39> [ Info ] verifying digest of: ghc-8.8.4-x86_64-apple-darwin.tar.xz[ Error ] DigestError "24a6bdab3fc845b2605b951d8160d8d02d34dbb81600f3d0aabbbb8d8e8fd4fd" "e80a789e9d8cfb41dd87f3284b75432427c4461c1731d220d04ead8733ccdb5e"
2020-10-15 11:28:40 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 11:28:41 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 11:28:41 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-15 11:28:55 <phadej> maerwald, bgamari ^ do you now what happened?
2020-10-15 11:30:23 <maerwald> e80a789e9d8cfb41dd87f3284b75432427c4461c1731d220d04ead8733ccdb5e is the hash from https://downloads.haskell.org/~ghc/8.8.4/SHA256SUMS
2020-10-15 11:30:32 × alp quits (~alp@2a01:e0a:58b:4920:7568:f452:5628:f3c5) (Remote host closed the connection)
2020-10-15 11:30:49 → alp joins (~alp@2a01:e0a:58b:4920:184a:1b71:3e52:bd7e)
2020-10-15 11:31:03 × plutoniix quits (~q@175.176.222.7) (Quit: Leaving)
2020-10-15 11:31:15 <maerwald> so the thing you downloaded is indeed not valid
2020-10-15 11:32:19 <Guest_39> is also says:
2020-10-15 11:32:27 hackage th-lego 0.1.0.4 - Template Haskell construction utilities https://hackage.haskell.org/package/th-lego-0.1.0.4 (NikitaVolkov)
2020-10-15 11:32:33 <Guest_39> [ Error ] Also check the logs in "/Users/Guest_39/.ghcup/logs"
2020-10-15 11:33:08 <phadej> I downloaded the tarball and i got the same e80... hash so it's not changed on the server :)
2020-10-15 11:33:40 <phadej> and what the logs say? :)
2020-10-15 11:34:45 <Guest_39> im not sure how to check the logs -_-
2020-10-15 11:34:47 <maerwald> Guest_39: you can try to use wget instead: ~/.ghcup/bin/ghcup --downloader wget install ghc 8.8.4
2020-10-15 11:37:59 × rprije quits (~rprije@14-203-72-60.tpgi.com.au) (Ping timeout: 260 seconds)
2020-10-15 11:38:57 hackage aeson-commit 1.0 - Parse Aeson data with commitment https://hackage.haskell.org/package/aeson-commit-1.0 (jonascarpay)
2020-10-15 11:40:10 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-15 11:44:52 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-15 11:45:23 × xff0x quits (~fox@217.110.198.158) (Ping timeout: 258 seconds)
2020-10-15 11:47:10 → xff0x joins (~fox@217.110.198.158)
2020-10-15 11:49:08 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-15 11:49:26 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-15 11:52:26 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-15 11:56:45 × Guest24584 quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-10-15 11:57:04 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2020-10-15 12:00:01 × BjarniRunar1 quits (~BjarniRun@185.163.110.116) ()
2020-10-15 12:01:49 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-10-15 12:03:42 comorbid_enflori is now known as guy_lombardo
2020-10-15 12:05:37 × oisdk quits (~oisdk@2001:bb6:3329:d100:2427:ffab:82d7:d76a) (Quit: oisdk)
2020-10-15 12:07:37 × bitmagie quits (~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de) (Quit: bitmagie)
2020-10-15 12:08:27 → urodna joins (~urodna@unaffiliated/urodna)
2020-10-15 12:11:28 × olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 256 seconds)
2020-10-15 12:11:46 × Guest_39 quits (92c79265@101.146.199.146.dyn.plus.net) (Remote host closed the connection)
2020-10-15 12:12:09 → djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-15 12:12:18 → chris joins (~chris@81.96.113.213)
2020-10-15 12:12:41 chris is now known as Guest58695
2020-10-15 12:14:33 × chaosmasttter quits (~chaosmast@p200300c4a711b001c4478125cc0e8bf4.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-15 12:14:46 → bitmagie joins (~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de)
2020-10-15 12:14:48 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 12:15:08 × bitmagie quits (~Thunderbi@200116b806495000583b859276a8aad8.dip.versatel-1u1.de) (Client Quit)
2020-10-15 12:15:33 → nbloomf joins (~nbloomf@2600:1700:83e0:1f40:e531:b955:8b3c:f641)
2020-10-15 12:16:25 × Guest58695 quits (~chris@81.96.113.213) (Ping timeout: 240 seconds)
2020-10-15 12:16:27 hackage aeson-commit 1.1 - Parse Aeson data with commitment https://hackage.haskell.org/package/aeson-commit-1.1 (jonascarpay)
2020-10-15 12:19:27 hackage ptr-poker 0.1 - Pointer poking action construction and composition toolkit https://hackage.haskell.org/package/ptr-poker-0.1 (NikitaVolkov)
2020-10-15 12:21:38 × xff0x quits (~fox@217.110.198.158) (Ping timeout: 272 seconds)
2020-10-15 12:21:40 <dminuoso> What am I to make of this diagnostic? https://gist.github.com/dminuoso/a1767ce83e8ff645dfdae7d29aed51e4
2020-10-15 12:22:03 <dminuoso> That seems like a buggy GHC heuristic.
2020-10-15 12:22:41 <dminuoso> % data Foo = Foo1 Foo1
2020-10-15 12:22:41 <yahb> dminuoso: ; <interactive>:14:17: error:; * Data constructor `Foo1' cannot be used here (it is defined and used in the same recursive group); * In the type `Foo1'; In the definition of data constructor `Foo1'; In the data declaration for `Foo'
2020-10-15 12:23:13 <dminuoso> This should emit: Not in scope: type constructor or class `Foo1'; Perhaps you meant `Foo' (line 15)
2020-10-15 12:23:20 → xff0x joins (~fox@217.110.198.158)
←Prev  Next→
Page 1 .. 648 649 650 651 652 653 654 655 656 657 658 .. 5022

All times are in UTC.