mercury

mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-17 14:57:03 +00:00

Files

Simon Taylor cddde72b73 Remove the `--convert-to-goedel' option. It doesn't really work

Estimated hours taken: 0.5

Remove the `--convert-to-goedel' option. It doesn't really work
and it's a hassle to maintain.

Remove the `--generate-prolog' and `--prolog-dialect' options.
They aren't implemented, and now that we have a proper debugger
they probably never will be.

compiler/mercury_to_goedel.m:
	Removed.

compiler/notes/compiler_design.html:
	Remove mercury_to_goedel.m.

compiler/globals.m:
compiler/handle_options.m:
	Remove code dealing with Prolog dialects.

compiler/options.m:
doc/user_guide.texi:
	Remove the options.

compiler/prog_io.m:
	Delete a comment referring to Mercury-to-Goedel converters.

compiler/mercury_compile.m:
	Don't call convert_to_goedel.

NEWS:
	Document the removal of the `--convert-to-goedel' option.

WORK_IN_PROGRESS:
	Remove a reference to the `--generate-prolog' option.

2001-05-24 06:07:40 +00:00

.cvsignore

…

.nocopyright

Add more entries.

2001-03-05 12:04:25 +00:00

allocation.html

…

authors.html

Add impure functions to Mercury, clean up the purity module somewhat,

2000-04-22 07:12:53 +00:00

bootstrapping.html