DefaultSignatures and MultiParamTypeClasses

2012-01-15 Thread Reiner Pope
Hi all, I just tried, and it appears that the new DefaultSignatures extension doesn't work with multi parameter type classes. For example, when I compile this file: {-# LANGUAGE DefaultSignatures, MultiParamTypeClasses #-} module Test where class C a b where conv :: a - b default

Re: [reiner.p...@gmail.com: [Haskell-cafe] SpecConstr difficulties]

2009-07-28 Thread Reiner Pope
: [Haskell-cafe] SpecConstr difficulties] | | Something for SimonPJ | | - Forwarded message from Reiner Pope reiner.p...@gmail.com - | | Date: Mon, 20 Jul 2009 22:09:09 +0930 | From: Reiner Pope reiner.p...@gmail.com | To: Haskell Cafe mailing list haskell-c...@haskell.org | Subject

Re: problem with echo prompting in ghci (visible in emacs)

2008-11-11 Thread Reiner Pope
2008/11/12 Andrea Vezzosi [EMAIL PROTECTED]: I get the same behaviour, and when I open ghci in xterm and press Ctrl-D it also echoes ^D before quitting, which is similar to the problem with haskell-mode which seems to don't like the echoing of ^J from ghci when one uses commands like C-u C-c

Re: ANNOUNCE: GHC version 6.10.1 - EditLine / terminal incompatibility?

2008-11-08 Thread Reiner Pope
On Sun, Nov 9, 2008 at 12:53 PM, Ian Lynagh [EMAIL PROTECTED] wrote: On Sun, Nov 09, 2008 at 01:49:43AM +, Ian Lynagh wrote: On Sat, Nov 08, 2008 at 12:33:57PM -0800, Judah Jacobson wrote: bind \e[3~ ed-delete-next-char It's a shame this doesn't just work out of the box in an xterm, on