I'm afraid I'd got into a muddle, and all of this can be ignored.
In general, top-level and associated type instances get the same
syntactic treatment in module exports, and the problem I had in the
first place was due to another mistake.
Ben
On Mon, Dec 22, 2008 at 4:26 PM, Ben Horsfall wrote
Hi Wolfgang,
On Mon, Dec 22, 2008 at 12:23 PM, Wolfgang Jeltsch
wrote:
> Am Montag, 15. Dezember 2008 02:17 schrieb Ben Horsfall:
>> I have a type family
>>
>> class Lang term where
>> data Token term :: *
>>
>> with
>>
>> instance Lang Term where
>> newtype Token Term = T String
>>
>> I can'
chunye.wang:
> Hi All,
>
>
>I have our own Linux distribution installed in my server.
>it is based on RedHat 9.0. Because it is the server, I can
>not update it to any other linux distribution
>
>Here is my situation, I have no machine with any version of ghc
Am Montag, 15. Dezember 2008 02:17 schrieb Ben Horsfall:
> I have a type family
>
> class Lang term where
> data Token term :: *
>
> with
>
> instance Lang Term where
> newtype Token Term = T String
>
> I can't work out how to export the type constructor T from the module,
> unless I make no ex
Hello everyone
Please visit these to pages:
http://www.haskell.org/ghc/docs/6.8.3/html/libraries/haskell98/CTypes.html
-- ver 0.9
http://www.haskell.org/ghc/docs/6.10.1/html/libraries/haskell98/CTypes.html
-- ver 2.3.0
They show documentation produced by Haddock.
The problem is: on the second pa
Hello,
I have made the two changes that Simon suggested and uploaded a new
version of the library. By the way, GHC seemed to work correctly
even without the extra boolean parameter, perhaps it treats
unsafePerformIO specially somehow? A somewhat related question: I
ended up using three calls to
On 12/19/08, Simon Marlow wrote:
>> lupus:~/ghc-6.8.3% ghc-6.8.3 -v
>> dyld: relocation error (external relocation for symbol
>> _pthread_mutex_unlock
>> in ghc-6.8.3 relocation entry 0 displacement too large)Trace/BPT trap
>>
>> Failure! ... or is it?
>
> I'd guess that the size of th
In Graham Hutton's "Programming in Haskell" there is an interactive
calculator example using ANSI code to implement the UI on the terminal.
This example doesn't work on MS Windows XP or other MS OSes based on NT
kernel, since their command line does not support ANSI very well.
But, thanks to ansi-
If I remove -XScopedTypeVariables from this http://hpaste.org/13230 then
I get the following error message:
> Asn1cTestNew.hs:55:27:
> GADT pattern match in non-rigid context for `INTEGER'
> Solution: add a type signature
> In the pattern: INTEGER
> In the definition of `referenc
