Hello haskell friends!
The Videos and presentations of the talks given at HaL2 are now online:
http://iba-cg.de/haskell.html
Meeting HaL2, Leipzig Germany 10th of July
Talks: (first in english, remaining in german)
1 Johan Jeuring (Uni Uetrecht) talks about Generic Programming in
Haskell
2
Hi all
If I have this type:
data Foo a b = ...
and this class
class Bar (x :: * - *) where ...
I can imagine two ways to make Foo an instance of Bar. Either I must
apply the 'a' or the 'b' in (Foo a b). Otherwise it will not have the
right kind. To apply the 'a' I can do:
instance Bar
Now that I have a version of ghc with type classes, I have had a go
at implementing records based on the ideas I mentioned on this list a
few months ago. The code of my first attempt is available at http://
homepage.ntlworld.com/b.hilken/files/Records.hs
I am releasing this to get feedback.
Am Sonntag, 16. September 2007 14:22 schrieb klaus meier:
Hello haskell friends!
The Videos and presentations of the talks given at HaL2 are now online:
[…]
2 Wolfgang Jeltsch (TU Cottbus) talks about Grapefruit, a Haskell-
library for the declarative description of graphic user interfaces
On 9/16/07, Mads Lindstrøm [EMAIL PROTECTED] wrote:
Hi all
If I have this type:
data Foo a b = ...
and this class
class Bar (x :: * - *) where ...
I can imagine two ways to make Foo an instance of Bar. Either I must
apply the 'a' or the 'b' in (Foo a b). Otherwise it will not have
On 9/16/07, Mads Lindstrøm [EMAIL PROTECTED] wrote:
But what if I want to apply the 'b' ? How do I do that ?
The following uses type families (functions) and compiles under GHC HEAD:
{-# OPTIONS_GHC -XTypeFamilies -XEmptyDataDecls -XTypeSynonymInstances #-}
data Foo a b
class Bar (x :: * - *)
On 9/16/07, Bas van Dijk [EMAIL PROTECTED] wrote:
The following uses type families (functions) and compiles under GHC HEAD:
...
Oops this is not correct! Its getting late... oh well
Bas
___
Haskell mailing list
Haskell@haskell.org
On Sun, Sep 16, 2007 at 10:45:39PM +0200, Bas van Dijk wrote:
On 9/16/07, Mads Lindstrøm [EMAIL PROTECTED] wrote:
But what if I want to apply the 'b' ? How do I do that ?
The following uses type families (functions) and compiles under GHC HEAD:
{-# OPTIONS_GHC -XTypeFamilies
Norman Ramsey wrote:
:
| This code fails to compile because the compiler is willing to
| use 'fold' at only one type (CmmExpr as it happens)
:
When it failed to compile, was
fold = foldRegsUsed
a top-level declaration in the module, rather than local to foldRegsUsed?
If so, try
On Mon, Sep 17, 2007 at 04:15:10PM +1200, Tom Pledger wrote:
Norman Ramsey wrote:
:
| This code fails to compile because the compiler is willing to
| use 'fold' at only one type (CmmExpr as it happens)
:
When it failed to compile, was
fold = foldRegsUsed
a top-level declaration
Quoting Stefan O'Rear [EMAIL PROTECTED]:
On Mon, Sep 17, 2007 at 04:15:10PM +1200, Tom Pledger wrote:
Norman Ramsey wrote:
:
| This code fails to compile because the compiler is willing to
| use 'fold' at only one type (CmmExpr as it happens)
:
When it failed to compile, was
fold =
#1699: Fix network wrt abstract unix sockets
+---
Reporter: [EMAIL PROTECTED] | Owner:
Type: proposal | Status: new
Priority: normal |
#1690: setting libdir doesn't work with Unix binary dist
-+--
Reporter: simonmar |Owner: igloo
Type: bug | Status: new
Priority: high |Milestone: 6.8
#1483: vista: GHCi not loading 80% of the time
+---
Reporter: guest|Owner: simonmar
Type: bug | Status: reopened
Priority: high |Milestone: 6.8
Component: GHCi
#1700: GHC 6.8-20070913 (+extralibs) won't install after building
+---
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug| Status: new
Priority: normal
#1483: vista: GHCi not loading 80% of the time
+---
Reporter: guest|Owner: simonmar
Type: bug | Status: reopened
Priority: high |Milestone: 6.8
Component: GHCi
#1337: Fix wrong indentation from Text.PrettyPrint.HughesPJ fill (fcat and fsep)
--+-
Reporter: thorkilnaur|Owner: thorkilnaur
Type: bug| Status: new
Priority:
#1701: impossible happened
---+
Reporter: [EMAIL PROTECTED] | Owner:
Type: bug | Status: new
Priority: normal|
Hi,
I'm new to GHC and am having a problem compiling a simple test program. I
recently installed ghc 6.6.1 on my Windows Vista machine. I can ghci ok. For
instance, I defined the factorial function and tested it on a few values. So
the interpreter seems to work fine. As a next step I created
Wagner Ferenc [EMAIL PROTECTED] writes:
David Schonberger [EMAIL PROTECTED] writes:
'ghc -o hello hello.hs' and received the following error: hello.hs:1:0
lexical
error at character '\65279'.
See http://en.wikipedia.org/wiki/Byte_Order_Mark
Somehow you'll have to persuade you editor not
Another newbie question. To recap, running 6.6.1 on Vista. Fixed the other
problem--lexical error, apparently a BOM added by Notepad--by getting Xemacs.
Now when I type 'ghc -o hello hello.hs' at the prompt I get gcc: installation
problem, cannot exec 'as': no such file ro directory. Any idea
David Menendez wrote:
Joachim Breitner wrote:
today while mowing the lawn, I thought how to statically prevent some
problems with infinte lists. I was wondering if it is possible to
somehow mark a list as one of finite/infinite/unknown and to mark
list-processing functions as whether they can
On 9/16/07, Ryan Ingram [EMAIL PROTECTED] wrote:
Is there a way to make GHCi not print the result
of an action but still make my variables get bound?
This seems to be a common question (I myself asked it recently), so
I've added an entry to the GHCi page on the wiki.
Stefan O'Rear wrote:
packages is only for those libraries that are shipped with GHC.
It is? This is news to me. An obvious counter example seems to be
the collections package which has been put here. This is not shipped
with ghc and I'm not aware of any plans to do this. Perhaps if
this is the
I've always wondered if ghc(i) --help should be a bit more
instructive, or perhaps if there were a man page that lay somewhere
between the --help message and the manual in terms of
comprehensiveness. It's a pretty major jump from a short description
of 4 command line options (only one of which I
Hello,
Are there any Haskell Hackers on this mailing list who live in Israel?
I am interested in starting an Israel Haskell User Group.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
On 9/16/07, apfelmus [EMAIL PROTECTED] wrote:
But unfortunately, finiteness is a special property that the type system
cannot guarantee. The above type signature for cons doesn't work since
the following would type check
bad :: a - List Nonempty Finite a
bad x = let xs = cons x xs in
Haskell Folks,
I have an existing Parsec CharParser parser that I would like to extend to
include line continuation support.
When there's a backslash-newline combination anywhere in the token stream,
I'd like to remove it so it's not read by the rest of the parser, even if
its in the middle of a
On Sun, Sep 16, 2007 at 06:11:03PM +0200, B K wrote:
Hello,
Are there any Haskell Hackers on this mailing list who live in Israel?
I am interested in starting an Israel Haskell User Group.
I am here, although I probably do not really count for Haskell Hacker.
On Sat, Sep 15, 2007 at 08:27:02AM +0100, Adrian Hey wrote:
Perhaps what you really mean is, you long for a Data.Map.Strict that
carries the offically blessed status of being shipped with ghc (reminds
me of someone asking for a ghc approved SDL binding a while back :-).
Yes, that would be what
(Replying on haskell-cafe)
Let me start with a disclaimer: I haven't looked at your code
extensively. That said, the feeling that I get from it is one of
listening to a non-native speaker. The things in your program are
obviously not completely inaccurate, or they wouldn't have
type-checked. And,
There is AngloHaskell and now AmeroHaskell. Doesn't that call for
OzHaskell?
http://haskell.org/haskellwiki/OzHaskell
Manuel
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
32 matches
Mail list logo
