From 110348fd1c5fc6178682a6cd2a6eb442645b3649 Mon Sep 17 00:00:00 2001 From: Robert Vollmert Date: Tue, 17 May 2022 16:54:01 +0200 Subject: [PATCH] Data.Kind (fix warning) --- src/Data/GridShape.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/Data/GridShape.hs b/src/Data/GridShape.hs index b1467ed..f49a41d 100644 --- a/src/Data/GridShape.hs +++ b/src/Data/GridShape.hs @@ -42,6 +42,7 @@ where import Data.AffineSpace import qualified Data.Foldable as F +import Data.Kind (Type) import Data.List ( groupBy, partition, @@ -158,7 +159,7 @@ edge p q = unorient $ edge' p q class Dual2D a where - type Dual a :: * + type Dual a :: Type dualE' :: Edge' a -> Edge' (Dual a)