The issue reported by Praki looks like a GHC bug to me.
The smallest test case is at the end. (VarType a) is a GADT and
Variant wraps the VarType with a value of type a. The definitions of
Variant and VarType require ExistentialQuantification and GADTs
extensions and I have declared them. The prob
Hello.
I plan to give a course in compiler construction,
using Haskell as the implementation language
(not as source or target language).
Something along these lines:
1. combinator parsers (Parsec),
2. simple interpreter (arithmetical expressions)
3. add algebraic data types, functions
4. type ch
Dear Haskellers,
We would like to draw your attention to the following. At the DEFUN
event (in conjunction with ICFP in Victoria in September), there will
be a half day tutorial titled:
Using QuickCheck and HPC - Obtaining Quality Assurance for Haskell
Code
The tutorial will be given by And
Hello,
Lava2000 has been uploaded to Hackage:
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/chalmers-lava2000
Lava is a structural hardware description library embedded in Haskell. This
version of Lava focuses on verification, and connects to a number of different
verification en
Fat Chance. My resume has been knocking on their email mail box since last
weekend. Apparently the mail box is already stuffed full with applications
from eager Haskellers. Thousands of Haskellers chasing one job!
Why don't some of you geniuses start businesses to employ some of this eager
t
On Wed, Aug 20, 2008 at 6:14 PM, Bert Mayo <[EMAIL PROTECTED]> wrote:
> Fat Chance. My resume has been knocking on their email mail box since last
> weekend. Apparently the mail box is already stuffed full with applications
> from eager Haskellers. Thousands of Haskellers chasing one job!
>
>
---
Haskell Weekly News
http://sequence.complete.org/hwn/20080820
Issue 82 - August 20, 2008
---
Welcome to issue 82 of HWN, a newsletter covering
I plan to give a course in compiler construction,
using Haskell as the implementation language
(not as source or target language).
This might be of interest:
http://www.cs.nott.ac.uk/~nhn/G52CMP/index.html
Something along these lines:
1. combinator parsers (Parsec),
2. simple interpreter (arit
What is your company going to do?
--
_jsn
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
Let's make World of Warcraft!
--
_jsn
___
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
On Wed, 20 Aug 2008 20:12:00 +0200, "Johan Tibell"
<[EMAIL PROTECTED]> wrote:
>On Wed, Aug 20, 2008 at 6:14 PM, Bert Mayo <[EMAIL PROTECTED]> wrote:
>> Fat Chance. My resume has been knocking on their email mail box since last
>> weekend. Apparently the mail box is already stuffed full with app
11 matches
Mail list logo