Cool!
For some reason I had thought that wasn't previously allowed, thanks for
clarifying!
That said, the new overlapping type families should make things a bit
easier to write.
awesome
-Carter
On Fri, Jan 11, 2013 at 4:04 PM, Richard Eisenberg wrote:
> Recursive type level functions are actual
On January 11, 2013 13:55:58 Simon Peyton-Jones wrote:
> | The -XOverlappingInstances flag instructs GHC to allow more than one
> | instance to match, provided there is a most specific one. For example,
> | the constraint C Int [Int] matches instances (A), (C) and (D), but the
> | last is more
Recursive type level functions are actually not new -- type families as they
have existed for some time can be recursive. The new overlap mechanism doesn't
really interact with the recursion feature in any interesting way. For anything
moderately interesting and recursive, though, you will have
One thing thats unclear (or at least implicit) about the overlapping type
families from the docs is this:
does it let me write recursive type level functions? (I really really
really want that :) )
thanks
-Carter
On Thu, Jan 10, 2013 at 10:03 PM, Richard Eisenberg wrote:
> Yes, I finished and
On 01/11/13 09:25 PM, rocon...@theorem.ca wrote:
On Thu, 10 Jan 2013, Karel Gardas wrote:
Hmm, are you using Raspbian? I.e. hard-float abi caught my eye in case
of ARMv6/ARM11 chip here...
I'm afraid LLVM is not well guided in your case so could you be so
kind and test if adding -optlc=-mattr
On Thu, 10 Jan 2013, Karel Gardas wrote:
Hmm, are you using Raspbian? I.e. hard-float abi caught my eye in case of
ARMv6/ARM11 chip here...
I'm afraid LLVM is not well guided in your case so could you be so kind and
test if adding -optlc=-mattr=+vfp2 helps? You need to add it to your build.
| The -XOverlappingInstances flag instructs GHC to allow more than one
| instance to match, provided there is a most specific one. For example,
| the constraint C Int [Int] matches instances (A), (C) and (D), but the
| last is more specific, and hence is chosen. If there is no most-specific
|
That link looks like it points to the manual for the most recent distribution,
not HEAD. The edits I put into the manual for the new family instances are not
there, for example.
Richard
On Jan 11, 2013, at 4:56 AM, Simon Peyton-Jones wrote:
> The manual for HEAD is always online here
> http:/
> What do you mean by barely-just-works? Anything besides:
> * no GHCi support and
> * bad performance due to the lack of a native code generator
> is probably a bug that we (the GHC maintainers in Debian) would like to
> know about.
Could you help me to find a workaround for the mentioned error
Hi,
I was succesfull in building ghc (pulled from git) to compile for
arm-linux-androideabi!
Now using "inplace/bin/ghc-stage1 -dcore-lint -debug" I compiler this
Main.hs:
main = putStrLn "Hello, World"
I get an executable, which I can run on my android device. Unfortantly
it segfaults.
Runnin
The manual for HEAD is always online here
http://www.haskell.org/ghc/dist/current/docs/html/users_guide/type-families.html#type-instance-declarations
Simon
From: Richard Eisenberg [mailto:e...@cis.upenn.edu]
Sent: 11 January 2013 03:03
To: Carter Schonwald
Cc: Martin Sulzmann; glasgow-haskell-b..
11 matches
Mail list logo
