Estimated hours taken: 50
Branches: main
Added parsing and pretty printing of new promise ex declarations, and
appropriate documentation.
library/ops.m:
Added the new operators to op_table.
compiler/prog_io.m:
Added clauses to enter promise ex declarations into the parse
tree.
compiler/prog_out.m:
Added predicates useful in outputting promise declarations.
compiler/prog_data.m:
Changed assertion constructor in type item to a more gereral
promise constructor to be used for assertions and promise ex
declarations. Added the type promise_type to differentiate
between different promise declarations.
compiler/mercury_to_mercury.m:
Added clauses to output promise items, including assertions
and promise ex declarations.
compiler/make_hlds.m:
compiler/module_qual.m:
compiler/modules.m:
compiler/recompilation_check.m:
compiler/recompilation_version.m:
Updated to reflect change in item type.
compiler/notes/glossary.html:
Added new terminology, updated use of `promise'.
compiler/notes/todo.html:
Added todo list for promise ex declarations.
compiler/notes/promise_ex.html:
A new file documenting development of promise ex declarations.
