{-|
Module      : Tests for nominal package 
Description : Implementation of nominal techniques as a Haskell package, tests 
Copyright   : (c) Murdoch J. Gabbay, 2020
License     : GPL-3
Maintainer  : murdoch.gabbay@gmail.com
Stability   : experimental
Portability : POSIX

Nominal-flavoured implementation of data in a context of local names, designed following the ideas in <https://link.springer.com/article/10.1007/s001650200016 a new approach to abstract syntax with variable binding> (see also <http://www.gabbay.org.uk/papers.html#newaas-jv author's pdfs>).

Run tests by 

- typing @stack ghci AllTests@ from the command line in the directory containing @AllTests.hs@, then typing @quickcheck prop_name@ from the Haskell prompt, or 
- by typing @stack test@ from the command line (e.g. in the root directory of this package). 

-}

-- {-# LANGUAGE TemplateHaskell       #-}  -- needed for QuickCheck test generation
{-# OPTIONS_GHC -Wno-unused-imports #-}  -- suppress warnings of unused imports; intended here

module Language.Nominal.Properties.AllTests
    where

import Language.Nominal.Name
import Language.Nominal.Nom
import Language.Nominal.Sub
import Language.Nominal.Abs
import Language.Nominal.Examples.SystemF
import Language.Nominal.Properties.SpecUtilities
import Language.Nominal.Properties.NameSpec
import Language.Nominal.Properties.NomSpec
import Language.Nominal.Properties.AbsSpec
import Language.Nominal.Properties.Examples.SystemFSpec

import Test.QuickCheck

-- mjg to update

-- import Test.QuickCheck.All

{--------------------------
return []
runTests :: IO Bool
runTests = $quickCheckAll
-}