Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 862 863 864 865 866 867 868 869 870 871 872 .. 5022
— 502,152 events total
2020-10-26 02:49:05 <Axman6> I think it should
2020-10-26 02:49:11 <T0pH4t> i don't even think what i have is legal is it?
2020-10-26 02:49:24 <Axman6> looks legal to me
2020-10-26 02:49:32 <Axman6> have you tried it?
2020-10-26 02:49:50 <T0pH4t> well let me give it a shot
2020-10-26 02:51:10 <Axman6> % :t doThing
2020-10-26 02:51:11 <yahb> Axman6: Foo a => a -> Bar a
2020-10-26 02:51:34 <Axman6> This is using this definition in yahb: class Foo a where type Bar a
2020-10-26 02:51:42 <Axman6> and doThing :: Foo a => a -> Bar a; doThing = undefined
2020-10-26 02:53:19 <T0pH4t> hmm not liking it
2020-10-26 02:53:32 <Axman6> what error do you get
2020-10-26 02:54:00 <T0pH4t> oh wait u hauve b ~ Bar a
2020-10-26 02:54:08 <Axman6> you shouldn't need that
2020-10-26 02:54:30 <Axman6> what you have should work, but may need an extension. I can't help if you don't tell me what error you get
2020-10-26 02:54:43 <T0pH4t> ]ok
2020-10-26 02:54:45 <T0pH4t> hmm
2020-10-26 02:54:49 <T0pH4t> let me give u error
2020-10-26 02:55:04 → crestfallen joins (~John@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-26 02:55:19 → dansho joins (~dansho@ip68-108-167-185.lv.lv.cox.net)
2020-10-26 02:55:27 <T0pH4t> This isn't going to be exact by GTLLiteral == Foo and Convert == Bar
2020-10-26 02:55:31 <T0pH4t> Couldn't match type ‘a’ with ‘Convert (Convert a)’
2020-10-26 02:55:33 <T0pH4t> ‘a’ is a rigid type variable bound by
2020-10-26 02:55:35 <T0pH4t> the type signature for:
2020-10-26 02:55:37 <T0pH4t> func :: forall a.
2020-10-26 02:55:39 <T0pH4t> GTLLiteral a =>
2020-10-26 02:55:41 <T0pH4t> L.Name -> L.GTL a -> GTLFunc (Convert a)
2020-10-26 02:55:46 <Axman6> urgh, don;t paste multiple lines here
2020-10-26 02:55:51 <Axman6> @where paste
2020-10-26 02:55:51 <lambdabot> Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com
2020-10-26 02:55:53 <T0pH4t> ok
2020-10-26 02:56:14 <Axman6> and since that code doesn't match what you showed before, you're going to have to share the code too
2020-10-26 02:56:17 <crestfallen> hi I'm wondering if I install this debian package if I can fix a problem in ghci where the cursor jumps off the prompt line, while backspacing or deleting right to left. libghc-base-unicode-symbols-doc (0.2.2.4-11)
2020-10-26 02:56:23 <Axman6> put them both in one paste
2020-10-26 02:56:27 <crestfallen> this is on debian buster
2020-10-26 02:56:53 <dsal> I only use os packages for Haskell on nixos
2020-10-26 02:57:49 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2020-10-26 02:58:37 <mikevdg> How do people usually get a description of a type class? Hoogle? Source diving?
2020-10-26 02:58:51 <T0pH4t> @axman6 https://paste.tomsmeding.com/JTX8UV8V
2020-10-26 02:58:51 <lambdabot> Unknown command, try @list
2020-10-26 02:59:05 <T0pH4t> that may still be too confusing :/
2020-10-26 02:59:08 <dsal> % :i Traversable
2020-10-26 02:59:09 <yahb> dsal: type Traversable :: (* -> *) -> Constraint; class (Functor t, Foldable t) => Traversable t where; traverse :: Applicative f => (a -> f b) -> t a -> f (t b); sequenceA :: Applicative f => t (f a) -> f (t a); mapM :: Monad m => (a -> m b) -> t a -> m (t b); sequence :: Monad m => t (m a) -> m (t a); {-# MINIMAL traverse | sequenceA #-}; -- Defined in `Data.Traversable'; instance [safe] Traversa
2020-10-26 02:59:15 <ghoulguy> mikevdg: If you're in GHCi, try :doc Show
2020-10-26 02:59:24 <mikevdg> thanks!
2020-10-26 02:59:51 <monsterchrom> I read the doc. I have local docs installed and/or built.
2020-10-26 02:59:51 <mikevdg> It has a lot of '@'s in it.
2020-10-26 02:59:52 × ddellacosta quits (~dd@86.106.121.168) (Ping timeout: 260 seconds)
2020-10-26 02:59:54 <ghoulguy> Otherwise I typically have the haddocks open for a package I'm using that I don't have memorized
2020-10-26 03:00:01 × mrdocs quits (~mrdocs@185.244.214.217) ()
2020-10-26 03:00:26 <Axman6> T0pH4t: toExpr expects a Convert a but you're giving it an a
2020-10-26 03:00:27 <gattytto> crestfallen: I think your error needs clarification, you enter to ghci, and then use :e to open a code file in your vim?
2020-10-26 03:00:51 <monsterchrom> The @s are for the "haddock" program to read and turn into HTML markups.
2020-10-26 03:01:06 <crestfallen> gattytto, any use of ghci, if I backspace or try to delete, the cursor jumps off the line.
2020-10-26 03:01:17 <gattytto> oh ok
2020-10-26 03:01:20 <monsterchrom> This is why the :doc command is unsatisfactory, too. But maybe you could learn haddock syntax and decode it yourself
2020-10-26 03:01:37 × xff0x quits (~fox@2001:1a81:53a8:4d00:58d7:4c60:2850:2b9a) (Ping timeout: 260 seconds)
2020-10-26 03:01:43 → juri_ joins (~juri@178.63.35.222)
2020-10-26 03:01:54 <ghoulguy> Learning haddock syntax is worth doing if you're going to be writing Haskell code, too
2020-10-26 03:01:56 <crestfallen> I installed above package, but that looks like its for latex notation
2020-10-26 03:02:05 × hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 240 seconds)
2020-10-26 03:02:06 <T0pH4t> aaxman6 ur right hang on a sec, let me check something
2020-10-26 03:02:13 <Axman6> T0pH4t: it feels like you maybe want something like func :: GTLLiteral a => L.Name -> L.GTL (L.Expression a) -> GTLFunc (Convert a)?
2020-10-26 03:02:15 <dsal> I don't think about classes very much at all, but random package classes I usually read on the web.
2020-10-26 03:02:25 <Axman6> or... something?
2020-10-26 03:02:37 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
2020-10-26 03:02:38 × irc_user quits (uid423822@gateway/web/irccloud.com/x-wxrumdfneplzxysw) (Quit: Connection closed for inactivity)
2020-10-26 03:03:19 <Axman6> T0pH4t: it at least seems you want fromExpr instead of toExpr, since that's the only want to make a Convert a
2020-10-26 03:03:30 → xff0x joins (~fox@2001:1a81:53e0:c700:e573:3ce2:3ef3:403a)
2020-10-26 03:03:34 <Axman6> but without knowing what this code is supposed to do I'm just playing type tetris
2020-10-26 03:03:46 <T0pH4t> axman6 I got it, i initially refcatored some code and I refactored it wrong
2020-10-26 03:04:02 <T0pH4t> I wasn't sure that using Convert int eh type sig was even legal, but i gues it is which is great
2020-10-26 03:04:09 <T0pH4t> that compiled now, thx alot!
2020-10-26 03:04:14 <T0pH4t> the type*
2020-10-26 03:04:35 <T0pH4t> it was suppose to be L.GTL (Convert a) -> GTLFunc a
2020-10-26 03:04:39 <T0pH4t> for the last 2 types
2020-10-26 03:04:46 <T0pH4t> i flipped it by accident
2020-10-26 03:04:54 × dansho quits (~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving)
2020-10-26 03:07:27 <mikevdg> Does anyone here have haskell-language-server working?
2020-10-26 03:07:54 → HarveyPwca joins (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net)
2020-10-26 03:09:33 <Axman6> sure
2020-10-26 03:09:45 × jedws quits (~jedws@101.184.148.229) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-26 03:10:16 <c_wraith> is installing with ghcup not working?
2020-10-26 03:10:57 × djellemah quits (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54) (Ping timeout: 260 seconds)
2020-10-26 03:10:57 <mikevdg> Well, it's meant to work out of the box for Visual Studio code, but it didn't. It won't recompile from master for me:
2020-10-26 03:11:12 <mikevdg> shake-0.19.1 from stack configuration does not match >=0.16.4 && <0.19 (latest matching version is 0.18.5)
2020-10-26 03:11:40 <mikevdg> It's a Cabal thing, but I don't want to mess with it oo much. I'd rather spend time working through these Haskell exercises.
2020-10-26 03:12:05 <c_wraith> that's a stack thing, it appears
2020-10-26 03:12:37 <mikevdg> er... yea, one of those thingies.
2020-10-26 03:12:47 → hyiltiz joins (~quassel@82.118.227.47)
2020-10-26 03:12:47 × hyiltiz quits (~quassel@82.118.227.47) (Changing host)
2020-10-26 03:12:47 → hyiltiz joins (~quassel@unaffiliated/hyiltiz)
2020-10-26 03:13:08 <crestfallen> anyone seen this? : any use of ghci, if I backspace or try to delete, the cursor jumps off the line.
2020-10-26 03:13:40 <crestfallen> debian buster bash, gnome-terminal
2020-10-26 03:14:16 lagothrix is now known as Guest12762
2020-10-26 03:14:16 × Guest12762 quits (~lagothrix@unaffiliated/lagothrix) (Killed (card.freenode.net (Nickname regained by services)))
2020-10-26 03:14:24 → lagothrix joins (~lagothrix@unaffiliated/lagothrix)
2020-10-26 03:14:26 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-26 03:14:26 <mikevdg> crestfallen: that sounds like old terminal problems. You probably want to do something like "set TERM=vt100", or "set TERM=xterm".,
2020-10-26 03:14:52 <mikevdg> It goes way back to the days when people couldn't decide which code meant "backspace".
2020-10-26 03:15:28 <mikevdg> Also poke through the gnome-terminal settings. You'll find settings for backspace and delete behaviour.
←Prev  Next→
Page 1 .. 862 863 864 865 866 867 868 869 870 871 872 .. 5022

All times are in UTC.