diff options
| author | Richard Eisenberg <eir@cis.upenn.edu> | 2016-02-17 16:22:22 -0500 |
|---|---|---|
| committer | Richard Eisenberg <eir@cis.upenn.edu> | 2016-02-17 16:22:22 -0500 |
| commit | 0c420cb6fdf25a6779785e18d88c9ca9d3695af1 (patch) | |
| tree | 34855bb332f725801f31783de37677f6d777d126 | |
| parent | 525b54c469941c636fd45591e5f382cb3b44756c (diff) | |
| download | haskell-0c420cb6fdf25a6779785e18d88c9ca9d3695af1.tar.gz | |
Comments only (#11513)
| -rw-r--r-- | compiler/basicTypes/DataCon.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/basicTypes/DataCon.hs b/compiler/basicTypes/DataCon.hs index fd25c792e1..8552205483 100644 --- a/compiler/basicTypes/DataCon.hs +++ b/compiler/basicTypes/DataCon.hs @@ -768,6 +768,8 @@ mkDataCon name declared_infix prom_info tag = assoc "mkDataCon" (tyConDataCons rep_tycon `zip` [fIRST_TAG..]) con rep_arg_tys = dataConRepArgTys con + -- NB: This type is user-facing for datatypes that don't need wrappers; + -- so it's important to use mkSpecForAllTys rep_ty = mkSpecForAllTys univ_tvs $ mkSpecForAllTys ex_tvs $ mkFunTys rep_arg_tys $ mkTyConApp rep_tycon (mkTyVarTys univ_tvs) |