diff options
| author | ningning <xnningxie@gmail.com> | 2018-09-14 11:33:35 -0400 |
|---|---|---|
| committer | Richard Eisenberg <rae@cs.brynmawr.edu> | 2018-09-15 15:40:18 -0400 |
| commit | b5372b7d86e3058b419076641dd3048258c4ddf2 (patch) | |
| tree | 7bb0bd588b109a6de98f5d4c6d8ba53d528179bd /haddock-api | |
| parent | b66a830b5b1c0166d17f695e7405058650d57ed0 (diff) | |
update dataFullSig to work with Co Quantification
This should have been in the previous patch, but wasn't.
Diffstat (limited to 'haddock-api')
| -rw-r--r-- | haddock-api/src/Haddock/Convert.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/haddock-api/src/Haddock/Convert.hs b/haddock-api/src/Haddock/Convert.hs index af94d806..f8c26175 100644 --- a/haddock-api/src/Haddock/Convert.hs +++ b/haddock-api/src/Haddock/Convert.hs @@ -307,7 +307,7 @@ synifyDataCon use_gadt_syntax dc = use_named_field_syntax = not (null field_tys) name = synifyName dc -- con_qvars means a different thing depending on gadt-syntax - (univ_tvs, ex_tvs, _dep_spec, _eq_spec, theta, arg_tys, res_ty) = dataConFullSig dc + (univ_tvs, ex_tvs, _eq_spec, theta, arg_tys, res_ty) = dataConFullSig dc -- skip any EqTheta, use 'orig'inal syntax ctx = synifyCtx theta |