diff options
| author | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-07-15 23:34:29 -0400 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-08-02 10:54:17 -0400 |
| commit | a264b6b3e41dd42946110afcf5000341e5fb3a6d (patch) | |
| tree | 5897f544bfc39bc7f83b5ff68f29c5f191ab6d4d /haddock-api/src/Haddock | |
| parent | 612f44f9a582b1f7c8a9ba709651bce83692b60b (diff) | |
Update against new HsImplicitBndrs
Diffstat (limited to 'haddock-api/src/Haddock')
| -rw-r--r-- | haddock-api/src/Haddock/Convert.hs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/haddock-api/src/Haddock/Convert.hs b/haddock-api/src/Haddock/Convert.hs index 3d6aceec..044e1e11 100644 --- a/haddock-api/src/Haddock/Convert.hs +++ b/haddock-api/src/Haddock/Convert.hs @@ -119,8 +119,7 @@ synifyAxBranch tc (CoAxBranch { cab_tvs = tkvs, cab_lhs = args, cab_rhs = rhs }) annot_typats = zipWith3 annotHsType (mkIsPolyTvs fam_tvs) args_types_only typats hs_rhs = synifyType WithinType rhs - in HsIB { hsib_ext = HsIBRn { hsib_vars = map tyVarName tkvs - , hsib_closed = True } + in HsIB { hsib_ext = map tyVarName tkvs , hsib_body = FamEqn { feqn_ext = noExt , feqn_tycon = name , feqn_pats = annot_typats |