fnotation-0.2.0.0: test/Main.hs

module Main where

import Test.FNotation.Golden (goldenTests)
import Test.FNotation.Property.Lexing (lexerProperties)
import Test.FNotation.Property.Parsing (parserProperties)
import Test.Tasty

main :: IO ()
main = do
  golden <- goldenTests
  defaultMain $
    testGroup
      "FNotation"
      [ golden
      , testGroup
          "Property Tests"
          [ lexerProperties
          , parserProperties
          ]
      ]