X-Git-Url: https://git.stderr.nl/gitweb?a=blobdiff_plain;f=c%CE%BBash%2FCLasH%2FNormalize%2FNormalizeTypes.hs;h=a7de6dced1645a69539b4d7c0ec39b916aeaea42;hb=3deb1d21f696f8495cd99345c9677210e2a2fc79;hp=3affc870d75d0f2fa8a9655a7d93a561fbfd7892;hpb=0e45b79dac5dd4bf4b340a515b61a03953f673a2;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git diff --git "a/c\316\273ash/CLasH/Normalize/NormalizeTypes.hs" "b/c\316\273ash/CLasH/Normalize/NormalizeTypes.hs" index 3affc87..a7de6dc 100644 --- "a/c\316\273ash/CLasH/Normalize/NormalizeTypes.hs" +++ "b/c\316\273ash/CLasH/Normalize/NormalizeTypes.hs" @@ -14,5 +14,8 @@ import CLasH.Translator.TranslatorTypes -- over a single expression and track if the expression was changed. type TransformMonad = Writer.WriterT Monoid.Any TranslatorSession +-- | In what context does a core expression occur? +data CoreContext = Other -- ^ Another context + -- | Transforms a CoreExpr and keeps track if it has changed. -type Transform = CoreSyn.CoreExpr -> TransformMonad CoreSyn.CoreExpr +type Transform = [CoreContext] -> CoreSyn.CoreExpr -> TransformMonad CoreSyn.CoreExpr