[Haskell-cafe] types calculation

[Dmitry Olshansky]

Hello!

It seems that types without parameters are not reduced in ghc unlike CAFs.

I.e. if we have

type T1 a b = ...
type T2 = T1 Int Int

than T2 will be calculated on each utilization.

Is my statement correct? If so, why is it?
With complicated type-calculation compile time is growing too fast.

Best regards,
Dmitry
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20151110/c202de70/attachment.html>