diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2016-05-23 16:27:08 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2016-05-24 09:50:32 +0100 |
| commit | 9c3e55bd029447d9c2cac1c9ca1607a8a803cd79 (patch) | |
| tree | b1bbae85a25e5cbc9b07ade358b7fae4b22f3cc6 /compiler/simplStg | |
| parent | 839b4248ccca9e1374a06f03a8ac3d26847b16f7 (diff) | |
| download | haskell-9c3e55bd029447d9c2cac1c9ca1607a8a803cd79.tar.gz | |
Comments only
Diffstat (limited to 'compiler/simplStg')
| -rw-r--r-- | compiler/simplStg/UnariseStg.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/simplStg/UnariseStg.hs b/compiler/simplStg/UnariseStg.hs index c2d73a564c..4c8a66504f 100644 --- a/compiler/simplStg/UnariseStg.hs +++ b/compiler/simplStg/UnariseStg.hs @@ -12,7 +12,8 @@ f (x :: (# Int, Bool #)) = f x + f (# 1, True #) f (x1 :: Int) (x2 :: Bool) = f x1 x2 + f 1 True It is important that we do this at the STG level and NOT at the core level -because it would be very hard to make this pass Core-type-preserving. +because it would be very hard to make this pass Core-type-preserving. In +this example the type of 'f' changes, for example. STG fed to the code generators *must* be unarised because the code generators do not support unboxed tuple binders natively. |