Next: Files generated when targeting Java, Previous: Mmakefile fragment files, Up: Filenames [Contents][Index]
.mh and .mih files are C header files generated by the Mercury compiler. Their non-standard extensions are necessary to avoid conflicts with system header files.
#included
by the user-written C code
that the ‘foreign_export’ pragmas were intended for.
#included
only by C source files
that are generated automatically by the Mercury compiler.