Problems with Template Haskell

2003-12-05 Thread George Russell
Template Haskell seems to be type-checking some quasi-quotes, even when they are not going to be used. This is of course a terrible nuisance, since it means it can't be used to work around interface incompatibilities between libraries for different versions of GHC (such as the recent change in

Re: Problems with Template Haskell

2003-12-05 Thread George Russell
Simon Peyton-Jones wrote (snipped): Still, in your cpp-like application, I guess your story is that the condition might evaluate to True only if the system configuration was such that bar was in scope. If the condition evaluates to False, then bar really might not be available. OK, in TH

internal error: evacuate: strange closure type 33544

2003-12-05 Thread Hal Daume III
Hi guys, I have no idea what this is: 8:45am dixiechicks:DUC04/ ../SVMseq/SVMseqLearn -m 1800 --string-maxn=3 -h 0 data.dis.svm data.dis.model-linear Reading training examples.13612 examples read (highest feature=13) Initializing...SVMseqLearn: internal error: evacuate: strange

Re: internal error: evacuate: strange closure type 33544

2003-12-05 Thread Hal Daume III
I recompiled after a minor change (which is in code that hasn't been reached at the point this error occurs) and am now getting: 9:39am dixiechicks:DUC04/ ../SVMseq/SVMseqLearn -m 1800 --string-maxn=3 -h 0 data.dis.svm data.dis.model-linear Reading training examples.Segmentation fault (core

pattern-matching extension?

2003-12-05 Thread Abraham Egnor
I've occasionally wanted some sort of equivalent of an instanceOf function in haskell, i.e. one that would let me define a function that could dispatch on the type of its argument as well as the value. One option I've seen for this is http://okmij.org/ftp/Haskell/class-based-dispatch.lhs;, but

Re: show function

2003-12-05 Thread jason feingold
see the GHC library Text.Show.Functions for some insight.rui yang [EMAIL PROTECTED] wrote: I want to print a function which itself have some functions as it's parameters and will return some functions as the results, and I want to print out the result, does anyone knows how to define the instance

Mathematics of Program Construction

2003-12-05 Thread Jeremy . Gibbons
[We apologize if you receive multiple copies of this announcement.] MPC 2004 7th International Conference on MATHEMATICS OF PROGRAM CONSTRUCTION ---

FOAL 2004 -- deadline 19.01.2004

2003-12-05 Thread Ralf Laemmel
(* This field has meanwhile seen a number of contributions from the functional programming community. So it is fair to assume that the present announcement is of interest for some subscribers of this list. *) FOAL: Foundations of Aspect-Oriented Languages A one day workshop affiliated

FOAL 2004 -- deadline 19.01.2004

2003-12-05 Thread Ralf Laemmel
(* This field has meanwhile seen a number of contributions from the functional programming community. So it is fair to assume that the present announcement is of interest for some subscribers of this list. *) FOAL: Foundations of Aspect-Oriented Languages A one day workshop

CFP --- FOAL 2004: Foundations of Aspect-Oriented Languages

2003-12-05 Thread Ralf Laemmel
(* This field has meanwhile seen a number of contributions from the functional programming community. So it is fair to assume that the present announcement is of interest for subscribers of this list. *) FOAL: Foundations of Aspect-Oriented Languages A one day workshop affiliated with

incompatible signatur syntax within instance definition

2003-12-05 Thread Christian Maeder
Hi, if I try to supply a signatur for the local function showsl below, then ghc rejects a constraint (Show a) whereas hugs (and nhc98) needs this constraint. What should be the correct notation? (apart from omitting any signature) Cheers Christian (BTW, I would appreciate if the

Re: incompatible signatur syntax within instance definition

2003-12-05 Thread Christian Maeder
I've just noticed that I used ghc with -fglasgow-exts. Without extensions hugs, ghc und nhc98 consistently need the constraint in the type signature (below) showsl :: Show a = List a - ShowS Switching the extensions on, breaks this code, however (ghc only). Christian I wrote: Hi, if I try

Re: pattern-matching extension?

2003-12-05 Thread Derek Elkins
On Wed, 03 Dec 2003 15:10:07 -0500 Abraham Egnor [EMAIL PROTECTED] wrote: I've occasionally wanted some sort of equivalent of an instanceOf function in haskell, i.e. one that would let me define a function that could dispatch on the type of its argument as well as the value. One option I've

Infinite types

2003-12-05 Thread Jeffrey A. Scofield
Greetings. Say I have the following function, adapted from Pierce, Types and Programming languages: f n () = (n, f (n + 1)) Now, this function fails to typecheck in ghc 6.0.1 because the subexpression f (n + 1) has the infinite type t = () - (t1, t) And so I assume (perhaps wrongly?) that f

Preventing/handling space leaks

2003-12-05 Thread Henk-Jan.van.Tuyl
L.S., Does anyone know about documentation (preferably on the Web) on how to prevent/find/remove space leaks? Are there any differences between Hugs and GHC or any other Haskell platform, regarding space leaks? I read some discussions about why not everybody uses Haskell; it looks to me, that