Call for Participation
ISR 2012
6th International School on Rewriting
http://www.dsic.upv.es/~isr2012
July 16th - 20th, 2012
Universitat Politecnica de Valencia
Valencia,
KURE 2.0.0 is now available on Hackage. This is a substantial redesign
of the previous versions of KURE. Comments or feature requests are welcome.
About KURE
--
The Kansas University Rewrite Engine (KURE) is a DSL for strategic
rewriting. KURE shares concepts with Stratego, but
#6150: Nested instances
--+-
Reporter: exFalso | Owner:
Type: feature request | Status: new
Priority: normal|
#6128: ghc 7.4.1 does not work with LDAP-0.6.6
---+
Reporter: magicloud | Owner:
Type: bug | Status: infoneeded
Priority: normal
#6128: ghc 7.4.1 does not work with LDAP-0.6.6
---+
Reporter: magicloud | Owner:
Type: bug | Status: infoneeded
Priority: normal
#4148: improve new recursive do syntax
-+--
Reporter: guest | Owner:
Type: feature request | Status: new
Priority: low | Milestone:
#6150: Nested instances
---+
Reporter: exFalso | Owner:
Type: feature request | Status: closed
Priority: normal|
#6149: ghc-7.4.2 tests for profasm seg-fault under solaris
-+--
Reporter: maeder| Owner:
Type: bug | Status: new
Priority: normal| Milestone:
#6128: ghc 7.4.1 does not work with LDAP-0.6.6
---+
Reporter: magicloud | Owner:
Type: bug | Status: infoneeded
Priority: normal
#6147: GeneralizedNewtypeDeriving should fail with data families
-+--
Reporter: rl | Owner:
Type: bug | Status: new
#6151: typePrimRep: UbxTupleRep
-+--
Reporter: simonmar | Owner:
Type: bug | Status: new
Priority: highest | Milestone: 7.6.1
#6088: GeneralizedNewtypeDeriving + TypeFamilies + Equality constraints
-+--
Reporter: Lemming | Owner:
Type: feature request |
#6134: Incorrect ambiguity error with functional dependencies
-+--
Reporter: diatchki| Owner:
Type: bug | Status: closed
#4148: improve new recursive do syntax
-+--
Reporter: guest | Owner:
Type: feature request | Status: new
Priority: low | Milestone:
#6121: Very poor constant folding
-+--
Reporter: augustss | Owner: igloo
Type: bug | Status: new
Priority: high |
#6110: Data.Vector.Unboxed performance regression of 7.4.1 relative to 7.0.4
--+-
Reporter: mdgabriel | Owner:
Type: bug|
#6135: Unboxed Booleans
-+--
Reporter: benl | Owner:
Type: feature request | Status: new
Priority: normal| Milestone:
#4148: improve new recursive do syntax
-+--
Reporter: guest | Owner:
Type: feature request | Status: patch
Priority: low | Milestone:
#4148: improve new recursive do syntax
-+--
Reporter: guest | Owner:
Type: feature request | Status: patch
Priority: low | Milestone:
#6152: Type synonym for Type family + DataKinds won't recompile due to internal
error
---+
Reporter: konn | Owner:
Type: bug| Status: new
#6152: Type synonym for Type family + DataKinds won't recompile due to internal
error
-+--
Reporter: konn| Owner:
Type: bug |
#4148: improve new recursive do syntax
-+--
Reporter: guest | Owner:
Type: feature request | Status: patch
Priority: low | Milestone:
#5390: Hard-coded /Developer path in Mac ghc
-+--
Reporter: Ahruman | Owner: pumpkin
Type: bug | Status: new
Priority: low
#5390: Hard-coded /Developer path in Mac ghc
-+--
Reporter: Ahruman | Owner: pumpkin
Type: bug | Status: new
Priority: low
#5390: Hard-coded /Developer path in Mac ghc
-+--
Reporter: Ahruman | Owner: pumpkin
Type: bug | Status: new
Priority: low
#5390: Hard-coded /Developer path in Mac ghc
--+-
Reporter: Ahruman | Owner: pumpkin
Type: bug | Status: closed
Priority: low
#5704: Bug in the handling of wired-in packages (like template-haskell)
---+
Reporter: simonmar | Owner: simonmar
Type: bug | Status: closed
Priority:
#4148: improve new recursive do syntax
-+--
Reporter: guest | Owner:
Type: feature request | Status: patch
Priority: low | Milestone:
#6153: writeChan not properly protecting again async exceptions
--+-
Reporter: klao | Owner:
Type: bug | Status: new
Priority: normal
#6153: writeChan not properly protecting again async exceptions
--+-
Reporter: klao | Owner:
Type: bug | Status: new
Priority: normal
#4148: improve new recursive do syntax
-+--
Reporter: guest | Owner:
Type: feature request | Status: patch
Priority: low | Milestone:
#4148: improve new recursive do syntax
-+--
Reporter: guest | Owner:
Type: feature request | Status: patch
Priority: low | Milestone:
#3966: Warn about useless UNPACK pragmas
-+--
Reporter: tibbe | Owner:
Type: feature request | Status: new
Priority:
#6121: Very poor constant folding
--+-
Reporter: augustss | Owner: igloo
Type: bug | Status: closed
Priority: high |
#4148: improve new recursive do syntax
-+--
Reporter: guest | Owner:
Type: feature request | Status: patch
Priority: low | Milestone:
#4148: improve new recursive do syntax
-+--
Reporter: guest | Owner:
Type: feature request | Status: patch
Priority: low | Milestone:
#6154: ghc-7.4.2 rc1: ./configure fails on raspberry pi (archlinux) with error:
undefined reference to symbol 'sem_post@@GLIBC_2.4'
-+--
Reporter: paulkoer | Owner:
Type: bug
#6154: ghc-7.4.2 rc1: ./configure fails on raspberry pi (archlinux) with error:
undefined reference to symbol 'sem_post@@GLIBC_2.4'
--+-
Reporter: paulkoer | Owner:
Type: bug
#6154: ghc-7.4.2 rc1: ./configure fails on raspberry pi (archlinux) with error:
undefined reference to symbol 'sem_post@@GLIBC_2.4'
--+-
Reporter: paulkoer | Owner:
Type: bug
#6154: ghc-7.4.2 rc1: ./configure fails on raspberry pi (archlinux) with error:
undefined reference to symbol 'sem_post@@GLIBC_2.4'
--+-
Reporter: paulkoer | Owner:
Type: bug
#6128: ghc 7.4.1 does not work with LDAP-0.6.6
---+
Reporter: magicloud | Owner:
Type: bug | Status: infoneeded
Priority: normal
#5761: Getting stdout and stderr as a single handle from createProcess does not
work on Windows
--+-
Reporter: SimonHengel| Owner:
Type: bug|
ghc-pkg is warning about dangling references to missing documentation. Some
of the packages on my (JustHub) distro do this: the Haskell Platform dummy
package (as you report), and GLUT rather than zlib . AFAIK it is generally
harmless (apart from the confusion).
I would like to get rid of them
There is a little, ill-documented, sub-kind hierarchy in GHC. I'm trying hard
to get rid of it as much as possible, and it is much less important than it
used to be. It's always been there, and is nothing to do with polykinds.
I've extended the commentary a bit: see Types and Kinds here
Yes, I think using a singleton will solve your problem. It essentially
acts like Proxy but keeps the parallelism between types and terms.
Here would be the definitions:
data Nat = Z | S Nat
-- This is the singleton type
data SNat (n :: Nat) where
SZ :: SNat Z
SS :: forall (n :: Nat). SNat
On Thu, Jun 7, 2012 at 7:16 AM, AntC anthony_clay...@clear.net.nz wrote:
I'm confused about something with promoted Kinds (using an example with
Kind-
promoted Nats).
This is in GHC 7.4.1. (Apologies if this is a known bug/limitation/already
explained somewhere
Is there a way of
Thanks for your answers, Anthony and Erik.
I'll try with fundeps. I know about HList, but back at the time when I
looked at it I found quite complex.
Anthony, the link you gave me [1] tends to show that actually Bool type is
promoted.
type family Member x (l :: [*]) :: Bool
type instance Member
Yves Pare`s wrote:
So I'm trying to make a type level function to test if a type list contains
a type. Unless I'm wrong, that calls to the use of a type family.
More crucially, list membership also calls for an equality
predicate. Recall, List.elem has the Eq constraint; so the type-level
* Andrew Myers asm...@gmail.com [2012-06-07 20:39:50-0400]
I've written a small driver test program that just parses the CSV, finds
the minimum value for a couple of the Float fields, and exits. In the
process monitor the memory usage is 6.9G before the program exits. I've
tried profiling
Hi Yves,
The type level numbers have kind Nat, not Int (and so also can't be
negative). They have to be imported from GHC.TypeLits (I'm not sure if
this will change). So the following code works for me in HEAD:
{-# LANGUAGE TypeFamilies, DataKinds #-}
import GHC.TypeLits
type family Something
Do you have a 32bit or 64bit GHC build? That might have something to
do with it, if you're nearing 2^32 (or 2^31) bytes.
Erik
On Fri, Jun 8, 2012 at 2:25 AM, Shaun Jackman sjack...@gmail.com wrote:
Hi,
Data.ByteString.Char8.getContents fails for files 2GB on OS X. Is
there a fix for this?
Hello,
I would like to know if there is an Haskell XDR library, I didn't find one
on Hackage.
Regards,
--
ARJANEN Loïc Jean David
http://luigiscorner.wordpress.com
---
Computer science is no more about computers than astronomy is about
telescopes, biology is about microscopes, or chemistry is
Isn't it more likely to be due to the garbage collector's strategy (copying) ?
--Serge
On Fri, Jun 8, 2012 at 10:29 AM, Erik Hesselink hessel...@gmail.com wrote:
Do you have a 32bit or 64bit GHC build? That might have something to
do with it, if you're nearing 2^32 (or 2^31) bytes.
Erik
On
It's not on hackage because it's not really documented or maintained, but I
have one on github:
https://github.com/mokus0/xdr
If it's too badly bit-rotted or if there are any other problems feel free to
let me know or send pull requests. If it's something you'd like to see on
hackage I can
On Thu, Jun 07, 2012 at 07:32:45PM +0100, ex falso wrote:
we always have to put the class restriction (TupleLength l) there,
even though all possible type constructors of [*] have a TupleLength
instance defined!
Yes, and this is a feature, for at least two reasons.
First: to the extent that
Hi Erik, Serge,
I have a 64-bit build of GHC:
http://www.haskell.org/ghc/dist/7.4.1/ghc-7.4.1-x86_64-apple-darwin.tar.bz2
I think it's fundamentally an OS X issue. The system call read(2)
fails for reads 2 GB with EINVAL, even though I have a 64-bit OS X
kernel. GHC would need to hack around
Try http://hackage.haskell.org/package/bytestring-mmap ?
G
On Fri, Jun 8, 2012 at 8:23 PM, Shaun Jackman sjack...@gmail.com wrote:
Hi Erik, Serge,
I have a 64-bit build of GHC:
http://www.haskell.org/ghc/dist/7.4.1/ghc-7.4.1-x86_64-apple-darwin.tar.bz2
I think it's fundamentally an OS X
On 8 June 2012 01:39, Andrew Myers asm...@gmail.com wrote:
Hi Cafe,
I'm working on inspecting some data that I'm trying to represent as records
in Haskell and seeing about twice the memory footprint than I was
expecting.
That is to be expected in a garbage-collected language. If your
program
On Tue, Jun 05, 2012 at 06:22:48PM -0700, Bartosz Milewski wrote:
You might have seen a few post by me mentioning FP Complete and
asked yourself the question: Who is this guy and what is FP
Complete?
Hello Bartosz,
I have been reading your blog for half a year, when I started learning C++ for
Hi Andrew,
On Thu, Jun 7, 2012 at 5:39 PM, Andrew Myers asm...@gmail.com wrote:
Hi Cafe,
I'm working on inspecting some data that I'm trying to represent as records
in Haskell and seeing about twice the memory footprint than I was
expecting. I've got roughly 1.4 million records in a CSV file
Thanks for the responses everyone, I'll try them out and see what happens :)
Andrew
On Fri, Jun 8, 2012 at 4:40 PM, Johan Tibell johan.tib...@gmail.com wrote:
Hi Andrew,
On Thu, Jun 7, 2012 at 5:39 PM, Andrew Myers asm...@gmail.com wrote:
Hi Cafe,
I'm working on inspecting some data that
Hi,
I created a gist with a minimal (still 111 lines) module:
https://gist.github.com/2898128
I still get the errors:
WhatsWrong.hs:53:5:
Couldn't match type `s' with `PrimState (ST s)'
`s' is a rigid type variable bound by
a type expected by the context: ST s [Move] at
Seeking PhD students and postdocs interested in an elegant combination
of functional programming and big-iron style numeric computing.
Functional Programming and Automatic Differentiation
PhD Studentships
Postdoctoral Positions
We are
Hi all
After glancing through the haddock documentation and some googling, I
can't tell if there's a supported
way to link to a section heading in haddock documentation. Is there?
Thanks,
Ed
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
64 matches
Mail list logo
