diff options
| author | Matthew Pickering <matthewtpickering@gmail.com> | 2021-12-15 22:22:36 +0000 |
|---|---|---|
| committer | Matthew Pickering <matthewtpickering@gmail.com> | 2021-12-15 22:22:36 +0000 |
| commit | 933992b6347d7c0cf106fbb7453949372544879f (patch) | |
| tree | 01cd7fd153269820b970097eb0a31d2a884e06be | |
| parent | b79ff54b6650f2c0ac50444f70d572e672a1f734 (diff) | |
| download | haskell-wip/test-disable-corelint.tar.gz | |
Core lint take 2wip/test-disable-corelint
| -rw-r--r-- | compiler/GHC/Driver/Session.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/GHC/Driver/Session.hs b/compiler/GHC/Driver/Session.hs index 33b27c2f9f..b56b02e067 100644 --- a/compiler/GHC/Driver/Session.hs +++ b/compiler/GHC/Driver/Session.hs @@ -2534,7 +2534,7 @@ dynamic_flags_deps = [ , make_ord_flag defGhcFlag "ddump-rtti" (setDumpFlag Opt_D_dump_rtti) , make_ord_flag defGhcFlag "dcore-lint" - (NoArg (setGeneralFlag Opt_DoCoreLinting)) + (NoArg (return ())) , make_ord_flag defGhcFlag "dlinear-core-lint" (NoArg (setGeneralFlag Opt_DoLinearCoreLinting)) , make_ord_flag defGhcFlag "dstg-lint" |