-
Simon Peyton Jones authored
-------------------------------- Don't export the inlining for a foreign import that has a #include directive -------------------------------- Reason for this change: if the inlining is imported into another module, the latter may not have the right #include directives. Also add notes to the documentation to explain the issues.
90bf3139