diff options
| -rw-r--r-- | compiler/types/TyCon.hs | 3 | ||||
| -rwxr-xr-x | testsuite/tests/typecheck/should_run/all.T | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/compiler/types/TyCon.hs b/compiler/types/TyCon.hs index 628eabd171..55f64166c8 100644 --- a/compiler/types/TyCon.hs +++ b/compiler/types/TyCon.hs @@ -1365,7 +1365,8 @@ mkLiftedPrimTyCon :: Name -> [TyBinder] -> Kind -- ^ /result/ kind -> [Role] -> TyCon mkLiftedPrimTyCon name binders res_kind roles - = mkPrimTyCon' name binders res_kind roles False Nothing + = mkPrimTyCon' name binders res_kind roles False (Just rep_nm) + where rep_nm = mkPrelTyConRepName name mkPrimTyCon' :: Name -> [TyBinder] -> Kind -- ^ /result/ kind diff --git a/testsuite/tests/typecheck/should_run/all.T b/testsuite/tests/typecheck/should_run/all.T index 74d8f84bc8..c2b277d7d5 100755 --- a/testsuite/tests/typecheck/should_run/all.T +++ b/testsuite/tests/typecheck/should_run/all.T @@ -115,5 +115,5 @@ test('T11049', exit_code(1), compile_and_run, ['']) test('T11230', normal, compile_and_run, ['']) test('TypeOf', normal, compile_and_run, ['']) test('TypeRep', normal, compile_and_run, ['']) -test('T11120', expect_broken(12082), compile_and_run, ['']) +test('T11120', normal, compile_and_run, ['']) test('KindInvariant', normal, ghci_script, ['KindInvariant.script']) |