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;
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.
Running
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?
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 simo...@microsoft.com wrote:
The manual for HEAD is always
| 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
|
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
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
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 e...@cis.upenn.eduwrote:
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
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
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 e...@cis.upenn.eduwrote:
Recursive type level
(Apologies if you receive multiple copies of this announcement)
Science of Computer Programming
Special Issue on Invariant Generation
-- FINAL CALL FOR PAPERS [1 month to go] --
Hi,
The University of Virginia department of Computer Science was kind enough
let me lecture an introductory course on Haskell, a functional programming
language.
I'll be posting all slides on the class website: http://shuklan.com/haskell
Come join me in this 12 week course. We will start from
[apologies for any cross-posting]
4th OPEN Answer Set Programming Competition 2013
Call for Participant Systems
University of Calabria - Vienna University of Technology
Fall/Winter 2012/2013
On 11 January 2013 09:22, Nick Shukla nick...@gmail.com wrote:
Come join me in this 12 week course. We will start from basic lists and
tuples, and venture far into monads and category theory.
The first lecture looks quite nice. Looking forward to the next 11. :-)
KURE 2.6.14 is now available on Hackage. This new version is simpler to
instantiate, and has better performance.
What's New?
---
The main change from version 2.4.x are
(1) A simplified class interface that makes KURE easier to instantiate. The
previous Node and Walker classes have
Will you mark the online submissions as well? It doesn't look like it
but many online courses do just that so I thought that it might be worth
asking.
On 11/01/13 17:22, Nick Shukla wrote:
Hi,
The University of Virginia department of Computer Science was kind
enough let me lecture an
Hi,
I am pleased to annouce that I'm bootstrapping a Haskell-enthusiastics
group in Paris.
We recently scheduled our second Haskell meetup in Paris.
This meetup will take place next Monday (Monday, January 14, 2013). AF83 (
http://af83.com/ ) has been kind enough to offer us a room for our
On Wed, Jan 9, 2013 at 11:38 PM, Joachim Breitner
m...@joachim-breitner.de wrote:
Am Mittwoch, den 09.01.2013, 15:11 +0100 schrieb Erik Hesselink:
We finally solved the problems by completely moving
to strict map operations, strict MVar/TVar operations, and strict data
types.
do you mean
** Dundee Fellowships **
http://www.dundee.ac.uk/dundeefellows/
University of Dundee announces several permanent positions, with a
5-year starting period of a Research Fellowship.
One of the named priority areas is Computational Logic/ Functional
Programming /
Hi,
I want to use Haskell to program my robot using ros. I've found roshask
https://github.com/acowley/roshask
and I was wondering if someone on this list has experience with it and can
tell me how good it is.
Thanx!
--Tijn
___
Haskell-Cafe mailing
I know that it probably needs updating for Groovy. I don't think it
has many users, which makes it more challenging to keep things running
smoothly, but I'm willing to help any interested parties get it up and
running.
Anthony
On Fri, Jan 11, 2013 at 4:37 PM, Tijn van der Zant robot...@gmail.com
Hi Cafe,
I've recently released crypto-pubkey [1][2], which provide a comprehensive
solution for public key cryptography.
Most known RSA modes (PKCS15, OAEP, PSS) are supported, and there's also DSA
and ElGamal signature support. Most of the code originally lived in
cryptocipher,
but have now
On Wed, 09 Jan 2013 20:05:07 +0100, KC kc1...@gmail.com wrote:
:)
I can't download it either.
Regards,
Henk-Jan van Tuyl
--
http://Van.Tuyl.eu/
http://members.chello.nl/hjgtuyl/tourdemonad.html
Haskell programming
--
___
Haskell-Cafe mailing
Hi,
Am Freitag, den 11.01.2013, 23:55 +0100 schrieb Vincent Hanquez:
I've recently released crypto-pubkey [1][2], which provide a comprehensive
solution for public key cryptography.
Most known RSA modes (PKCS15, OAEP, PSS) are supported, and there's also DSA
and ElGamal signature support.
On 01/11/2013 11:34 PM, Joachim Breitner wrote:
nice. But in the interest of possible users: Is there a reason why this
code could not live in cryptocipher? Do we need multiple implementations
of the cyphers, and expect our users to find out for themselves why to
use one or the other?
The
26 matches
Mail list logo