diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-06-23 16:26:29 -0400 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-06-25 09:33:56 -0400 |
| commit | 5fdb854cbad734ed8113ea23485d834156b49df1 (patch) | |
| tree | a4bf6b4e3cd55f92bdb99571d82b047df4a4ba3a /compiler/iface/TcIface.hs | |
| parent | a33b498d5f648a576dac6d219115866f05721196 (diff) | |
| download | haskell-5fdb854cbad734ed8113ea23485d834156b49df1.tar.gz | |
s/Invisible/Inferred/g s/Visible/Required/g
This renames VisibilityFlag from
> data VisibilityFlag = Visible | Specified | Invisible
to
> data ArgFlag = Required | Specified | Inferred
The old name was quite confusing, because both Specified
and Invisible were invisible! The new names are hopefully clearer.
Diffstat (limited to 'compiler/iface/TcIface.hs')
| -rw-r--r-- | compiler/iface/TcIface.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/iface/TcIface.hs b/compiler/iface/TcIface.hs index 2d592bc0db..d0ddd55197 100644 --- a/compiler/iface/TcIface.hs +++ b/compiler/iface/TcIface.hs @@ -521,7 +521,7 @@ tc_ax_branch prev_branches , ifaxbLHS = lhs, ifaxbRHS = rhs , ifaxbRoles = roles, ifaxbIncomps = incomps }) = bindIfaceTyConBinders_AT - (map (\b -> TvBndr b (NamedTCB Invisible)) tv_bndrs) $ \ tvs -> + (map (\b -> TvBndr b (NamedTCB Inferred)) tv_bndrs) $ \ tvs -> -- The _AT variant is needed here; see Note [CoAxBranch type variables] in CoAxiom bindIfaceIds cv_bndrs $ \ cvs -> do { tc_lhs <- tcIfaceTcArgs lhs @@ -1448,7 +1448,7 @@ bindIfaceForAllBndrs (bndr:bndrs) thing_inside bindIfaceForAllBndrs bndrs $ \bndrs' -> thing_inside (mkTyVarBinder vis tv : bndrs') -bindIfaceForAllBndr :: IfaceForAllBndr -> (TyVar -> VisibilityFlag -> IfL a) -> IfL a +bindIfaceForAllBndr :: IfaceForAllBndr -> (TyVar -> ArgFlag -> IfL a) -> IfL a bindIfaceForAllBndr (TvBndr tv vis) thing_inside = bindIfaceTyVar tv $ \tv' -> thing_inside tv' vis |