hydra-0.15.0: src/test/haskell/Hydra/Test/Checking/Failures.hs

-- Note: this is an automatically generated file. Do not edit.
-- | Type checking failure test cases

module Hydra.Test.Checking.Failures where
import qualified Hydra.Testing as Testing
import Prelude hiding  (Enum, Ordering, decodeFloat, encodeFloat, fail, map, pure, sum)
import qualified Data.Scientific as Sci
-- | Type checking failure test cases
allTests :: Testing.TestGroup
allTests =
    Testing.TestGroup {
      Testing.testGroupName = "Failures",
      Testing.testGroupDescription = Nothing,
      Testing.testGroupSubgroups = [
        failOnUntypedTests],
      Testing.testGroupCases = []}
failOnUntypedTests :: Testing.TestGroup
failOnUntypedTests =
    Testing.TestGroup {
      Testing.testGroupName = "Fail on untyped (pre-inference) terms",
      Testing.testGroupDescription = Nothing,
      Testing.testGroupSubgroups = [
        untypedLambdasTests],
      Testing.testGroupCases = []}
untypedLambdasTests :: Testing.TestGroup
untypedLambdasTests =
    Testing.TestGroup {
      Testing.testGroupName = "Untyped lambdas",
      Testing.testGroupDescription = Nothing,
      Testing.testGroupSubgroups = [],
      Testing.testGroupCases = []}