[Hat] Bug in hat-trans?

[Magnus Carlsson]

Hello Hatters,

I have a problem with the following program:

  module Bug where f = \ ~(a,b) -> 1

This is what I get:

  $ hmake -hat -nhc98 Bug.hs
  hat-trans  Bug.hs
  Wrote TBug.hs
  nhc98    -c -package hat -o TBug.o TBug.hs
  ======  Errors after type inference/checking:
  Type error type clash between Hat.R and Prelude.->
  when trying to apply function at 13:7 to its 4th argument at 14:10.

This is with Hat 2.00.

Cheers,
/M