testsuite/tests/partial-sigs/should_compile/SkipMany.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE PartialTypeSignatures #-}
module SkipMany where

data GenParser tok st a = GenParser tok st a

skipMany' :: GenParser tok st a -> GenParser tok st ()
skipMany' = undefined

skipMany :: _ -> _ ()
skipMany = skipMany'