diff options
| author | Richard Eisenberg <rae@richarde.dev> | 2022-03-30 21:37:56 +0000 |
|---|---|---|
| committer | Richard Eisenberg <rae@richarde.dev> | 2022-03-30 21:37:56 +0000 |
| commit | 6b282ba2c704d23e0f0224b98816342bc8a6e90d (patch) | |
| tree | e1e57813df8be876f1c2ee7666980afebab684c7 /compiler/GHC/Core/TyCo/Rep.hs-boot | |
| parent | 9619ffba9ca9f001f64a67fde2f26b1a69c5b9f4 (diff) | |
| download | haskell-wip/zapzapzap.tar.gz | |
Zonk coercion holes correctly; a few other fixes.wip/zapzapzap
Non-perf tests pass. Now let's see the real results!
Diffstat (limited to 'compiler/GHC/Core/TyCo/Rep.hs-boot')
| -rw-r--r-- | compiler/GHC/Core/TyCo/Rep.hs-boot | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/GHC/Core/TyCo/Rep.hs-boot b/compiler/GHC/Core/TyCo/Rep.hs-boot index f2e59d534f..89138ebf3a 100644 --- a/compiler/GHC/Core/TyCo/Rep.hs-boot +++ b/compiler/GHC/Core/TyCo/Rep.hs-boot @@ -8,6 +8,7 @@ import {-# SOURCE #-} GHC.Core.TyCon ( TyCon ) data Type data Coercion +data FreeCoVarsHoles data UnivCoProvenance data TyLit data TyCoBinder |