Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 .. 5022
— 502,152 events total
2020-11-23 21:07:18 wayne_ is now known as wayne
2020-11-23 21:07:32 × wayne quits (~wayne@consume.rocks) (Changing host)
2020-11-23 21:07:32 → wayne joins (~wayne@unaffiliated/wayne)
2020-11-23 21:07:41 × fxg quits (~fxg@unaffiliated/fxg) (Quit: Leaving)
2020-11-23 21:11:45 <nh2> Uniaika: I don't have a great resource on understanding the error messages, but do you know https://ocharles.org.uk/posts/2014-12-14-functional-dependencies.html | https://www.fpcomplete.com/haskell/tutorial/fundeps/ | https://gvolpe.com/blog/functional-dependencies-and-type-families/ ? They show _some_ fundeps errors and explain those
2020-11-23 21:12:31 hackage numhask-space 0.7.0.0 - Numerical spaces. https://hackage.haskell.org/package/numhask-space-0.7.0.0 (tonyday567)
2020-11-23 21:13:12 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2020-11-23 21:13:22 <Uniaika> nice
2020-11-23 21:13:38 <Uniaika> thanks a lot nh2
2020-11-23 21:14:11 → dennisb joins (~dennisb@89-160-106-195.cust.bredband2.com)
2020-11-23 21:14:54 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-23 21:15:47 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-23 21:17:00 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-11-23 21:17:24 <dminuoso> Uniaika: One thing that helped me is understand how GHC reasons in the presence of fundeps.
2020-11-23 21:18:29 <nh2> dminuoso: Would be good to know how you did learn to understand that reasoning though :)
2020-11-23 21:19:29 × sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2020-11-23 21:19:29 <Uniaika> on a related topic, I have this line of code : https://github.com/Kleidukos/Intrigue/blob/main/src/Intrigue/Eval.hs#L52
2020-11-23 21:19:36 <Uniaika> that generates this error: https://github.com/Kleidukos/Intrigue/runs/1444428807?check_suite_focus=true#step:5:18
2020-11-23 21:21:24 → Raman joins (~user@c-24-4-174-65.hsd1.ca.comcast.net)
2020-11-23 21:22:08 → uninitializedPtr joins (415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca)
2020-11-23 21:22:19 <Raman> ?src reverse
2020-11-23 21:22:20 <lambdabot> Source not found. Do you think like you type?
2020-11-23 21:22:37 <uninitializedPtr> > let main :: IO ()
2020-11-23 21:22:39 <lambdabot> <no location info>: error: not an expression: ‘let main :: IO ()’
2020-11-23 21:22:47 <uninitializedPtr> > this_main :: IO ()
2020-11-23 21:22:49 <Raman> ?src
2020-11-23 21:22:49 <lambdabot> src <id>. Display the implementation of a standard function
2020-11-23 21:22:49 <lambdabot> error: Variable not in scope: this_main :: IO ()
2020-11-23 21:22:55 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-11-23 21:23:01 <Raman> ?src map
2020-11-23 21:23:01 <lambdabot> Source not found. Abort, Retry, Panic?
2020-11-23 21:23:01 <uninitializedPtr> > printStrLn 42
2020-11-23 21:23:03 <lambdabot> error:
2020-11-23 21:23:03 <lambdabot> • Variable not in scope: printStrLn :: t0 -> t
2020-11-23 21:23:03 <lambdabot> • Perhaps you meant one of these:
2020-11-23 21:23:14 <geekosaur> @src consults a database which contains lies and is not complete
2020-11-23 21:23:14 <lambdabot> Source not found. Have you considered trying to match wits with a rutabaga?
2020-11-23 21:23:14 <Uniaika> > print 42
2020-11-23 21:23:17 <lambdabot> <IO ()>
2020-11-23 21:23:17 <Raman> abort
2020-11-23 21:23:19 <uninitializedPtr> ?src src
2020-11-23 21:23:19 <lambdabot> Source not found. The more you drive -- the dumber you get.
2020-11-23 21:23:21 <uninitializedPtr> ?src src
2020-11-23 21:23:21 <lambdabot> Source not found. Are you on drugs?
2020-11-23 21:23:21 → copypasteque joins (~copypaste@2001:41d0:8:b325::1)
2020-11-23 21:23:23 <uninitializedPtr> > ?src src
2020-11-23 21:23:26 <lambdabot> error:
2020-11-23 21:23:26 <lambdabot> • Variable not in scope: src
2020-11-23 21:23:26 <lambdabot> • Perhaps you meant ‘scc’ (imported from Data.Graph)
2020-11-23 21:23:33 <Raman> ?src Eq
2020-11-23 21:23:33 <lambdabot> class Eq a where
2020-11-23 21:23:33 <lambdabot> (==), (/=) :: a -> a -> Bool
2020-11-23 21:23:54 <Raman> ?reverse
2020-11-23 21:23:54 <lambdabot> Unknown command, try @list
2020-11-23 21:24:00 <uninitializedPtr> @list
2020-11-23 21:24:00 <lambdabot> What module? Try @listmodules for some ideas.
2020-11-23 21:24:08 <Raman> @list
2020-11-23 21:24:08 <lambdabot> What module? Try @listmodules for some ideas.
2020-11-23 21:24:17 <uninitializedPtr> @list null
2020-11-23 21:24:17 <lambdabot> No module "null" loaded
2020-11-23 21:24:37 <uninitializedPtr> class Nothing where Nothing
2020-11-23 21:24:44 <uninitializedPtr> > class Nothing where Nothing
2020-11-23 21:24:49 <dminuoso> Use a private message if you want to experiment.
2020-11-23 21:25:23 <Raman> ?src Show
2020-11-23 21:25:23 <lambdabot> Source not found. You speak an infinite deal of nothing.
2020-11-23 21:25:42 <Uniaika> dminuoso: do you have any idea how I can investigate the error I pasted above?
2020-11-23 21:25:51 ← Raman parts (~user@c-24-4-174-65.hsd1.ca.comcast.net) ()
2020-11-23 21:25:56 <nh2> geekosaur: good tip, dynamic loading occurring here: https://github.com/nh2/static-haskell-nix/issues/50#issuecomment-732434989
2020-11-23 21:26:20 <dminuoso> Uniaika: Yes
2020-11-23 21:26:20 ← uninitializedPtr parts (415e3d4d@bras-base-okvlon3013w-grc-13-65-94-61-77.dsl.bell.ca) ()
2020-11-23 21:26:38 <Uniaika> dminuoso: \o/
2020-11-23 21:27:29 <nh2> maerwald: FYI ^
2020-11-23 21:29:07 × tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection)
2020-11-23 21:29:42 → tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64)
2020-11-23 21:30:28 × geekosaur quits (ac3a53fb@172.58.83.251) (Remote host closed the connection)
2020-11-23 21:30:51 <dminuoso> Uniaika: Consider: class Monad m => MonadState s m | m -> s
2020-11-23 21:31:32 <Uniaika> yes
2020-11-23 21:31:36 Uniaika considers
2020-11-23 21:31:51 × taurux quits (~taurux@net-188-152-78-21.cust.vodafonedsl.it) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-23 21:31:52 <dminuoso> Given `instance ‘MonadState (HashMap Text AST) EvalM’` we have `EvalM -> (HashMap Text AST)`
2020-11-23 21:32:11 <Uniaika> yep'
2020-11-23 21:32:52 <dminuoso> The line that says:
2020-11-23 21:32:54 <dminuoso> constraint ‘MonadState (HashMap Text (EvalM AST)) EvalM’
2020-11-23 21:33:04 × Khisanth quits (~Khisanth@166.sub-174-197-147.myvzw.com) (Ping timeout: 265 seconds)
2020-11-23 21:33:06 <dminuoso> Means GHC is trying to satisfy this constraint
2020-11-23 21:33:37 <Uniaika> which is not ‘MonadState (HashMap Text AST) EvalM’
2020-11-23 21:33:42 <dminuoso> Right
2020-11-23 21:33:44 <Uniaika> but what I don't understand is how I got myself into that
2020-11-23 21:33:59 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-11-23 21:33:59 <dminuoso> Type inference.
2020-11-23 21:34:04 <Uniaika> damnit.
2020-11-23 21:34:05 <dminuoso> % :t ask
2020-11-23 21:34:05 <yahb> dminuoso: MonadReader r m => m r
2020-11-23 21:34:14 <Uniaika> in my case it's
2020-11-23 21:34:15 <dminuoso> See how ask is *fully* polymorphic in both m and r?
2020-11-23 21:34:17 <Uniaika> % :t get
2020-11-23 21:34:17 <yahb> Uniaika: MonadState s m => m s
2020-11-23 21:34:21 <dminuoso> Oh. same story
2020-11-23 21:34:31 <Uniaika> but yeah I see
2020-11-23 21:34:48 <Uniaika> dminuoso: would type applications solve my problem?
←Prev  Next→
Page 1 .. 1493 1494 1495 1496 1497 1498 1499 1500 1501 1502 1503 .. 5022

All times are in UTC.