[m-dev.] trivial diff: fix some documentation

[Fergus Henderson]

Estimated hours taken: 0.25

compiler/post_typecheck.m:
compiler/purity.m:
compiler/notes/compiler_design.html:
	Fix some documentation bugs: conversion of unifications
	into function calls is now done in polymorphism.m, not
	modecheck_unify.m.

compiler/purity.m:
	Delete imports of modules modecheck_unify and modecheck_call,
	since they weren't needed.

Workspace: /home/mercury0/fjh/mercury
Index: compiler/notes/compiler_design.html
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/notes/compiler_design.html,v
retrieving revision 1.33
diff -u -r1.33 compiler_design.html
--- compiler_design.html	1999/07/14 05:41:49	1.33
+++ compiler_design.html	1999/07/29 07:23:13
@@ -241,7 +241,7 @@
 	  for function calls or calls to overloaded predicates; that can't
 	  be done in a single pass of typechecking, and so it is done
 	  later on (in post_typecheck.m, for preds, and in
-	  modecheck_unify.m, for function calls).
+	  polymorphism.m, for function calls).
 	  Typeclass constraints are checked here, and
 	  any redundant constraints that are eliminated are recorded (as
 	  constraint_proofs) in the pred_info for future reference. When it has
Index: compiler/post_typecheck.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/post_typecheck.m,v
retrieving revision 1.11
diff -u -r1.11 post_typecheck.m
--- post_typecheck.m	1999/07/14 07:03:29	1.11
+++ post_typecheck.m	1999/07/29 07:26:16
@@ -13,8 +13,8 @@
 %	- it resolves predicate overloading
 %	  (perhaps it ought to also resolve function overloading,
 %	  converting unifications that are function calls into
-%	  HLDS call instructions, but currently that is still done
-%	  in modecheck_unify.m)
+%	  HLDS call instructions, but currently that is done
+%	  in polymorphism.m)
 %
 %	- it checks for unbound type variables and if there are any,
 %	  it reports an error (or a warning, binding them to the type `void').
Index: compiler/purity.m
===================================================================
RCS file: /home/mercury1/repository/mercury/compiler/purity.m,v
retrieving revision 1.17
diff -u -r1.17 purity.m
--- purity.m	1999/07/13 08:53:26	1.17
+++ purity.m	1999/07/29 07:24:47
@@ -17,8 +17,8 @@
 %	- it resolves predicate overloading
 %	  (perhaps it ought to also resolve function overloading,
 %	  converting unifications that are function calls into
-%	  HLDS call instructions, but currently that is still done
-%	  in modecheck_unify.m)
+%	  HLDS call instructions, but currently that is done
+%	  in polymorphism.m)
 %	- it checks for unbound type variables and if there are any,
 %	  it reports an error (or a warning, binding them to the type `void').
 %  These actions cannot be done until after type inference is complete,
@@ -139,7 +139,7 @@
 :- import_module type_util, mode_util, code_util, prog_data, unify_proc.
 :- import_module globals, options, mercury_to_mercury, hlds_out.
 :- import_module passes_aux, typecheck, module_qual, clause_to_proc.
-:- import_module modecheck_unify, modecheck_call, inst_util, prog_out.
+:- import_module inst_util, prog_out.
 :- import_module post_typecheck.
 
 :- import_module list, map, varset, term, string, require, std_util.

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------