{-# LANGUAGE TemplateHaskell, UnboxedTuples, ScopedTypeVariables, TypeApplications #-}
module Main where
import Test.Tasty
import Test.Tasty.HUnit
import TestUtils
import qualified Regression.Parsers as Parsers

import Parsley (parse)
import Parsley.InputExtras (CharList(..))

main :: IO ()
main = defaultMain tests

tests :: TestTree
tests = testGroup "Regression Tests" [ issue26 ]

issue26 :: TestTree
issue26 = testGroup "#26 Coin draining on bindings is wrong"
  [ testCase "" $ issue26_ex1 (CharList "123ab") @?= Nothing
  , testCase "" $ issue26_ex2 (CharList "123ab") @?= Nothing
  ]

issue26_ex1 :: CharList -> Maybe ()
issue26_ex1 = $$(Parsley.parse Parsers.issue26_ex1)

issue26_ex2 :: CharList -> Maybe ()
issue26_ex2 = $$(Parsley.parse Parsers.issue26_ex2)