On Jan 10, 2008, at 19:16 , Maurí cio wrote:

>> Hi,
>>
>> Is it possible not to load Prelude (...)

>(...) NoImplicitPrelude is more aggressive
> than 'import Prelude()'. You will have to
> look elsewhere for a better explanation of
> the difference.

I tried google and ghc homepage, but could
not find “elsewhere” :) Can you give me a
link or somewhere to start from?

You'll find it in a careful reading of the Haskell98 Report: certain syntactical constructs are rewritten into calls to Prelude functions. Most notably: a bare untyped integral number is rewritten as (fromIntegral num) (so its type will be (Num a => a)), and [n..m] list generation syntax is rewritten into calls to enumFrom ([n..]), enumFromTo ([n..m]), enumFromThen ([n,o..]), enumFromThenTo ([n,o..m]).

(There are some such for which even -fno-implicit-prelude isn't enough; I think these are documented in the "bugs" section of the GHC manual.)

--
brandon s. allbery [solaris,freebsd,perl,pugs,haskell] [EMAIL PROTECTED]
system administrator [openafs,heimdal,too many hats] [EMAIL PROTECTED]
electrical and computer engineering, carnegie mellon university    KF8NH


_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to