summaryrefslogtreecommitdiff
path: root/src/Data/Dependent
diff options
context:
space:
mode:
authorTom Smeding <t.j.smeding@uu.nl>2024-07-22 15:44:13 +0200
committerTom Smeding <t.j.smeding@uu.nl>2024-07-22 15:44:13 +0200
commit826f3b55be0e864b34e2b2b979b5a02239c44252 (patch)
tree509f8e35416c42d1a0c5672cbf2473a0e7a55aed /src/Data/Dependent
parent5b1781dff3b94f68f1597e5aa3a7fc0c062d3160 (diff)
Add PolyKinds
Diffstat (limited to 'src/Data/Dependent')
-rw-r--r--src/Data/Dependent/EnumMap/Strict/Internal.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Data/Dependent/EnumMap/Strict/Internal.hs b/src/Data/Dependent/EnumMap/Strict/Internal.hs
index 7c94f89..17de2fd 100644
--- a/src/Data/Dependent/EnumMap/Strict/Internal.hs
+++ b/src/Data/Dependent/EnumMap/Strict/Internal.hs
@@ -1,4 +1,5 @@
{-# LANGUAGE ExistentialQuantification #-}
+{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeFamilies #-}