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.ByteString as B
import qualified Data.Int as I
import qualified Data.List as L
import qualified Data.Map as M
import qualified Data.Set as S

-- | 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 = []}