Differential D2240

Give lifted primitive types a representation
ClosedPublic
Actions

Authored by bgamari on May 18 2016, 2:32 PM.

Details

Reviewers
austin
Commits
rGHCa88bb1b15183: Give lifted primitive types a representation
rGHC2c5a5fc14300: Give lifted primitive types a representation
rGHCDIFFa88bb1b15183: Give lifted primitive types a representation
Trac Issues
#12082
Summary

As of D1774 everything in GHC.Prim has a representation generated for it
by TcTypeable (see Trac #11120). Unfortunately I evidently missed propagating
this change to lifted primitive types. This patch fixes this (Trac #12082).

Test Plan

Validate

Diff Detail

Repository
rGHC Glasgow Haskell Compiler
Lint
Automatic diff as part of commit; lint not applicable.
Unit
Automatic diff as part of commit; unit tests not applicable.
bgamari updated this revision to Diff 7640.May 18 2016, 2:32 PM
bgamari retitled this revision from to Give lifted primitive types a representation.
bgamari updated this object.
bgamari edited the test plan for this revision. (Show Details)
bgamari updated the Trac tickets for this revision.
bgamari updated this revision to Diff 7641.May 18 2016, 2:35 PM
bgamari edited edge metadata.

Fix long line

Closed by commit rGHCa88bb1b15183: Give lifted primitive types a representation (authored by bgamari). · Explain WhyMay 19 2016, 2:35 PM
This revision was automatically updated to reflect the committed changes.

Revision Contents
Changeset List

Diff 7662

View Options

compiler/types/TyCon.hs

Loading...
View Options

testsuite/tests/typecheck/should_run/all.T

Loading...