summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils/Concrete.hs-boot
diff options
context:
space:
mode:
Diffstat (limited to 'compiler/GHC/Tc/Utils/Concrete.hs-boot')
-rw-r--r--compiler/GHC/Tc/Utils/Concrete.hs-boot11
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 ()