From 1f98d8c570bee5f78293df1ea59ce948e9dd2549 Mon Sep 17 00:00:00 2001 From: Julia Longtin Date: Tue, 7 May 2019 05:13:03 +0100 Subject: [PATCH] use Type to eliminate a warning. --- Graphics/Implicit/ExtOpenScad/Parser/Statement.hs | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/Graphics/Implicit/ExtOpenScad/Parser/Statement.hs b/Graphics/Implicit/ExtOpenScad/Parser/Statement.hs index 9141dd0..3b17603 100644 --- a/Graphics/Implicit/ExtOpenScad/Parser/Statement.hs +++ b/Graphics/Implicit/ExtOpenScad/Parser/Statement.hs @@ -17,6 +17,8 @@ import Data.Maybe(Maybe(Just, Nothing)) import Data.Functor.Identity(Identity) +import Data.Kind (Type) + -- We use parsec to parse. import Text.ParserCombinators.Parsec (try, sepBy, sourceLine, sourceColumn, GenParser, oneOf, space, char, getPosition, parse, many1, eof, string, ParseError, many, noneOf, Line, Column, (<|>), ()) import Text.Parsec.Prim (ParsecT) @@ -256,12 +258,12 @@ moduleArgsUnitDecl = do return argTemplate -- | Find the line number. Used when generating errors. -lineNumber :: forall s u (m :: * -> *). +lineNumber :: forall s u (m :: Type -> Type). Monad m => ParsecT s u m Line lineNumber = fmap sourceLine getPosition -- | Find the column number. Used when generating errors. -columnNumber :: forall s u (m :: * -> *). +columnNumber :: forall s u (m :: Type -> Type). Monad m => ParsecT s u m Column columnNumber = fmap sourceColumn getPosition