Re: Retro-Haskell: can we get seq somewhat under control?

2016-12-23 Thread Mario Blažević
On 2016-12-21 02:04 PM, David Feuer wrote: In the Old Days (some time before Haskell 98), `seq` wasn't fully polymorphic. It could only be applied to instances of a certain class. I don't know the name that class had, but let's say Seq. Apparently, some people didn't like that, and now it's

Re: Hiding import behaviour

2014-10-21 Thread Mario Blažević
On 14-10-21 07:14 AM, Erik Hesselink wrote: On Mon, Oct 20, 2014 at 11:57 PM, Mario Blažević mblaze...@stilo.com wrote: On 14-10-19 08:10 AM, Erik Hesselink wrote: Adding an explicit import can suddenly cause type errors in completely unrelated places (when it hides an implicit import

Re: Hiding import behaviour

2014-10-20 Thread Mario Blažević
On 14-10-19 08:10 AM, Erik Hesselink wrote: I feel that this extension, while looking tempting for writing code from scratch, might hurt maintainability of code. That depends on how you define maintainability. Adding an explicit import can suddenly cause type errors in completely

Re: base package -- goals

2013-03-12 Thread Mario Blažević
On 13-03-12 04:47 AM, Joachim Breitner wrote: ... None of these look particularly appealing. Here some ideas to make it more convenient for the programmer that require changes to GHC and how it treats packages: I. It automatically imports _all_ visible Prelude modules. So

Re: Suppress Duplicate constraints warning?

2012-12-31 Thread Mario Blažević
On 12-12-30 02:55 PM, Conal Elliott wrote: Is there a way to suppress GHC's Duplicate constraints warning? I'm auto-generating some code, and it's a lot more convenient for me to leave the duplicates than filter them out. I second the question. In my case the code is neither generated nor

Re: Forall and type synonyms in GHC 7.0

2010-11-01 Thread Mario Blažević
I had the exact same problem in my regional-pointers package in the withArray function: withArray ∷ (Storable α, MonadCatchIO pr) ⇒ [α] → (∀ s. RegionalPtr α (RegionT s pr) → RegionT s pr β) → pr β I had to replace the original: withArray vals =

Forall and type synonyms in GHC 7.0

2010-10-31 Thread Mario Blažević
Before uploading a new version of my project on Hackage, I decided to future-proof it against GHC 7.0. I ran into several compile errors caused by the changes in let generalization, but these were easy to fix by adding extra type annotations. But then I ran into another problem that I can't