From 105a22463cd9cee5dd29a106e4bf3768c3826288 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Mon, 30 Nov 2009 22:51:55 +0100 Subject: [PATCH] Add comment. --- "c\316\273ash/CLasH/Normalize.hs" | 3 +++ 1 file changed, 3 insertions(+) diff --git "a/c\316\273ash/CLasH/Normalize.hs" "b/c\316\273ash/CLasH/Normalize.hs" index ea10516..4743824 100644 --- "a/c\316\273ash/CLasH/Normalize.hs" +++ "b/c\316\273ash/CLasH/Normalize.hs" @@ -620,6 +620,9 @@ argprop expr@(App _ _) | is_var fexpr = do else do -- Representable types will not be propagated, and arguments with free -- type variables will be propagated later. + -- Note that we implicitly remove any type variables in the type of + -- the original argument by using the type of the actual argument + -- for the new formal parameter. -- TODO: preserve original naming? id <- Trans.lift $ mkBinderFor arg "param" -- Just pass the original argument to the new function, which binds it -- 2.30.2