Re: Executables got bigger using dynamic link.
Sorry, I left the profiling option on, which seems to suppress the dynamic options. On Mon, Oct 29, 2012 at 1:29 PM, Magicloud Magiclouds magicloud.magiclo...@gmail.com wrote: Hi, I set shared: True in ~/.cabal/config, and using ghc 7.6.1. Then clear user space hackages and reinstall them. First of all, I think comparing to static link, dynamic linked executables file should be smaller. And the libraries (.so) could benefits from caching to save memory usage. Well, I installed cabal-install and alex. I got this: cabal 9.9M - 24M alex 2.7M - 5.1M Is this correct? -- 竹密岂妨流水过 山高哪阻野云飞 And for G+, please use magiclouds#gmail.com. -- 竹密岂妨流水过 山高哪阻野云飞 And for G+, please use magiclouds#gmail.com. ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Using GHC.TypeLits and singletons
Hi Iavor and Richard (CC ghc-users), If I recall correctly, Richard designed his singletons package in such a way that it would interact nicely with Iavor's type-level literals. Now I find myself in a situation where I need to use both type-level literals and singletons (basically because I'm reflecting at the value level both naturals, strings, and more complicated datatypes). But I see that the declarations of entities such as Sing, SingI, etc., are duplicated in the singletons package (seeing that they are already in GHC 7.6 within GHC.TypeLits). My question is: how can I use these two together? Thanks, Pedro ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
Re: Using GHC.TypeLits and singletons
You do recall correctly; they are supposed to work together. We discovered that they didn't a few weeks ago. Iavor has updated his implementation of TypeLits in HEAD. I still have to update singletons, which I will now do. Expect this update later today. In the meantime, make sure you have a version of libraries/base pulled in the last 13 days, as you will need the updated TypeLits. Richard On Oct 29, 2012, at 5:46 AM, José Pedro Magalhães j...@cs.uu.nl wrote: Hi Iavor and Richard (CC ghc-users), If I recall correctly, Richard designed his singletons package in such a way that it would interact nicely with Iavor's type-level literals. Now I find myself in a situation where I need to use both type-level literals and singletons (basically because I'm reflecting at the value level both naturals, strings, and more complicated datatypes). But I see that the declarations of entities such as Sing, SingI, etc., are duplicated in the singletons package (seeing that they are already in GHC 7.6 within GHC.TypeLits). My question is: how can I use these two together? Thanks, Pedro ___ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users