diff options
| author | David Terei <davidterei@gmail.com> | 2011-04-25 13:05:47 -0700 |
|---|---|---|
| committer | David Terei <davidterei@gmail.com> | 2011-06-17 18:39:23 -0700 |
| commit | 45c64c1da96dc26ebc89b080dc12cfcc52a4cd68 (patch) | |
| tree | 8c22db8a74da733b44d9ad9d8d7a7a6637726016 /compiler/main/GhcMake.hs | |
| parent | 94434054df5633fc7aef9aad37aa26c8b2e011cd (diff) | |
| download | haskell-45c64c1da96dc26ebc89b080dc12cfcc52a4cd68.tar.gz | |
SafeHaskell: Disable certain ghc extensions in Safe.
This patch disables the use of some GHC extensions in
Safe mode and also the use of certain flags. Some
are disabled completely while others are only allowed
on the command line and not in source PRAGMAS.
We also check that Safe imports are indeed importing
a Safe or Trustworthy module.
Diffstat (limited to 'compiler/main/GhcMake.hs')
| -rw-r--r-- | compiler/main/GhcMake.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/main/GhcMake.hs b/compiler/main/GhcMake.hs index 5df0e13e87..8ccf0a5a81 100644 --- a/compiler/main/GhcMake.hs +++ b/compiler/main/GhcMake.hs @@ -1408,7 +1408,7 @@ preprocessFile hsc_env src_fn mb_phase (Just (buf, _time)) let local_opts = getOptions dflags buf src_fn (dflags', leftovers, warns) - <- parseDynamicNoPackageFlags dflags local_opts + <- parseDynamicFilePragma dflags local_opts checkProcessArgsResult leftovers handleFlagWarnings dflags' warns |