Compiled code

Suppose I compiled some module and kept it's .hi and .o files. Is it possible to use this module in my program if the source code was deleted for some reason? Seems like the answer is yes — by creating a fake .hs file (with no real content) and touch-in .hi and .o files I tricked ghc so that it

Re: Private classes

Do you mean GeneralizedNewtypeDeriving? Отправлено с iPad 17.08.2013, в 23:49, Joachim Breitner m...@joachim-breitner.de написал(а): Hi, Am Samstag, den 17.08.2013, 20:34 +0200 schrieb Bas van Dijk: I used the following in the past: module M (PublicClass(..)) where class HiddenClass

Re: default roles

Something bugs me here. If some type variable a is used as a parameter to another type variable t, then it's considered nominal. I suppose, that's because it is possible that it would be nominal for some specific t. But we might just know that in our application it's always representational,

Re: default roles

only for parameters to datatypes and classes. We're waiting to see how important this particular issue is in practice before committing to implementing it (a medium-sized project) and maintaining it into perpetuity. Richard On Oct 7, 2013, at 3:55 PM, migmit wrote: Something bugs me

Re: Enabling TypeHoles by default

Agreed. Having it in 7.8 would be very nice, and yes, I don't see how it can break anything. Отправлено с iPad 13 янв. 2014 г., в 22:54, Edward Kmett ekm...@gmail.com написал(а): I have to admit, I rather like this suggestion. -Edward On Mon, Jan 13, 2014 at 1:42 PM, Krzysztof

Re: RFC: include a cabal-install executable in future GHC releases

Agreed. That's exactly what we have Platform for: to give the user an integrated set of tools. My vote is to have only the things that are really necessary being included in the ghc distribution. Отправлено с iPad 21 янв. 2014 г., в 23:22, Ganesh Sittampalam gan...@earth.li написал(а): I

Re: confusing type error

I don't see a bug here. f2 is perfectly OK, so, let's examine f1 more closely. It tries to get `m Bool` by applying f1 to three arguments: 0, 0, and 'a'. Now, since `f2` has the type `Int - Float - n Bool`, where `n` is of kind `* - *` (and an instance of `Monad` class, but it's not yet the

Re: Found hole

DON'T DO THAT! Seriously, turn off compile-time type checking completely just to start an identifier with an underscore??? Отправлено с iPad 20 янв. 2015 г., в 21:39, Alex Hammel ahamme...@gmail.com написал(а): You can get typed holes to compile with a warning and a runtime error with

Re: type error formatting

At the very least, "bound at" should help IDEs (Emacs in particular) show exactly the right places. > On 24 Oct 2015, at 22:14, Evan Laforge wrote: > > Ok, ticket created. I'll go see how much I can figure out on my own. > > https://ghc.haskell.org/trac/ghc/ticket/11014 >

Re: type error formatting

> On 25 Oct 2015, at 21:21, Joachim Breitner <m...@joachim-breitner.de> wrote: > > Am Samstag, den 24.10.2015, 22:30 +0200 schrieb MigMit: >> At the very least, "bound at" should help IDEs (Emacs in particular) >> show exactly the right places. > >

Re: type error formatting

> On 25 Oct 2015, at 21:45, Joachim Breitner <m...@joachim-breitner.de> wrote: > > Hi, > > Am Sonntag, den 25.10.2015, 21:30 +0100 schrieb MigMit: >> Doesn't seem worth it to me. Current format is quite parseable, and >> not really bad for human eyes e

Re: Allow extra commas in module declarations or lists?

I think that's the greatest idea since monads. Seriously. Отправлено с iPad > 11 июня 2016 г., в 21:12, Michael Burge написал(а): > > Some languages like Perl allow you to include additional commas in your > lists, so that you can freely reorder them without worrying