summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Types/Origin.hs-boot
blob: 1110cc0967e79f67a42664ded8af2cff93835247 (plain)
1
2
3
4
5
6
7
8
module GHC.Tc.Types.Origin where

import GHC.Stack ( HasCallStack )

data SkolemInfoAnon
data SkolemInfo

unkSkol :: HasCallStack => SkolemInfo