+ let
+ -- Gross hack to prevent inlining into SpecPragmaId rhss
+ -- Consider fromIntegral = fromInteger . toInteger
+ -- spec1 = fromIntegral Int Float
+ -- Even though fromIntegral is small we don't want to inline
+ -- it inside spec1, so that we collect the specialised call
+ -- Solution: make spec1 an INLINE thing.
+ core_expr'' = mkInline (isSpecPragmaId var) core_expr'
+ in
+
+ returnDs ((var, core_expr'') : rest)