import BasicTypes ( Activation )
import FastString
import Outputable
+
+infixl 4 `mkApps`, `mkValApps`, `mkTyApps`, `mkVarApps`
+-- Left associative, so that we can say (f `mkTyApps` xs `mkVarApps` ys)
\end{code}
%************************************************************************
Type -- The to-type: type of whole coerce expression
Type -- The from-type: type of enclosed expression
- | InlineCall -- Instructs simplifier to inline
- -- the enclosed call
-
| InlineMe -- Instructs simplifer to treat the enclosed expression
-- as very small, and inline it at its call sites