[Haskell-cafe] ANN: has-0.4 Entity based records

[HASHIMOTO, Yusaku]

I think I missed your point in my last post, and there are more
necessary extensions need to be enabled than I wrote before.

TypeFamilies, TypeOperator and FlexibleContexts extensions are
necessary. So you need to write this at top of the code if you don't
choose OPTIONS_GHC pragma.

> {-# LANGUAGE TypeFamilies,TypeOperators,FlexibleContexts #-}

Sorry for incorrect information.

-nwn

On 5 May 2010 02:33, HASHIMOTO, Yusaku <nonowarn at gmail.com> wrote:
> I uploaded new version (0.4.0.1) of this package with proper pragmas.
>
> On 5 May 2010 02:00, HASHIMOTO, Yusaku <nonowarn at gmail.com> wrote:
>> Hello
>>
>>>> I'm pleased to announce the release of my new library, named "has",
>>>> written to aim to ease pain at inconvinience of Haskell's build-in
>>>> records.
>>>
>>> Hmm, nice work, looks interesting.
>>
>> Thanks!
>>
>>>> You can use the has in three steps (without counting installation).
>>>>
>>>> 1. Write {-# OPTIONS_GHC -fglasgow-exts #-} top of your code,
>>>
>>> This is going out of style.  It would be nice to know specifically
>>> what LANGUAGE extensions are necessary.
>>
>> Ah, yes. {-# LANGUAGE TypeFamilies #-} is enough for that literate
>> haskell file, But the has depends GHC's language extensions such as
>> UndecidableInstances, OverlappingInstances and TypeFamilies. But I'll
>> remove OPTIONS_GHC pragma from library codes. Thank you for your
>> suggestion.
>>
>> -nwn
>>
>