projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
d2ca68e
)
Add OutsideIn flag
author
simonpj@microsoft.com
<unknown>
Wed, 28 Jul 2010 07:55:25 +0000
(07:55 +0000)
committer
simonpj@microsoft.com
<unknown>
Wed, 28 Jul 2010 07:55:25 +0000
(07:55 +0000)
compiler/main/DynFlags.hs
patch
|
blob
|
history
diff --git
a/compiler/main/DynFlags.hs
b/compiler/main/DynFlags.hs
index
1977566
..
01cc7af
100644
(file)
--- a/
compiler/main/DynFlags.hs
+++ b/
compiler/main/DynFlags.hs
@@
-314,7
+314,8
@@
data ExtensionFlag
| Opt_RecordPuns
| Opt_ViewPatterns
| Opt_GADTs
| Opt_RecordPuns
| Opt_ViewPatterns
| Opt_GADTs
- | Opt_RelaxedPolyRec
+ | Opt_OutsideIn
+ | Opt_RelaxedPolyRec -- Deprecated
| Opt_NPlusKPatterns
| Opt_DoAndIfThenElse
| Opt_NPlusKPatterns
| Opt_DoAndIfThenElse
@@
-1751,14
+1752,14
@@
impliedFlags
, (Opt_ExistentialQuantification, Opt_ExplicitForAll)
, (Opt_PolymorphicComponents, Opt_ExplicitForAll)
, (Opt_ExistentialQuantification, Opt_ExplicitForAll)
, (Opt_PolymorphicComponents, Opt_ExplicitForAll)
- , (Opt_GADTs, Opt_RelaxedPolyRec) -- We want type-sig variables to
+ , (Opt_GADTs, Opt_OutsideIn) -- We want type-sig variables to
-- be completely rigid for GADTs
-- be completely rigid for GADTs
- , (Opt_TypeFamilies, Opt_RelaxedPolyRec) -- Trac #2944 gives a nice example
+ , (Opt_TypeFamilies, Opt_OutsideIn) -- Trac #2944 gives a nice example
, (Opt_TypeFamilies, Opt_KindSignatures) -- Type families use kind signatures
-- all over the place
, (Opt_TypeFamilies, Opt_KindSignatures) -- Type families use kind signatures
-- all over the place
- , (Opt_ScopedTypeVariables, Opt_RelaxedPolyRec) -- Ditto for scoped type variables; see
+ , (Opt_ScopedTypeVariables, Opt_OutsideIn) -- Ditto for scoped type variables; see
-- Note [Scoped tyvars] in TcBinds
, (Opt_ImpredicativeTypes, Opt_RankNTypes)
-- Note [Scoped tyvars] in TcBinds
, (Opt_ImpredicativeTypes, Opt_RankNTypes)