diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-18 17:31:28 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-09-18 17:31:28 +0100 |
| commit | 1b5c8337577eea64972856b0466a7fbc36683540 (patch) | |
| tree | 6902658f3db9b35f4c155b50393ed97a20fbd8a9 /compiler/stgSyn | |
| parent | 58470fb7b4a25c49b567e08740dc8df01a6c3710 (diff) | |
| download | haskell-1b5c8337577eea64972856b0466a7fbc36683540.tar.gz | |
Undo making Any into a type family, for now
Making Any a type family is the right thing to do, but it messes up
the proxy kind arguments in TypeLits and Singletons, so I'm backing it
out for now.
More thought required!
Diffstat (limited to 'compiler/stgSyn')
| -rw-r--r-- | compiler/stgSyn/CoreToStg.lhs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/stgSyn/CoreToStg.lhs b/compiler/stgSyn/CoreToStg.lhs index 6c315b36f0..678136d439 100644 --- a/compiler/stgSyn/CoreToStg.lhs +++ b/compiler/stgSyn/CoreToStg.lhs @@ -476,6 +476,7 @@ mkStgAltType bndr alts = case repType (idType bndr) of where _is_poly_alt_tycon tc = isFunTyCon tc + || isPrimTyCon tc -- "Any" is lifted but primitive || isFamilyTyCon tc -- Type family; e.g. Any, or arising from strict -- function application where argument has a -- type-family type |