From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Mon, 30 Nov 2009 21:52:16 +0000 (+0100)
Subject: Merge branch 'master' of git://github.com/christiaanb/clash into cλash
X-Git-Url: https://git.stderr.nl/gitweb?a=commitdiff_plain;h=3fc90df84f37ade227d663a21852a3c4e4d0a727;hp=a22be9b8daa77ed2da9b1d9046bdac1e7da932ca;p=matthijs%2Fmaster-project%2Fc%CE%BBash.git

Merge branch 'master' of git://github.com/christiaanb/clash into cλash

* 'master' of git://github.com/christiaanb/clash:
  Multiplications are now resized to mimic the behaviour in Haskell
  Fix haddock generation
---

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