mirror of
https://github.com/Haskell-Things/ImplicitCAD.git
synced 2024-09-19 08:57:33 +03:00
use Type to eliminate a warning.
This commit is contained in:
parent
2a159909db
commit
1f98d8c570
@ -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
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user