mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-21 00:39:37 +00:00
Code Issues Projects Releases Wiki Activity

Add a comment about `det' unifications to the discussion of

Browse Source 
Estimated hours taken: 0.25

compiler/prog_data.m:
	Add a comment about `det' unifications to the discussion of
	`real' and `fake' unifications of clobbered insts.
This commit is contained in:
Fergus Henderson
1997-04-10 20:20:43 +00:00
parent cf56b95494
commit 63ffdba4b9
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
compiler/prog_data.m
View File

@@ -314,7 +314,8 @@
% Unifications of insts fall into two categories, "real" and "fake". % Unifications of insts fall into two categories, "real" and "fake".
% The "real" inst unifications correspond to real unifications, % The "real" inst unifications correspond to real unifications,
% and are not allowed to unify with `clobbered' insts. % and are not allowed to unify with `clobbered' insts (unless
% the unification would be `det').
% "Fake" inst unifications are used for procedure calls in implied % "Fake" inst unifications are used for procedure calls in implied
% modes, where the final inst of the var must be computed by % modes, where the final inst of the var must be computed by
% unifying its initial inst with the procedure's final inst, % unifying its initial inst with the procedure's final inst,