module Axel.Test.NormalizeSpec where import Axel.Denormalize import Axel.Normalize import Axel.Test.MockUtils import qualified Axel.Test.Parse.ASTGen as Parse.ASTGen import Hedgehog hprop_denormalizeExpression_is_the_inverse_of_normalizeExpression :: Property hprop_denormalizeExpression_is_the_inverse_of_normalizeExpression = property $ do expr <- forAll Parse.ASTGen.genExpression expr === denormalizeExpression (unwrapRight (normalizeExpression expr))