[nhc-bugs] Type error type clash between Prelude.SR and Prelude.R

Ian Lynagh igloo@earth.li
Mon, 17 Sep 2001 15:39:42 +0100


On Mon, Sep 17, 2001 at 02:45:02PM +0100, Malcolm Wallace wrote:
> 
> > I can put the whole file somewhere if you need it.
> 
> Yes please.  I think this is probably an oversight in how we handle
> numeric literal patterns in the internal src-to-src transformation
> for tracing.

OK, you'll need http://c93.keble.ox.ac.uk/~ian/nhc/Tokens.lhs and
http://c93.keble.ox.ac.uk/~ian/nhc/Mangle.lhs

% nhc98 -T -c -o Tokens.T.o Tokens.lhs 
% nhc98 -T -c -o Mangle.T.o Mangle.lhs 
                                     
====================================
        Error after type deriving/checking:
Type error type clash between Prelude.SR and Prelude.R
when trying to apply function at 68:28 to its 1:st argument at 68:29.

Type error type clash between Prelude.SR and Prelude.R
when trying to apply function at 65:28 to its 1:st argument at 65:29.


Thanks
Ian