From 70d57e483a93af218a956a7e83ef8e6226f9f4dd Mon Sep 17 00:00:00 2001 From: Abdelrahman Abounegm Date: Fri, 29 Dec 2023 00:47:36 +0300 Subject: [PATCH] Stop normalizing objects that are values of Nu Co-authored-by: Danila Danko --- eo-phi-normalizer/src/Language/EO/Phi/Normalize.hs | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/eo-phi-normalizer/src/Language/EO/Phi/Normalize.hs b/eo-phi-normalizer/src/Language/EO/Phi/Normalize.hs index 4d35b5573..550d5fa5f 100644 --- a/eo-phi-normalizer/src/Language/EO/Phi/Normalize.hs +++ b/eo-phi-normalizer/src/Language/EO/Phi/Normalize.hs @@ -57,9 +57,11 @@ normalizeBinding = \case rule1 :: Object -> State Context Object rule1 (Formation bindings) = do normalizedBindings <- forM bindings $ \case - AlphaBinding a object -> do - object' <- rule1 object - pure (AlphaBinding a object') + AlphaBinding a object + | a /= VTX -> + do + object' <- rule1 object + pure (AlphaBinding a object') b -> pure b finalBindings <- if not $ any isNu normalizedBindings