cvs commit: fptools/ghc/compiler/typecheck TcSimplify.lhs

Simon Peyton-Jones simonpj@microsoft.com
Wed, 14 Mar 2001 07:29:12 -0800


OK, this works now.  Thanks for isolating it.

S

| -----Original Message-----
| From: Marcin 'Qrczak' Kowalczyk [mailto:qrczak@knm.org.pl]
| Sent: 12 March 2001 17:26
| To: Simon Peyton-Jones
| Subject: Re: cvs commit: fptools/ghc/compiler/typecheck TcSimplify.lhs
| 
| 
| On Mon, Mar 12, 2001 at 09:11:54AM -0800, Simon Peyton-Jones wrote:
| 
| > Is this still a problem?
| 
| Yes.
| 
| > If so, can you just re-state it with an example?
| 
| PrelWord currently contains:
| 
| #if WORD_SIZE_IN_BYTES == 4
| {-# RULES "wordToWord32#" forall x#. wordToWord32# x# = x# #-}
| #endif
| 
| But the module:
| 
| module Test where
| import Word
| f :: Word32 -> Word32
| f = fromIntegral
| 
| does call wordToWord32#.
| 
| -- 
|  __("<  Marcin Kowalczyk * qrczak@knm.org.pl http://qrczak.ids.net.pl/
|  \__/
|   ^^                      SYGNATURA ZASTEPCZA
| QRCZAK
|