infandum 2017-01-30 07:47:26
mpickering: What is your exact command
mpickering 2017-01-30 07:50:42
"stack build --ghc-options="-ddump-simpl" --force-dirty"
mpickering 2017-01-30 07:50:49
I am actually using stack build, sorry my confusion
mpickering 2017-01-30 07:52:22
and I see the Lib.dump-hi file but no Lib.dump-simp
MarcelineVQ 2017-01-30 07:53:43
try -ddump-to-file as well in case it's just eating your stdout, allthough I think stack makes it -ddump-to-file anyway
infandum 2017-01-30 07:53:47
Did you try -fforce-recomp
MarcelineVQ 2017-01-30 07:58:00
-fforce-recomp definetly made the difference testing it on one of my projects just now
MrJazz 2017-01-30 07:58:00
infandum 2017-01-30 08:00:27
Seems to be a bug with --force-dirty maybe: https://github.com/commercialhaskell/stack/issues/1666
infandum 2017-01-30 08:00:38
ghc that is
ph88 2017-01-30 08:21:18
what does it mean when a class has a type in it ?
geekosaur 2017-01-30 08:21:36
associated type
geekosaur 2017-01-30 08:22:01
https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/glasgow_exts.html#associated-instances
geekosaur 2017-01-30 08:22:42
(actually that whole section)
ph88 2017-01-30 08:23:51
when to use it? when is it handy ?
geekosaur 2017-01-30 08:26:41
it's an alternative to functional dependencies. sometimes it ends up being easier than fundeps, sometimes harder; there's a certain amount of "what works for me" (i.e. the programmer) in it
geekosaur 2017-01-30 08:27:02
it *should* be equally as expressive as fundeps
geekosaur 2017-01-30 08:29:45
the "classic" example is a class for container types, where an associated type specifies the type of things stored in the container type (class Container c where {type Item; ...})
ph88 2017-01-30 08:36:09
ooh ok
ph88 2017-01-30 08:36:16
were there fundeps before class types ?
dfeuer 2017-01-30 08:36:47
Class types?
lyxia 2017-01-30 08:37:05
"associated types"
dfeuer 2017-01-30 08:37:17
Yes, fundeps predate associated types.
dfeuer 2017-01-30 08:38:01
Associated types are type families that are tied to a class. As far as I can tell, the main reason to use an associated type instead of an independent type family is to give it a default instance.
dfeuer 2017-01-30 08:38:14
(which is useful for generics)
zipper 2017-01-30 08:39:35
WHat is the function to round off to a certain decimal point in haskell?
