diff options
| author | Tom Smeding <t.j.smeding@uu.nl> | 2024-07-22 15:44:13 +0200 |
|---|---|---|
| committer | Tom Smeding <t.j.smeding@uu.nl> | 2024-07-22 15:44:13 +0200 |
| commit | 826f3b55be0e864b34e2b2b979b5a02239c44252 (patch) | |
| tree | 509f8e35416c42d1a0c5672cbf2473a0e7a55aed /src/Data/Dependent | |
| parent | 5b1781dff3b94f68f1597e5aa3a7fc0c062d3160 (diff) | |
Add PolyKinds
Diffstat (limited to 'src/Data/Dependent')
| -rw-r--r-- | src/Data/Dependent/EnumMap/Strict/Internal.hs | 1 |
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 #-} |