Julien Fischer 601fe20aba Simplify the structure of the compiler by removing the cycle ...

Estimated hours taken: 3.5
Branches: main

Simplify the structure of the compiler by removing the cycle
parse_tree -> backend_libs -> check_hlds -> parse_tree
from the package dependency graph.

I've done this by factoring out the code in backend_libs.foreign
and backend_libs.name_mangle that is needed by the frontend of
the compiler and putting it in a new module, parse_tree.prog_foreign.
This removes the dependency between the parse_tree and backend_libs
packages.

The obvious downside to this is that the name mangler is now
split in two, although such a division was always in implicit
in the predicates of the name_mangle module anyway, ie. between
those bits that operate on the HLDS/MLDS/LLDS level data structures
and those that don't.

compiler/name_mangle.m:
compiler/foreign.m:
compiler/prog_foreign.m:
	Move code for dealing with foreign language procedures that
	is required by the parse_tree package into a new module,
	prog_foreign.

	Update the formatting in some of these modules so that
	they match our current coding standard.

compiler/*.m:
	Update to reflect the above change.

compiler/notes/compiler_design.html:
	Include the new module.

	Fix some spelling errors.

2005-03-21 04:45:51 +00:00

..

.cvsignore

…

.nocopyright

…

allocation.html

Delete an incorrect comment.

2003-10-23 07:24:40 +00:00

authors.html

qcheck is an autotesting tool similar to Haskell's Quickcheck.

2001-05-31 02:08:49 +00:00

bootstrapping.html

Fix a typo and make a few changes suggest by others.

1999-07-19 18:31:05 +00:00

BUGS

…

coding_standards.html

Added a comment regarding the use of DCG notation and state

2005-03-07 01:05:35 +00:00

compiler_design.html

Simplify the structure of the compiler by removing the cycle

2005-03-21 04:45:51 +00:00

ENVIRONMENT_VARS

…

failure.html

Clarify that these describe the LLDS back-end only.

2003-10-23 06:06:30 +00:00

gc_and_c_code.html

Clarify that this file only applies to the LLDS back-end.

2003-11-05 08:42:10 +00:00

glossary.html

Add entry for NYI ("Not Yet Implemented").

2002-08-23 07:32:31 +00:00

IMPLICIT_QUANTIFICATION

…

index.html

New file. Contains links to the other files in this directory,

2003-10-31 03:30:08 +00:00

macro_notes

…

Mmakefile

…

overall_design.html

Move the mdbcomp library to its own directory.

2005-01-28 07:12:05 +00:00

promise_ex.html

Fix some typos.

2004-10-11 08:40:05 +00:00

release_checklist.html

Delete references to the recently deleted module_system.html.

2004-01-21 07:25:53 +00:00

reviews.html

Fix a couple of HTML errors:

2003-01-15 08:20:13 +00:00

todo.html

Deprecate old-style lambda expressions properly.

2004-07-14 05:39:14 +00:00

trailing.html

Apply some corrections that Warwick spotted in his

2000-03-22 14:45:43 +00:00

type_class_transformation.html

Undo Fergus's recent addition of a request for a pointer to the

2004-03-01 04:24:15 +00:00

TYPES

…

upgrade_boehm_gc.html

Remove an unnecessary step from the process.

2003-10-28 09:04:20 +00:00

work_in_progress.html

Move toward the proposed structures for representing type class information at

2003-10-23 02:02:45 +00:00