Ticket #7018 (closed feature request: invalid)

Opened 11 months ago

Last modified 11 months ago

Preprocess code before checking safety

Reported by: favonia Owned by:
Priority: normal Milestone:
Component: Compiler Version: 7.4.2
Keywords: Cc:
Operating System: Unknown/Multiple Architecture: Unknown/Multiple
Type of failure: GHC rejects valid program Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

Apparently GHC checks safety (as safe Haskell) before preprocessing. This is sometimes undesirable; for example:

#if __GLASGOW_HASKELL__ >= 702
import Foreign.Safe
#else
import Foreign
#endif

Not sure if preprocessing will break the design of safe Haskell, but if it won't I hope GHC can accept this code as safe.

Change History

Changed 11 months ago by favonia

  • status changed from new to closed
  • resolution set to invalid

I am sorry but I cannot reproduce this error anymore. Perhaps I messed up something before.

Note: See TracTickets for help on using tickets.