fnotation-0.2.0.0: test/Test/FNotation/Property/Lexing.hs

module Test.FNotation.Property.Lexing where

import Data.Vector qualified as V
import Diagnostician
import FNotation
import Test.FNotation.Common
import Test.FNotation.Property.Gen.Source
import Test.Tasty
import Test.Tasty.QuickCheck
import Prelude hiding (lex)

-- | A reporter that silently discards all diagnostics.
nullReporter :: Reporter LexerCode
nullReporter = Reporter{reportIO = \_ -> pure ()}

-- | Property: the lexer should not crash on any generated source text.
lexerProperties :: TestTree
lexerProperties =
  testGroup
    "Lexer properties"
    [ testProperty "lexer does not crash on arbitrary source" \(FNSource src) ->
        ioProperty do
          let f = newFile "<quickcheck>" src
          tokens <- lex lexConfig nullReporter f
          pure $ V.length tokens `seq` True
    ]