diff options
| author | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2023-03-21 00:15:21 +0100 |
|---|---|---|
| committer | Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io> | 2023-03-21 00:15:49 +0100 |
| commit | 5b56138e3c8f98cd3352e696e39fa78db71d8413 (patch) | |
| tree | 187d9bdbd16d58ab96f40c24610928f0d53a5640 /compiler/GHC/Tc/Utils/Concrete.hs-boot | |
| parent | ee17001e54c3c6adccc5e3b67b629655c14da43a (diff) | |
| download | haskell-wip/repr-check.tar.gz | |
Add a missing representation polymorphism checkwip/repr-check
Diffstat (limited to 'compiler/GHC/Tc/Utils/Concrete.hs-boot')
| -rw-r--r-- | compiler/GHC/Tc/Utils/Concrete.hs-boot | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/compiler/GHC/Tc/Utils/Concrete.hs-boot b/compiler/GHC/Tc/Utils/Concrete.hs-boot new file mode 100644 index 0000000000..be8a2f63f6 --- /dev/null +++ b/compiler/GHC/Tc/Utils/Concrete.hs-boot @@ -0,0 +1,11 @@ +module GHC.Tc.Utils.Concrete where + +import GHC.Utils.Misc ( HasDebugCallStack ) +import GHC.Tc.Types ( TcM ) +import GHC.Tc.Types.Origin ( FixedRuntimeRepContext ) +import GHC.Tc.Utils.TcType ( TcType ) + +hasFixedRuntimeRep_syntactic :: HasDebugCallStack + => FixedRuntimeRepContext + -> TcType + -> TcM () |