> | > I'd be interested in any progress here -- we noticed issues with
> | > optimisations in the stream fusion package across module boundaries
> | > that we never tracked down. If there's some key things not firing,
> | > that would be good to know.
> |
> | I suspect that if all modules are compi
Hi,
> Hello,
> data DecoratedFormula = DF{formula :: Formula,
> iformula :: IFormula}
>
> type FastClause = MH.Min US.Set DecoratedFormula
> FastClause.hs:71:25:
>`US.Set' is not applied to enough type arguments
>Expected kind `*', but `US.Set' has kind `* ->
Fortress (sun's possibly-not-vaporware hpc language) supports arbitrary
unicode chars in code, and has an escape syntax for commonly used things.
Similarly, proof-general/isabelle supports tex-style escapes for symbols &
greek. It seems to me that a pre-processor that turns human-friendly escape
On Tuesday 04 July 2006 13:20, Simon Peyton-Jones wrote:
> Lexically-scoped type variables are undergoing a slight upheaval in GHC 6.6
> that has not quite settled, and that is what you are running into.
Thanks for the help. After a lot of trial & error, and reading and stuff I've
got past the p
