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))