Re: type families and overlapping

2008-12-17 Thread Dan Doel
On Wednesday 17 December 2008 1:25:26 pm Jorge Marques Pelizzoni wrote: > Hi, > > While playing with type families in GHC 6.10.1, I guess I bumped into > the no-overlap restriction. As I couldn't find any examples on that, I > include the following (non-compiling) code so as to check with you if >

type families and overlapping

2008-12-17 Thread Jorge Marques Pelizzoni
Hi, While playing with type families in GHC 6.10.1, I guess I bumped into the no-overlap restriction. As I couldn't find any examples on that, I include the following (non-compiling) code so as to check with you if that's really the case: --- {-# OPTIONS -f

unique identifiers as a separate library

2008-12-17 Thread Sebastian Fischer
Hello, for a project I am using the libraries Unique, UniqSupply, and UniqFM from the package ghc. It seems odd to have a dependency on a whole compiler only in order to use its (highly efficient and, hence, preferred) implementation of unique identifiers. Would it be possible to put ever